In #12 (comment) I said we'd need to define the exact behavior of the backslash character \ for the purposes of escaping. This includes defining:
-
the list of known escape sequences (\ ( a space), \t, \n, \*, \[, \{, \u, \\, others?),
-
how the Unicode escapes work: is \u20 valid and the same as \u0020?
-
the behavior of unknown sequences, like \a (does the backslash take the following character out of the syntax parsing?),
-
the behavior for edge-cases, like:
Is that a syntax error? If not, what is the name of the identifier?
Is that an escaped new-line?
In #12 (comment) I said we'd need to define the exact behavior of the backslash character
\for the purposes of escaping. This includes defining:the list of known escape sequences (
\( a space),\t,\n,\*,\[,\{,\u,\\, others?),how the Unicode escapes work: is
\u20valid and the same as\u0020?the behavior of unknown sequences, like
\a(does the backslash take the following character out of the syntax parsing?),the behavior for edge-cases, like:
Is that a syntax error? If not, what is the name of the identifier?
Is that an escaped new-line?