errata/612: redundancies in the BNF

From: eric_mahurin@yahoo.com
Date: Fri Jul 30 2004 - 12:18:01 PDT

  • Next message: Brad Pierce: "Re: errata/612: redundancies in the BNF"

    >Number: 612
    >Notify-List:
    >Category: errata
    >Originator: Eric Mahurin
    >Environment:
    >Description:

    There are few simple redundancies in the BNF that are there likely because there was an attempt to capture some semantics instead of just syntax. Below are the ones I found (I may have forgot to note others):

    module_instance (A.4.1): making module_port_connections is redundant because an ordered_port_connection can be null.

    procedural_continuous_assignments (A.6.2): net_assignment is a subset of variable_assignment and net_lvalue is a subset of variable_lvalue

    disable_statement (A.6.5): hierarchical_task_identifier and hierarchical_block_identifier are the same (hierarchical_identifier)

    conditional_statement (A.6.6): if_else_if_statement is redundant because the else statement can be an "if" statment which give you the same syntax and meaning.

    This archive was generated by hypermail 2.1.4 : Fri Jul 30 2004 - 12:18:06 PDT and
    sponsored by Boyd Technology, Inc.