Skip to main content

Module program

polydat_core::iteration::comprehension::ir

Module program 

Source
Expand description

Immutable IR Program wrapper — spec §9.1.

Program is the public surface of the compiled IR. It’s #[non_exhaustive] and accessible by value but cannot be mutated after construction: ir::compile::compile is the only path from AST to IR (the optimizer (§10) is a separate AST→AST pass callers may run first), and the resulting program is frozen.

Structs§

Program
An immutable IR program — a finite, ordered sequence of Ops ending in Op::Dispense.