> 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.