[MLton-user] SML unicode support

[Henry Cejtin]

I don't get why you would need to change Char (or String).  You can just
have some code first which redefines Char:
	structure Char = WideChar
and you are done.  This would just go in your .mlb file.