[MLton-user] Destructive update
Matthew Fluet
fluet@cs.cornell.edu
Wed, 8 Feb 2006 12:23:14 -0500 (EST)
> One question about using fixed-heap: isn't max-heap what you really want to
> use? I know that in a previous version it didn't actually work, but in
> the current one (20051202) it would seem to be just what you want.
But max-heap will only limit the heap if the desired heap size (as
calculated by the various live ratios) is greater than the max-heap flag.
If the desired heap size never exceed the max-heap, then you should get
exactly the same behavior as if you didn't specify a max-heap.
In which case, I don't recall the exact difference between max-heap and
the RAM calculated by ram-slop.