Skip to main content

Module program

polydat_core::iteration::comprehension::ir

Module program 

Source
Expand description

Immutable IR Program wrapper — comprehension_forms.md §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 the AST→AST pass the compile stage runs before it), and the resulting program is frozen.

Structs§

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