[MLton] Unicode... again

[Wesley W. Terpstra]

On Feb 11, 2007, at 3:21 PM, Andreas Rossberg wrote:
> The idea is not to infer the type from the string, but from how the  
> string is used. IOW, you treat string literals as overloaded, and  
> once overloading resolution has yielded a specific type you check  
> that the string can actually be represented in that type.

That's exactly how it works. Thanks for explaining it better than I  
could.