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

[Stephen Weeks]

> 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.