Subject: [sv-bc] BNF problems with type declarations
From: Mark Hartoog (Mark.Hartoog@synopsys.com)
Date: Mon Oct 20 2003 - 15:39:21 PDT
I believe there are some errors in the BNF with the rules for
declaring types. In most places the rule type_declaration_identifier
is used, which includes an optional unpacked_dimension. In the typedef
rules this is ok, except for hierarchical typedefs, but in the other
rules I believe type_identifier is what was meant:
A.2.1.3 Type declarations
type_declaration ::=
typedef [ data_type ] type_declaration_identifier ; <= OK
| typedef hierarchical_identifier . type_identifier type_declaration_identifier ; <= NOT OK
| typedef [ class ] class_identifier ;
| typedef class_identifier [ parameter_value_assignment ] type_declaration_identifier ; <= OK
A.2.2.1 Net and variable types
data_type ::=
| type_declaration_identifier { packed_dimension } <= NOT OK
| class_scope_type_identifier
A.2.6 Function declarations
function_data_type ::=
| type_declaration_identifier { packed_dimension } <= NOT OK
A.9.3 Identifiers
type_declaration_identifier ::= type_identifier { unpacked_dimension }
On the rules above where I have indicated 'NOT OK', I think
type_declaration_identifier should be changed to type_identifier.
Mark Hartoog
700 E. Middlefield Road
Mountain View, CA 94043
650 584-5404
markh@synopsys.com
This archive was generated by hypermail 2b28 : Mon Oct 20 2003 - 15:41:32 PDT