> Steve, what's the final version of the contification pass in MLton now? > (i.e., is it catching all of contifications that seem reasonable?) It's still using "both" for now. Soon, there are still some cases that are missed though (I sent one a while back). I am working on an analysis based on your email of a few days ago that will subsume "both" and catch those cases.