Subject: RE: [sv-bc] Parameter types: question about scope
From: Mark Hartoog (Mark.Hartoog@synopsys.com)
Date: Fri Sep 12 2003 - 14:49:37 PDT
>
> A type_declaration_identifier is a type_identifier optionally
> followed by unpacked dimensions. Currently, the BNF only allows
> 'parameter type' to declare type_identifiers, not
> type_declaration_identifiers, so that one cannot say, for example,
>
> #(parameter type T_array [7:0] = T )
>
> Is this restriction intentional?
>
> parameter_declaration
> parameter type list_of_type_assignments
> parameter type type_assignment
> parameter type type_identifier = data_type
> parameter type identifier = data_type
>
> -- Brad
The prameter rule is:
parameter_declaration ::=
parameter data_type list_of_param_assignments
variable_declaration ::=
[ lifetime ] data_type list_of_variable_identifiers_or_assignments ;
If the data_type rule does not include type parameters, then you cannot
declare variables using type parameters.
Perhaps we need to add another rule to data_types to cover type parameters.
Mark Hartoog
700 E. Middlefield Road
Mountain View, CA 94043
650 584-5404
markh@synopsys.com
This archive was generated by hypermail 2b28 : Fri Sep 12 2003 - 14:51:14 PDT