except.mlton

Matthew Fluet mfluet@intertrust.com
Tue, 10 Jul 2001 11:41:09 -0700 (PDT)


> I just looked into why MLton does so well on the except benchmark and discovered
> that it is able to turn all the raise/handle pairs into direct jumps, since it
> can figure out the control-flow at compile time.  Maybe fair, maybe not, but I
> thought you should know.  Personally, I'm pleased that the analysis does this.

This is the raise-to-jump analysis?  Very cool.  Presumably contification
and/or other analyses were able to collapse almost everything into the
same cps function.