Unicode character constants

[Thomas Lindgren]

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