[MLton] Unicode / WideChar

[skaller]

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