[MLton] Writing memory to disk ...

Henry Cejtin henry.cejtin@sbcglobal.net
Tue, 23 May 2006 18:27:56 -0500


I wouldn't want the program to give up.  On the other hand, a flag to cause it
to do the write-to-disk wouldn't be too bad I guess.