[MLton-user] SMLofNJ.Cont.isolate

[Matthew Fluet]

On Tue, 22 Apr 2008, Dave Herman wrote:
> In SML/NJ there's a useful function for invoking a thunk in an empty 
> continuation, called SMLofNJ.Cont.isolate. If I'm not mistaken, this isn't 
> too difficult to implement. Is this something that could be added to MLton?

I wrote up some notes on implementing isolate for MLton:
   http://mlton.org/MLtonContIsolateImplementation
It is available in SVN.