[MLton] Unicode / WideChar

[Florian Weimer]

* Henry Cejtin:

> Re most of your questions, I don't have enough experience to really
> say.  One thing that I would REALLY like to be true would be for
> none of these to depend on locale.  Perhaps that isn't possible, but
> I have definitely been burned by this dependency.

Unfortunately, some Unicode properties are still locale-sensitive.
The relationship between "i" and "I", for example.

(One obivous area of locale-dependency is collation, of course, but
you don't mean that, I think.)