[MLton-devel] IntInf primops

Henry Cejtin henry@sourcelight.com
Thu, 23 Jan 2003 15:59:06 -0600

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!
MLton-devel mailing list