javascript - ECMAScript 5 规范中可能存在拼写错误？

Question

有谁知道为什么在ECMA-262 第 5 版规范的第 7.6 节末尾，非终结符UnicodeLetter、UnicodeCombiningMark、UnicodeDigit、UnicodeconnectorPunctuation和UnicodeEscapeSequence后面没有两个冒号？

从第 5.1.6 节开始：

非终结符以斜体显示。非终结符的定义是通过定义的非终结符的名称后跟一个或多个冒号来引入的。（冒号数表示产生式属于哪个语法。）

由于词汇产生的区别在于有两个冒号，并且这是在“词汇约定”下，我假设它们的意思是把冒号放进去。这听起来对吗？

只要确保这些确实是非终结符并且它们确实是词汇语法的一部分。

编辑：

我注意到有人投票结束了这个。只是为了说明为什么这是与编程相关的，它与任何想要实现 ECMAScript 解释器的人相关。

Answer 1

我已将此问题发布到 ECMAScript 邮件列表中，希望 TC39 技术委员会会考虑该问题。对于那些好奇的人，如果它得到解决，我会在这里跟进。

更新：

委员会似乎已经解决了这个问题。我查看了规范的新修订版，并且更改在那里。