SLED and mlton
Tue, 18 Sep 2001 16:37:09 -0700
> I didn't know about fixed-heap. Guess I was hoping for reasonable defaults.
> I'll try and let you know - with luck this afternoon.
We have tracked down the bug that was causing MLton to use too much memory. A
fix will be in the next release. In the meantime, the best solution for you is
to hardwire in a fixed-heap or max-heap argument into your /usr/local/bin/mlton
script. I recommend max-heap. Changing line 30 to the following should work.
exec "$mlton" @MLton max-heap 400m load-world "$world" $rargs -- "$@"