16 Aug
2002
16 Aug
'02
8:01 a.m.
At 2002-08-16 00:46, Ketil Z. Malde wrote:
Personally, I think i'd prefer the identifiers to be renamed to something more sensible than \uXXXX. Would it be possible to use an escape character and the *name* of the glyph/symbol instead?
Sure, but bear in mind Unicode names for characters are quite long, for instance GREEK SMALL LETTER THETA
I'm also not very happy with backslash for escaping (outside of strings/char constants), since it's used for lambda (somebody pointed out this and other problems in a previous mail).
Right, but whatever it is it really should be an ASCII character: the point is to allow representation of all identifiers from 7-bit ASCII. -- Ashley Yakeley, Seattle WA