Compiler API

odoc for the OCaml bootstrap

This page is a map of compiler modules. It is not generated API HTML. Build that locally with dune build @doc / just doc-compiler; output lives under _build/default/_doc/_html/. See the current status for what those modules actually cover.

From src/compiler/

opam install odoc
just doc-compiler
# or: dune build @doc

Emit MLIR from a .kina file

dune exec bin/main.exe -- ../../tests/compiler/examples/add_2d.kina /tmp/add.mlir

Primary modules

Kina_parser_wrapper: `.kina` text parse entry (`kina_lexer` / `kina_parser`)
Sexpr_parser: Older S-expression core parse entry
Ast_surface: Untyped surface AST after parse
Type_formation: Type checking and formation, including Z3 obligations
Shape_ops: Shape algebra used by checking and lowering
Ad_pass: Restricted reverse-mode AD compiler transform
Ir_typed: Typed intermediate representation
Emitter: Textual MLIR emission for tensor programs
Pipeline: Optional MLIR → LLVM → shared-object driver
Discharge: Per-program Z3 context for dimension equalities
Tensor_types: Dtype, shape, and placement
Kina_core: Legacy tensor-literal parse/print used by older tests