| Compiler Overview | ||
| Translation Passes | IntermediateLanguage | Optimization Passes |
| Source | ||
| FrontEnd | ||
| AST | ||
| Elaborate | ||
| CoreML | ||
| CoreMLSimplify | ||
| Defunctorize | ||
| XML | ||
| XMLSimplify | ||
| Monomorphise | ||
| SXML | ||
| SXMLSimplify | ||
| ClosureConvert | ||
| SSA | ||
| SSASimplify | ||
| ToSSA2 | ||
| SSA2 | ||
| SSA2Simplify | ||
| ToRSSA | ||
| RSSA | ||
| RSSASimplify | ||
| ToMachine | ||
| Machine | ||
The Compile functor (![[WWW]](moin-www.png){kind=small}
compile.sig,compile.fun), controls the high-level view of the compiler passes, from FrontEnd to code generation.