Struct Checked 

pub struct Checked {
    pub program: ResolvedProgram,
    pub outcome: Outcome,
    pub names: NameTable,
}

A program through the check stage, with everything the stage found.

Fields

program: ResolvedProgram

outcome: Outcome

names: NameTable

The name table the stage resolved against: every program scope, then the builtins. What an editor completes from.

Implementations

impl Checked

pub fn erased(&self) -> Vec<Spanned>

The forms an evaluator runs: lowered, then erased — the tree run evaluates, for a door that brings its own evaluator (the VM).

pub fn evaluable(&self) -> Vec<Sexp>

What blue test hands the harness: the program lowered, spans projected away.

pub fn resolve(&self) -> Resolved

Every non-local reference, resolved under both rules — today’s flat one and per-bidama namespaces — and the resolved trees built from them (blue ast --resolved).

impl Checked

pub fn call_explicit_forms(&self) -> Vec<Spanned>

pub fn canonical_entry(&self, src: &str) -> Option<Vec<Spanned>>