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