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

Question

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

摘自第 5.1.6 节:

Nonterminal symbols are shown in italic type. The definition of a nonterminal is introduced by the name of the nonterminal being defined followed by one or more colons. (The number of colons indicates to which grammar the production belongs.)

由于词法产生式通过两个冒号来区分，而这是在“词汇约定”下进行的，我假设他们打算将冒号放入。这听起来对吗？

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

编辑:

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

Answer 1

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

更新:

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