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

[Stephen Weeks]

> It is all a bit weird since counting on finalization order is definitely a
> bad idea any way. 

I agree with this.  I think this makes it a good idea to do what we do
now with the reversal every time, or something equally bizarre, and
require the user to build additional structure on top of finalization
if they want a particular order.  And document that finalization order
is unspecified.


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