Full Unicode strings strawman

[Mike Samuel]

Allen, could you clarify something.

When the strawman says without mentioning "codepoint"

"The String type is the set of all finite ordered sequences of zero or
more 16-bit\b\b\b\b\b\b 21-bit unsigned integer values (“elements”)."

does that mean that String.charCodeAt(...) can return any value in the
range [0, 1 << 21)?


When the strawman says using "codepoint"

"SourceCharacter ::
any Unicode codepoint"

that excludes the blocks reserved for surrogates?