[MLton] WideChar

[Stephen Weeks]

> > So, you get Unicode behaviour in WideChar+Char, but if you want
> > locale-correct conversions for German or Turkish, you use:
> > 
> > signature LOCALE =
> >   sig
> >     ...
> >     val toLower: t -> char -> string
> >     val isUpper: t -> char -> bool
> >   end
> > 
> 
> Seems like this is the only thing to do. Unicode encourages programmers
> to write all their character conversion functions to work with whole
> strings to avoid these problems with non-simple cases. Does that make
> sense here or is it overkill?

I like these ideas.