No, no. My point is that when you are about to GC and you have to decide what `region' you are in, and you should use y + x <= R for that (in case y is NOT L * x). _______________________________________________ MLton-devel mailing list MLton-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mlton-devel