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

Question

有谁知道为什么，在第 7.6 节的末尾 ECMA-262，第五版规范, 非终结符 Unicode字母, Unicode组合标记, Unicode数字, Unicode连接器标点符号, ， 和 Unicode转义序列 后面不是有两个冒号吗？

从第 5.1.6 节：

非末端符号以斜体类型显示。非末端的定义是由定义的非末端的名称，其后是一个或多个结肠。（结肠的数量表示生产所属的语法。）

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

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

编辑:

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

Answer 1

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

更新:

看来委员会已经解决了这个问题。我查看了规范的新修订版，并且进行了更改。