Struct ElaborateProgramPass

pub(super) struct ElaborateProgramPass<'a> {
    pub(super) program: &'a Program,
    pub(super) subpass_timings: Vec<PassTiming>,
}

Elaborate runtime-facing AST types and template specializations.

This pass delegates into elab and aggregates internal elaboration subpass timings so they can be surfaced by the top-level driver.

Input: expanded frontend Program. Output: elaborated frontend Program. Pass name: elab.elaborate_program.

Fields

program: &'a Program

Expanded program to elaborate.

subpass_timings: Vec<PassTiming>

Elaboration subpass timings recorded during run.

Implementations

impl<'a> ElaborateProgramPass<'a>

pub(super) fn take_subpass_timings(&mut self) -> Vec<PassTiming>

Drain recorded elaboration subpass timings after one run.

Trait Implementations

impl<'a> Pass for ElaborateProgramPass<'a>

const NAME: &'static str = "elab.elaborate_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 = ElabError

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.