[MLton] Writing memory to disk ...

Henry Cejtin henry.cejtin@sbcglobal.net
Wed, 24 May 2006 07:56:35 -0500


I would rather that it is in /tmp because on Debian /tmp is automatically
cleaned up but /var/tmp is not.