Module passes

Concrete pass wrappers used by the driver pipeline.

Structs

CheckProgramPass 🔒

Run semantic/type checks on HIR.

ElaborateProgramPass 🔒

Elaborate runtime-facing AST types and template specializations.

EmitRustPass 🔒

Emit Rust source from MIR.

EmitWasmPass 🔒

Emit WASM/WAT artifacts from MIR.

ExpandProgramPass 🔒

Expand frontend modules by evaluating meta constructs.

LowerHirPass 🔒

Lower elaborated frontend AST into HIR.

LowerMirPass 🔒

Lower HIR + checker facts into MIR.