Closed jvasileff closed 8 years ago
The spec says:
The following are legal strings: ... "\{00E5}ngstr\{00F6}ms"
"\{00E5}ngstr\{00F6}ms"
But the type checker says:
Illegal unicode escape sequence: 00F6 is not a Unicode character Illegal unicode escape sequence: 00E5 is not a Unicode character
I guess it's supposed to be this?
"\{#00E5}ngstr\{#00F6}ms"
There are no unicode characters named 00E5 and 00F6.
Ok, I fixed the title...
Ah OK, sure.
The spec says:
But the type checker says: