> Speaking of the re-sizing code, what is the logic in the current version for > when you decide to unmap the old space? I'll defer responding to this until I checkin the new code. _______________________________________________ MLton-devel mailing list MLton-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mlton-devel