[MLton] Unicode / WideChar
Mon, 21 Nov 2005 23:19:10 +1100
On Mon, 2005-11-21 at 12:56 +0100, Florian Weimer wrote:
> U+0FEFF is mapped to 0xFEFF, but U+10100 is mapped to 0xD800 0xDD00,
> which is lexicographically less than 0xFEFF.
Yes, you're right as a I discovered 10 seconds after posting
my email. Sorry!
Actually, in my original email I slammed UTF-16
and recommend no support should be given to it at all,
since it is rubbish. But I couldn't remember why and elided
all the nasty comments. Thanks for reminding me ;(
Argg .. what a mess.
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net