[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