Skip to main content

Module const_eval

Module const_eval 

Source
Expand description

Const evaluator for metadata() handlers.

Phase 1.B (ADR-006 §2.7.4 audit-accuracy ruling): the pre-bulldozer evaluator decoded &ValueWords via tag-bit dispatch (as_f64(), as_bool(), is_heap(), vw_equals, is_truthy, …) and constructed values via ValueWord::from_*. After ValueWord’s deletion the entire body is a deferred Phase 2c rebuild — the kind-threaded const evaluator constructs KindedSlots directly from Literal::* arms (the kind is statically known per arm) and dispatches operators on the slot bits + the carried NativeKind.

There are no external callers of ConstEvaluator outside this crate (verified via cross-crate grep) so this stub does not block shape-vm or shape-jit. The file is preserved (rather than deleted) because lib.rs:29 re-exports the module path; deletion would require coordination with the lib.rs module list.

Structs§

ConstEvaluator
Const evaluator for metadata() handlers.