[MLton-user] MLton.Finalizable.touch

Stephen Weeks MLton-user@mlton.org
Thu, 25 Aug 2005 14:23:39 -0700


> No.  It looks like a bug, based on the spec for touch at
> 
>   http://mlton.org/MLtonFinalizable
> 
>   touch v
>     ensures that v's finalizers will not run before the call to touch.

I've committed a fix to our SVN repository.  Unfortunately, the fix is
not just a basis library change, so you need to rebuild MLton from the
repository in order for the fix to take effect.