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: the optimizer (§10) is the only path from AST to IR, and the resulting program is frozen.

Structs§

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