RE: [sv-ec] email ballot: response due by 11:59pm Thursday June 11 2009

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Thu Jun 11 2009 - 01:42:04 PDT
Comments:

1. I don't think that the following is true: "if the target is a fixed-size array or a slice, all dimensions of the source array shall have the same length as the target." "fixed-size array or slice" applies only to the slowest-varying dimension. Thus, although that dimension must have the same number of elements in source and target, it is not necessarily true of the following dimensions.

2. I don't think "length" is an appropriate term. "size" or "number of elements" is better.

3. If we add, as Arturo suggests, a dashed item that says that "the source and target shall have the same number of unpacked dimensions", I don't think it should be repeated in the following paragraph.

4. Finally, since the sentence preceding the list is, "A fixed-size unpacked array ... shall be assignment compatible with any other such array or slice if all the following conditions are satisfied," the dashed list items should not say "shall be", but rather "are". If the conditions ARE satisfied, then the arrays SHALL BE assignment compatible.

Regards,
Shalom

________________________________
From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On Behalf Of Arturo Salz
Sent: Wednesday, June 10, 2009 10:11 PM
To: Mehdi Mohtashemi; sv-ec@eda.org
Subject: RE: [sv-ec] email ballot: response due by 11:59pm Thursday June 11 2009






Mantis 2380   ids  33, 34, 56

http://www.eda.org/svdb/view.php?id=2380

   __X___ YES   _____ No



I find the verbiage redefining element somewhat confusing. I would propose the following friendly amendment.

From:

* the element types of source and target shall be equivalent;


* if the target is a fixed-size array or a slice, the source array shall have the same number of elements as the target.
Here element refers to elements of the slowest-varying array dimension. These elements may themselves be of some
unpacked array type. Consequently, for two arrays to be assignment compatible it is necessary (but not sufficient) that they

have the same number of unpacked dimensions.



To:
* the type of the elements of the slowest-varying dimension of source and target shall be equivalent

* the source and target shall have the same number of unpacked dimensions


* if the target is a fixed-size array or a slice, all dimensions of the source array shall have the same length as the target.
The slowest-varying dimension may itself  be an unpacked array. Consequently, for two arrays to be assignment compatible it is necessary (but not sufficient) that they

have the same number of unpacked dimensions.
---------------------------------------------------------------------
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.
Received on Thu Jun 11 02:27:27 2009

This archive was generated by hypermail 2.1.8 : Thu Jun 11 2009 - 02:28:35 PDT