ECMAScript 5规范中可能出现错别字？

Question

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

从第5.1.6节开始：

非终端符号以斜体显示。 通过定义非终结符的名称以及一个或多个冒号来引入非终结符的定义。 （冒号的数量表示该产品所属的语法。）

由于词汇产生式的特征是具有两个冒号，而这又属于“词汇惯例”，因此，我假设它们的意思是将冒号放入其中。听起来正确吗？

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

编辑 ：

我注意到已经有投票关闭此项目。 仅仅为了说明为什么它与编程相关，它与想要实现ECMAScript解释器的任何人都相关。

Answer 1

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

更新 ：

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