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

[Matthew Fluet]

> I think it makes a lot of sense. The idea of specifying finalization order
> seems usefull. About the function finalize: Will it add a new finalizer or
> replace the old one?

The function finalize will add a new finalizer.  You probably shouldn't
rely on the finalizers for a single Finalizable.t value executing in a
particular order.



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