[MLton] cvs commit: exposed the types of {Int,Word}{8,16,32,64} using where

Henry Cejtin henry@sourcelight.com
Mon, 17 Nov 2003 11:50:28 -0600


I  understand  (and  agree)  with  the  desire to have non-portable code fail
obviously, but I always interpreted the statement in the basis  library  spec
as explicitly requiring this kind of thing to type check.  Isn't that what it
means to say that LargeInt is the same as IntInf?