[sv-bc] Is packed dimension allowed for type variable?

Hi,
As per the BNF, packed dimension can not be present after 
type_reference. So following e.g. is illegal:

module top;
    var type(logic) [2:0] x;
endmodule

But if we declared via a typedef like:
module top;
    typedef type(logic) mytype;
    mytype [2:0] x;
endmodule

Is it allowed? If yes, then is it not logical to allow packed dimension 
with direct type_reference when the type used in type_reference is 
integer_vector_type.

-- 
Regards
Surya




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