Cone.Compiler (Cone v0.1.0)

View Source

The main entry point for compiling Cone source code into Lamport IR and Tabular IR.

Summary

Functions

Compiles source code string into Tabular IR.

Functions

compile(source, opts \\ [])

Compiles source code string into Tabular IR.

Pipeline

  1. Parse (Text -> AST)
  2. Resolve (AST -> Ticked AST with Causality)
  3. Tabularize (Ticked AST -> LCT Rows)
  4. Passes (LCT -> LCT)

Options

  • :verbose - (boolean) If true, prints the LCT table to stdout (default: false).