[MLton] MLton HOL

Stephen Weeks MLton@mlton.org
Wed, 26 May 2004 20:48:18 -0700

> After a break, I'm returning to my project to port HOL4 to MLton.

Glad to hear it.

> Is it possible to tell MLton to use a different directory for
> temporary storage during compilation?

Yes, the runtime pays attention to the TMPDIR environment variable,
and uses a default of /tmp if TMPDIR isn't set.

You might also try compiling with @MLton fixed-heap.