Skip to content

Compilation Pipeline

Hécate Moonlight edited this page Feb 9, 2024 · 8 revisions

The pipeline is based on the methodology of micro-IRs

  1. Tree-sitter produces an internal representation
  2. Aforementioned representation is turned into a Syntax on the Haskell side
  3. Semantic analysis happens
  4. Syntax is transformed into a RawCore representation (we lose information about original syntax)
  5. RawCore is transformed into a ANFCore representation
  6. ANFCore is turned into Lua
Clone this wiki locally