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.
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
