[MLton-devel] IntInf primops

[Stephen Weeks]

> 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!
http://www.vasoftware.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel