Implementation and Practicalities

In Moby, the compiler performs the analysis and transformation as part of cluster conversion:

• analysis computes annotations
• frame conversion computes annotations
• ``re-cluster'' and introduce new fragments for explicit continuations
• light-weight clouser conversion for internal fragments
• full closure conversion for entry fragment
• inline fragments only called once

To handle mutual recursion in the source language, the analysis becomes a fixed-point computation.

In practice, there are significant speed-ups (on synthetic benchmarks) when compiled using local CPS conversion.