Expand description
Interpreter state and beta-reduction.
Expression evaluation lives entirely in crate::compile; what remains
here is genuinely runtime: the Interp state every primitive threads
(images, hooks, cross-references, decorations, …), function application,
and pattern matching. Follows evaluator.cppo.ml’s naive interpreter, not
its bytecode VM, which was deliberately not ported.
Structs§
- Eval
Error - Interp
- Evaluation state threaded through every primitive: font metrics, images, hooks, cross-references, and the per-trial accumulators below.
Enums§
- Deco
Entry - See
Interp::decos. - Fire
Pass - Which callbacks a walk over placed geometry (
crate::fire_hooksand the helpers it shares withpage_break_core) is allowed to invoke.
Functions§
- match_
pattern - Structural pattern matching against an already-evaluated scrutinee.
Returns
true(and appends every bound value, POSITIONALLY, in the order they were encountered) on a structural match; returnsfalse(leavingbindingsfor this attempt unusable — callers must use a freshVecper arm) otherwise.