Version 1 (modified by benl, 5 years ago)

--

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