Subject: RE: [sv-ec] typedef grammar incomplete
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Mon Dec 08 2003 - 08:37:22 PST
I think this is a duplicate of SV-BC 104. The proposal approved was --
http://www.eda.org/sv-bc/hm/att-1278/01-user_defined_types_revised.htm
which was posted as LRM-89 of http://www.eda.org/sv/LRMChanges_draft2.html
on December 3.
-- Brad
-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org]On Behalf Of Paul
Graham
Sent: Monday, December 08, 2003 8:17 AM
To: sv-ec@eda.org
Subject: [sv-ec] typedef grammar incomplete
I don't see any productions in the grammar to support the typedef examples
given in section 3.9:
typedef enum type_declaration_identifier;
typedef struct type_declaration_identifier;
typedef union type_declaration_identifier;
typedef class type_declaration_identifier; ** only this one is allowed
**
It looks like you need to add another production:
type_declaration ::=
...
| "typedef" type_kind type_identifier
type_kind ::=
enum | struct | union | class
(though "type_kind" has a funny sound to it :-)
Paul
This archive was generated by hypermail 2b28 : Mon Dec 08 2003 - 08:38:15 PST