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