[MLton-devel] Optimizing garbage collection efficiency paper

Henry Cejtin henry@sourcelight.com
Fri, 3 Jan 2003 14:28:09 -0600

re MLton being safe-for-space, the only counter-example I know of (and it
really depends on the precise definition of safe-for-space) is the one we
talked about: if a function never returns except by raising an exception then
the stack frames from the top down to the first exception handler should be
dead.  There was some discussion of this kind of thing in some ICFP quite a
while ago by one of the MIT-Scheme people in connection with a Y-combinator
implimentatio I think.

This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
MLton-devel mailing list