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

Question

有人知道为什么，在ECMA-262, 5th Edition specification 的第 7.6 节末尾，非终结符 UnicodeLetter、UnicodeCombiningMark、UnicodeDigit、UnicodeconnectorPunctuation和UnicodeEscapeSequence后面不是两个冒号吗？

从第 5.1.6 节开始：

非终结符显示在 斜体字。一个的定义 非终结符由名称引入 被定义的非终结符 后跟一个或多个冒号。 （这 冒号数表示哪个 产生式所属的语法。）

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

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

编辑：

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

Answer 1

我已将此问题发布到 ECMAScript 邮件列表中，希望 TC39 技术委员会会考虑该问题。好奇的小伙伴，如果解决了，我会在这里跟进。

更新：

委员会似乎已经解决了这个问题。我查看了规范的新修订版，其中有更改。