[MLton-devel] finalization in MLton

[Stephen Weeks]

Hi guys.  I just checked in an attempt at implementing finalization in
MLton.  The new structure is MLton.Finalizable, which has the
following signature.

signature MLTON_FINALIZABLE =
   sig
      type 'a t

      val addFinalizer: 'a t * ('a -> unit) -> unit
      val finalizeBefore: 'a t * 'b t -> unit
      val new: 'a -> 'a t
      val withValue: 'a t * ('a -> 'b) -> 'b
   end

If you would like me to make an experimental release with this, let me
know. 

Hopefully finalization will make the mGTK port easier.


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