[MLton-devel] new heap resizing approach

[Stephen Weeks]

> I wasn't thinking about that (changing the to space according to the true
> live space) but about the fact that during the GC we need all the old space
> plus the true live.  Not L * x, but y plus <true live which we estimate as x),
> hence
> 	y + x <= R

Exactly.  But, on the current GC, we can't change y or x, we can only
set y for the next gc.

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel