[MLton-devel] IntInf primops

Stephen Weeks MLton@mlton.org
Thu, 23 Jan 2003 14:04:53 -0800

> Although the lattice of sets-of-lambda's has height proportional to |p|, you
> also have to argue that there are not intervening non-tail calls dropping the
> result back down.  

We don't insert downward coercions.  Isn't that enough?

This SF.NET email is sponsored by:
SourceForge Enterprise Edition + IBM + LinuxWorld = Something 2 See!
MLton-devel mailing list