Re: [sv-bc] Interpretation of typedefed packed-unpacked array

This example is prohibited syntax - the fourth paragraph of section 4.2
lists the types which can appear as elements of a packed array, any unpacked
types are excluded.  Your suggested semantics does not materialize an
element of type A inside of array B.

Rakesh Gulati wrote:
> Hello
> 
> Consider the example
> 
> typedef bit [0:2] a [1:0];
> a [3:0] b [2:0];
> 
> Is it a legal syntax. 3.1a LRM is not having any suitable explanation 
> for this kind of example. In this a is a representation of a array, and 
> b is a array of type a.
> 
>     Will this mean that b will be treated as bit  [3:0][0:2]b[1:0][2:0] 
> as an extention to 'a '.  Or it will be an error as a packed array 
> cannot be created from an unpacked element, but will it be valid to 
> consider a as array.
> 
> Thanks
> Rakesh Gulati
> 
> 
>