[MLton] Unicode / WideChar

[Henry Cejtin]

I am confused: using UTF-8 or UTF-16, or what ever encoding for unicode
characters shouldn't effect the ordering of strings or characters at all.
I.e., what ever encoding is used, characters (not bytes) are compared
by comparing their unicode value, right?  That would definitely be what
I would hope for.  I don't see how it would make any sense to vary the
order according to the encoding since that doesn't even really exist in
data structures, only in files (at least in theory).