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

Matthew Fluet fluet@cs.cornell.edu
Thu, 15 May 2003 11:31:07 -0400 (EDT)


> That's it.  Let me know what you think, and if it makes sense to
> eliminate MLton.Finalize and put this stuff in as MLton.Finalizable.

I like it.  It seems to be a pretty good solution to the problem.
You might drop a note to the mGTK guys about the new Finalizable model.





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