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

I think your proposal reads well.

The red is important so that the editor knows how to color it.

Shalom

> -----Original Message-----
> From: Jonathan Bromley [mailto:jonathanbromley@ymail.com]
> Sent: Sunday, September 12, 2010 10:31 AM
> To: sv-ec@eda.org
> Cc: Bresticker, Shalom
> Subject: Re: [sv-ec] Mantis 3028 and other constraints issues
>
> On 12/09/2010 07:44, Bresticker, Shalom wrote:
>
> > 10.9.1, "Array assignment patterns", describes "a recursive
> > descent into each subarray of the array".
>
> Indeed, but since there's an explicit type on the pattern this
> can descend into packed arrays too. For 3028 we stop as soon
> as we reach an element that is not an unpacked array, I think.
>
> I know that we have all agreed that there is no such thing as
> a multi-dimensional array in SV. However, there are quite a
> few language constructs that care about more than one dimension
> (foreach, assignment patterns, "inside") and I think it would
> probably be a good idea to have some terminology to refer to
> the various different kinds of leaf element that you might
> wish to dig out of such arrays of arrays. At present, though,
> we don't have such terminology. I felt I had little choice
> but to invent some in this case.
>
> > In the new production, the semicolon after
> > "uniqueness_constraint" should be red.
>
> Thanks. I'll fix that in time for the meeting. ("Blue for
> additions", but that's overruled by "must be red in LRM text",
> if I understand you correctly?)
> --
> 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.