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

Question

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

从第5.1.6节开始：

  

非终结符号显示在   斜体类型。 a的定义   非终结符由名称引入   非终结符的定义   然后是一个或多个冒号。 （该   冒号表示哪个   生产所属的语法。）

由于词汇作品的特点是有两个冒号，而且这是在“词汇约定”下，我假设他们打算把冒号放进去。听起来不错吗？

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

修改：

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

Answer 1

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

<强>更新：

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