Enum SymbolMutation 

pub enum SymbolMutation {
    Allocate {
        id: SymbolId,
        name: String,
        kind: SymbolKind,
    },
    Rename {
        id: SymbolId,
        new_canonical: String,
        kind: SymbolKind,
    },
    Alias {
        id: SymbolId,
        alias: String,
        kind: SymbolKind,
    },
    Retire {
        id: SymbolId,
        name: String,
        kind: SymbolKind,
    },
}

One symbol-table mutation performed by the binder while processing a batch. The emit stage serializes the journal into SYMBOL_* canonical records (opcodes 0x30–0x33 per ir-canonical-form.md § 6.6) so that replay from the log can reconstitute the workspace’s symbol table. Per librarian-pipeline.md § 3.4 the journal is part of bind’s output alongside the bound AST.

Variants

Allocate

A first-use allocation — id, name (canonical), kind.

Fields

id: SymbolId

Allocated symbol ID.

name: String

Canonical name at allocation time.

kind: SymbolKind

Locked kind.

Rename

Rename — old canonical becomes an alias; new canonical attaches to the same id. Replay reconstructs the canonical/alias state.

Fields

id: SymbolId

Subject symbol.

new_canonical: String

New canonical name.

kind: SymbolKind

Locked kind at the time of the rename.

Alias

Alias — an additional name resolves to the same id.

Fields

id: SymbolId

Subject symbol.

alias: String

The alias attached.

kind: SymbolKind

Locked kind.

Retire

Retire — sets the symbol’s retired flag.

Fields

id: SymbolId

Subject symbol.

name: String

Canonical name at retire time (for the log record).

kind: SymbolKind

Locked kind.

Trait Implementations

impl Clone for SymbolMutation

fn clone(&self) -> SymbolMutation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolMutation

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

Formats the value using the given formatter.

impl PartialEq for SymbolMutation

fn eq(&self, other: &SymbolMutation) -> 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 SymbolMutation

impl StructuralPartialEq for SymbolMutation