[MLton] Writing memory to disk ...

[Ville Laurikari]

On Tue, May 23, 2006 at 06:27:56PM -0500, Henry Cejtin wrote:
> 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.

The code which decides where the temporary directory is should be
refactored to a function and moved in the platform subdirectory.

And yes, /var/tmp should be used instead of /tmp.  /tmp is often a RAM
disk (e.g. in Solaris that's the default).

--
http://www.iki.fi/vl/