archives

« Bugzilla Issues Index

#4542 — Punctuator production definition differs in 11.7 and A.1


In both the HTML and PDF versions there is a discrepancy in the terminal symbols of the `Punctuator` production as enumerated in 11.7 and A.1.

11.7 includes `...` and omits `}`.

A.1 includes `}` and omits `...`. I assume this is the error (that this part should match 11.7).