[MLton-devel] finalization

Matthew Fluet fluet@cs.cornell.edu
Tue, 13 May 2003 09:43:15 -0400 (EDT)


One more comment on finalization.  We should probably decide and add to
the user's guide the exact guarantees on finalization.  For example,
should atExit force a GC to trigger any remaining finalizers?  Should that
loop until all possible finalizers have been executed?  Both of these
might be useful to clean-up C-side data.



-------------------------------------------------------
Enterprise Linux Forum Conference & Expo, June 4-6, 2003, Santa Clara
The only event dedicated to issues related to Linux enterprise solutions
www.enterpriselinuxforum.com

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel