Compiler Commentary

These pages give an overview of how the compiler fits together, and record notes on the implementation.

Main Components

• Lexer
• Parser
• Source -> Desugared IR
• Type Constraint Slurper
• Type Constraint Solver
• Desugared IR -> Core IR
• Core Transforms
• Core IR -> Sea IR
• Sea Transforms
• Runtime System