[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