[MLton] Unicode... again

skaller skaller at users.sourceforge.net
Sun Feb 11 09:41:43 PST 2007


On Sun, 2007-02-11 at 15:43 +0100, Wesley W. Terpstra wrote:
> 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.

Yes, thanks, that makes sense -- I was indeed confused.

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net



More information about the MLton mailing list