Do the double guillemets become part of the identifier name?

[nielsvoss]

Describe the error

In 3.1.1.2.3. Keywords and Identifiers:

Identifiers components may also be surrounded by double guillemets ('«' and '»'). Such identifier components may contain any character at all, aside from '»', even '«' and newlines.

Why is it incorrect and/or confusing?

I think it's unclear if the double guillemets become part of the identifier name, or if they just act as a way to let you write identifiers that might involve reserved keywords or illegal characters (like backticks in Kotlin). Basically, do «apple» and apple mean different things?

Also a minor nitpick: not sure if there should be a comma between "all" and "aside". Also, is it really true that all characters are legal, including things like non-printing characters, control characters, RTL marks, null bytes, EOF characters, etc.?

[david-christiansen]

These are very good questions that need to be addressed, but part of addressing it may be a patch to the parser to help it remain clear. I'll follow up - thanks!