Struct Interp 

pub struct Interp<'a> {
    pub steps: u64,
    pub exhausted: bool,
    /* private fields */
}

Fields

steps: u64

What is left of MAX_STEPS for the whole module.

exhausted: bool

Whether the budget ran out, so the diagnostic is reported once rather than at every macro that would have run afterwards.

Implementations

impl<'a> Interp<'a>

pub fn new( defs: &'a HashMap<Arc<str>, FnDef>, diags: &'a mut Diagnostics, steps: u64, exhausted: bool, ) -> Interp<'a>

pub fn called_at(self, span: Span) -> Interp<'a>

Where the call being expanded was written.

pub fn knowing(self, types: Option<&'a TypeEnv>) -> Interp<'a>

The same, with the checker’s answers about the call site in reach.

pub fn run_body( &mut self, name: &str, body: &Node, env: HashMap<Arc<str>, Val>, def_span: Span, ) -> Option<Node>

Run a macro body, given its parameters already bound to the syntax they were called with.

The result is whatever the body returned, reflected into syntax — so return quote: … is a template and return 6 * 7 is the literal 42.

pub fn reflect(&mut self, v: &Val, span: Span) -> Result<Node, Halt>

A value’s syntax.

Every value has one except a function: a closure is a thing the compile-time environment holds, and there is no expression that denotes it in the program being built.