Enum MirConstant 

pub enum MirConstant {
    Int(i64),
    Bool(bool),
    None,
    StringId(u32),
    Str(String),
    Float(u64),
    Decimal(String),
    Char(char),
    Function(String),
    Method(String),
    ClosurePlaceholder,
}

A constant value in MIR.

Variants

Int(i64)

Bool(bool)

None

StringId(u32)

String interned index (legacy — prefer Str for new code)

Str(String)

String literal value (carried through MIR for direct JIT materialization)

Float(u64)

Float (stored as bits for Eq/Hash)

Decimal(String)

Decimal literal — carried through MIR as the source-form lexeme.

WS-8 (2026-05-22): pre-WS-8 Literal::Decimal(_) MIR lowering at mir/lowering/expr.rs:1937 collapsed to MirConstant::Float(0) (“decimal not yet modeled”), silently losing the value. The JIT then printed 0.0 for print(1.5D) while the VM printed 1.5D — a v0.3-gating silent wrong-answer divergence (WS-8 audit §1.D). The MIR producer now emits this variant verbatim; the JIT consumer SURFACEs (compile_constant returns Err), triggering the W12 fall-through to the bytecode interpreter (which materializes the decimal via the VM’s NewDecimalV2 opcode and prints correctly). VM == JIT, both run the interpreter path. The variant stores the decimal’s lexeme so JIT codegen can light up later without re-parsing the AST.

Char(char)

Character literal (scalar codepoint).

Phase 3 cluster-2 Round 4 cw-D-fam12 follow-up (instance 57, 2026-05-16). ADR-006 §2.7.5 amendment Round 19 S1.5 W12-nativekind-scalar-additions (2026-05-14): Char is a 4-byte scalar NativeKind variant (codepoint in low 32 bits of ValueSlot, no Arc wrapping). Producing-site stamp-at-compile-time discipline requires the MIR layer to preserve the Char kind through to the JIT’s operand_slot_kind / infer_constant_kind classifiers — otherwise Literal::Char('A') is lost as MirConstant::Int(65) at MIR lowering, the JIT stamps NativeKind::Int64, and the print dispatch matches print_i64(65) instead of print_char(65) → JIT prints “65” while VM prints “A” (cw-D-fam12 Char production-fixture divergence).

Function(String)

Function reference by name

Method(String)

Method name for dispatch

ClosurePlaceholder

Placeholder for a closure function reference. Patched to Function(name) after bytecode compilation resolves the closure’s function_id.

Trait Implementations

impl Clone for MirConstant

fn clone(&self) -> MirConstant

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MirConstant

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for MirConstant

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for MirConstant

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for MirConstant

fn eq(&self, other: &MirConstant) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for MirConstant

impl StructuralPartialEq for MirConstant