RE: [sv-bc] part selects on arbitrary expressions

Again, you yourself quote,
> 6.10 says:
>    Two type references shall be considered equal in such comparisons
>    if, and only if, the types to which they refer match (see 6.9.1).

Shalom


> For an unpacked array, it isn't clear.  If you have:
>     int a[20:10];
>     ...
>       type(a) == type(a[20:10])
> matching requires that the bounds of an unpacked array
> are the same (equivalent just requires the shape).  For
> the above to be "true" would imply that the bounds of
> the select are preserved in the result.  I haven't found
> any requirement in the LRM for that to hold.

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