SLED and mlton

[Stephen Weeks]

> 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 -- "$@"