Subject: [sv-bc] Reworked Tagged Unions Proposal
From: Rishiyur S. Nikhil (nikhil@bluespec.com)
Date: Fri Dec 05 2003 - 11:11:42 PST
Dear all (SV-BC)
Attached is a reworked "Tagged Unions and Pattern Matching Proposal".
(At today's meeting it was recommended that I send it out to all
of SV-BC so that we can consider it at Monday's meeting).
The reworked proposal incorporates responses to all the comments
from the Nov 10 f2f meeting, plus subsequent substantial comments
from David Smith, Brad Pierce and Yong Xiao. The last 4 pages
list all these issues, together with a brief description of how
the issue has been handled.
Thanks,
Nikhil
-------- Original Message --------
Subject: Reworked Tagged Unions Proposal
Date: Wed, 19 Nov 2003 17:14:59 -0500
From: Rishiyur S. Nikhil <nikhil@bluespec.com>
To: David W. Smith <david.smith@synopsys.COM>
CC: Brad Pierce <Brad.Pierce@synopsys.com>, Yong Xiao <yongx@synopsys.com>, "Srouji, Johny" <johny.srouji@intel.com>,
Karen Pieper <Karen.Pieper@synopsys.com>
Hi David,
I have reworked the Tagged Unions proposal completely, and the
proposal is attached.
As we discussed, I have focused on just the concrete proposed changes
to the LRM, omitting the general discussion and rationale that I had
in the previous document. I have also structured it into three parts
so it is easier to follow (Part I stands alone; Parts II and III
depend on Part I but are independent of each other).
The last two pages contain a checklist of all the issues that were
raised when I presented it at the SV-BC face-to-face meeting on Monday
Nov 10. I have described each issue, and how I have handled it. I
have also fleshed out more details (such as 'x' and 'z' values,
'unique' and 'priority' qualifiers, etc.)
(I am also cc:'ing this to Brad and Yong Xiao, who have expressed an
interest in Tagged Unions).
I look forward to hearing your feedback, after responding to which I
can circulate it to the whole SV-BC committee.
Thanks, and regards,
Nikhil
This archive was generated by hypermail 2b28 : Fri Dec 05 2003 - 11:14:05 PST