| Number | 155
|
| Category | errata
|
| Synopsis | A.1.3, module_declaration ambiguous
|
| State | open
|
| Class | TBD
|
| Arrival-Date | Wed Oct 09 17:10:09 PDT 2002
|
| Originator | "Brad Pierce" |
| Release | 2001b
|
| Environment |
|
| Description |
In A.1.3, module_declaration is ambiguous. The fix is to remove the [] from around list_of_port_declarations in the second option -- [list_of_port_declarations] --> list_of_port_declarations To see the ambiguity, consider a case where there is neither a list_of_ports nor a list_of_port_declarations and, moreover, after the semicolon there are no port_declarations. Then it's ambiguous whether there's a {module_item} or a {non_port_module_item} and which of the options was used to generate the module_declaration. The proposed fix does more than just remove ambiguity. It also more accurately reflects the actual intent of the {non_port_module_item} restriction, which should be imposed only in the case when there is a list_of_port_declarations. Otherwise, a full {module_item} is allowed. -- Brad |
| Fix |
|
| Audit-Trail |
From: Shalom Bresticker To: Brad Pierce Cc: etf-bugs@boyd.com Subject: Re: errata/155: A.1.3, module_declaration ambiguous Date: Thu, 10 Oct 2002 09:33:13 +0200 >Category: errata >Confidential: no >Originator: Shalom Bresticker >Release: 2001b >Class: TBD >Description: agreed This affects also Syntax 2-4 in 2.8.2 and Syntax 12-1 in 12.1. |
Hosted by Boyd Technology