[MLton-devel] new heap resizing approach

[Henry Cejtin]

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

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