> So the GC estimates the to space, then does a copy (the actual GC) and then, > before returning to the mutator, shrinks the to space? Yes. _______________________________________________ MLton-devel mailing list MLton-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mlton-devel