[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.