[MLton-devel] Optimizing garbage collection efficiency paper

[Henry Cejtin]

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