[MLton-user] Destructive update

[Henry Cejtin]

Right, so my claim is the following: all uses of s->ramSlop * s->totalRam
should be replaced by max-heap (if the latter is non-zero), and that should
be the only use of max-heap.
I.e., if you don't say any thing, then we use the physical ram size times
ramSlop as the upper bound, otherwise use max-heap.  Isn't that the idea
for what max-heap should be for?  It was certainly what I always assumed
it was for.