Skip to main content

OperationEmitter

Type Alias OperationEmitter 

Source
pub type OperationEmitter = Box<dyn Fn(&mut DynSegment, SourceSpan) -> Result<()> + Send + Sync>;
Expand description

Emits an operation after the complete operand signature has matched.

  • Precondition: the stack ends with the declared operand descriptors.
  • Postcondition: success replaces those operands with the declared result.

Emitters validate fallible setup before changing the segment. The lookup uniquely owns each emitter and invokes it only while compiling; segments own the emitted operations. Boxing a zero-sized, captureless closure does not allocate.

Aliased Typeยง

pub struct OperationEmitter(/* private fields */);