[MLton-devel] IntInf primops

[Henry Cejtin]

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.  I.e., it is clear that the number of now-non-tail-call
continuations contiguous on the stack is bounded by |p|, you have to argue that
you can't get <new-non-tail-call cont> <old-non-tail-call cont> repeated
arbitrarily often.


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