ISO 8601 grammar uses incorrect separating punctuation

[gibson042]

The ISO 8601 grammar currently separates nonterminals from their productions with :, but that is only appropriate for the ECMAScript syntactic grammar (which has as its terminal symbols "ECMAScript tokens defined by the lexical grammar"). Grammars which have Unicode code points as their terminal symbols use either :: (Lexical and RegExp grammars, which "share some productions") or ::: (Numeric String grammar and URI grammar, both of which incorporate nonterminals from the lexical grammar).

I'm not sure what the distinction between :: vs. ::: is intended to represent, but absent guidance from @tc39/ecma262-editors I have a gut feeling that ::: is slightly more appropriate because both the URI and ISO 8601 grammars relate to external specifications.

[ptomato]

I asked and @bakkot answered:

::: is for the grammar used for parsing strings to numbers in like +'10', I mean, not when parsing actual number literals. It's never used when actually parsing source text.
: is for translating tokens to parse nodes, :: is for translating code points to tokens (or regexes, I guess)

Based on that, I'd guess ::: is appropriate for the ISO 8601 grammar.