Subject: Re: [sv-bc] UPDATE: Reworked Tagged Unions Proposal
From: Rishiyur S. Nikhil (nikhil@bluespec.com)
Date: Fri Dec 05 2003 - 11:23:50 PST
Maximum apologies: I attached the wrong PDF in my last e-mail.
Here is the correct attachment (2003-12-05_TaggedUnions_Proposal.pdf).
Nikhil
Rishiyur S. Nikhil wrote:
> 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:26:01 PST