Responses to Editor's Notes EN-4 and EN-34,

on LRM for System Verilog 3.1a/draft 3

Rishiyur Nikhil, January 19, 2004

 

===============================================================

EN-4, Section 8.4.1, LRM Number 122, SV-BC

 

>     EDITOR’S NOTE: I re-worded the first sentence in the paragraph

>     above to remove "we".

 

RESPONSE:

 

The reworded sentence is fine.

 

===============================================================

EN-34, Section A.6.7.1, LRM Number 122, SV-BC

 

>    EDITOR’S NOTE: Does the "..." indicate a repetition of something?

>    If so, this is different than the convention used everywhere else

>    in the BNF. If this "..." convention is to be used as well, it

>    needs to be added to the convention explanations at the beginning

>    of the annex.

 

RESPONSE:

 

Yes, it was intended to indicate a repetition, and this was indeed different than the convention everywhere else.

 

Rather than adding this to the convention explanations, I suggest fixing it to use the convention for repetitions used everywhere else, as follows.

 

Please REPLACE the last two lines of the "pattern" production:

 

    | { pattern , ... , pattern }

    | { member_identifier : pattern , ... , member_identifier : pattern }

 

WITH:

 

    | { pattern { , pattern } }

    | { member_identifier : pattern { , member_identifier : pattern } }

 

(In the above, the punctuation is in bold red, the rest is in green. In case the above is viewed in black-and-whte, the following marks the punctuation in single quotes, just as clarification to the editor:)

 

    | ‘{ pattern { ‘,’ pattern } ‘}’

    | ‘{ member_identifier ‘:’ pattern { ‘,’ member_identifier ‘:’ pattern }}’

 

ALSO PLEASE NOTE: does the same change also need to be done in “Syntax 8-4” in Section 8.4.1?