RE: [sv-ec] Mantis 3028 and other constraints issues

10.9.1, "Array assignment patterns", describes "a recursive descent into each subarray of the array".

In the new production, the semicolon after "uniqueness_constraint" should be red.

Shalom

> -----Original Message-----
> From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
> Jonathan Bromley
> Sent: Sunday, September 12, 2010 12:07 AM
> To: sv-ec@eda.org
> Subject: [sv-ec] Mantis 3028 and other constraints issues
>
> hi EC,
>
> I've uploaded a revised proposal for 3028, attempting to reflect
> the discussion in the last meeting. Please check it matches the
> results of that discussion. I had to cook up a definition of
> "leaf element" for unpacked arrays; we had talked about echoing
> the definition of "inside", but that doesn't work because it
> can descend through structs and what-have-you to reach any
> singular value, which we can't allow for unique{}.
>
> Could I also jog people's memories that we have not yet gotten
> anywhere close to a satisfactory suggestion for constraint
> composition (Mantis 3003). That is supposed to be on my
> hit-list too, but I regard it as Much Too Hard For Me (TM)
> in the absence of clear direction from the committee.
>
> Thanks
> --
> Jonathan Bromley

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.