[MLton-devel] Re: [MLton-user] ffi pointer lifetime

[Matthew Fluet]

> I almost always end up freeing things in exactly the inverse order in which
> they are allocated.  I.e., it really is a stack-like discipline.  In the
> case of non-circular graphs, isn't that what you would want, not a queue?
> (Talking about finalization order here.)

Yeah, you are right, you want to run the finalizers in reverse install
order.  In any event, though, the way the function installed as handleGC
is written right now, we will reverse the order of processing every time
through a GC.





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