19 Aug
2008
19 Aug
'08
6:19 a.m.
It is possible to emit Unicode (UTF-8 encoded say) strings in a Poly/ML program by emitting the appropriate sequence of bytes:
Poly/ML 5.2 Release
print "\u00e2\u0088\u0080\n";
? val it = () : unit
But as far as Poly is concerned, this is actually a sequence of four characters, not two (the universal quantifier and the newline).
Are there any plans to implement some sort of sensible WideChar signature? (The existing WideChar signature in the Basis is not really a good base on which to build good support here.)
Michael.