[MLton-devel] Int.precision is 32 bits?

Stephen Weeks MLton@mlton.org
Tue, 30 Sep 2003 15:17:50 -0700


> The best bet I've got up until now is that MLton instances every
> polymorphic function, reaching a monomorphic language from which we
> can decide the type of all values. By preserving this type, we can
> instruct the GC to know exactly what is pointers and what is not.

That's what we do.

> What nags me is that poly->mono instantiaion like this can result in
> code explosion ...

In theory.  But we've never seen it happen.  Analogies with C++
template expansion don't seem to hold.