> 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.