Specifically about the array assignment rules, it was considered to not require equivalent element types, but the final decision was to require them. This is explicit in 7.6:
A fixed-size unpacked array, dynamic array or queue, or a slice of such an array, shall be assignment compatible with any other such array or slice if all the following conditions are satisfied:
- 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.
Shalom
My interpretation is that this declaration does not satisfy the requirements to be a parameter without an explicit type declaration. Therefore, it has an explicit type declaration. Just as "var v[2]" would be an unpacked array of 2 logic elements, "parameter p[2]" would be an unpacked array of 2 logic elements. Then you would apply the assignment rules. I believe that these no longer require equivalent element types, so this would be legal and would truncate each of the shortints to 1 bit during assignment.
---------------------------------------------------------------------
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 Sep 1 01:07:15 2011
This archive was generated by hypermail 2.1.8 : Thu Sep 01 2011 - 01:07:30 PDT