MLton RAM usage

Henry Cejtin henry@sourcelight.com
Tue, 18 Sep 2001 08:56:21 -0500


If you didn't have enough swap then an mmap should have failed, in which case
MLton would exit (this should be fixed).  If you do have enough swap then unless
the other thing was actually running (i.e., not idle) it should just have been
swapped out.