Struct ExpandProgramPass

pub(super) struct ExpandProgramPass<'a> {
    pub(super) program: &'a Program,
}

Expand frontend modules by evaluating meta constructs.

This is the first executable compiler pass after module resolution. It resolves meta expressions and template expansion so later passes consume one concrete runtime-facing AST shape.

Input: parsed frontend Program. Output: expanded frontend Program. Pass name: meta.expand_program.

Fields

program: &'a Program

Parsed program to expand.

Trait Implementations

impl<'a> Pass for ExpandProgramPass<'a>

const NAME: &'static str = "meta.expand_program"

Stable pass name used for stats and diagnostics.

type In = ()

Input value consumed by this pass.

type Out = Program

Output value produced by this pass.

type Error = MetaEvalError

Error type emitted by this pass.

fn run( &mut self, _input: Self::In, _cx: &mut PassContext, ) -> Result<Self::Out, Self::Error>

Execute one pass invocation.