>
I'm wondering about whether unicode character constants should be permitted.. Today they seem not to be allowed, but that might be an oversight. E.g.,
14> $å.
* 1: syntax error before: '\245'
So, design decision (why?) or bug?
Best,
Thomas