[MLton] MLton rules! (was: filedes = int)

Matthew Fluet fluet@cs.cornell.edu
Mon, 18 Jul 2005 08:22:22 -0400 (EDT)


> Why should libgmp be 'fundamental'?
>
> Does MLton *compiler* actually need it?

Yes.  IntInf.int (and, hence, GMP bigints) are the representation for 
source integer constants in the compiler.  We need to have GMP bigints 
around to do constant folding on IntInf.int code.