Speaking of the re-sizing code, what is the logic in the current version for when you decide to unmap the old space? _______________________________________________ MLton-devel mailing list MLton-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mlton-devel