Struct SymbolTable 

pub struct SymbolTable {
    pub resolutions: HashMap<NodeId, ResolvedName>,
    pub effect_info: HashMap<String, EffectInfo>,
    /* private fields */
}

A hierarchical symbol table: module scope → nested scopes → bindings.

The scope stack grows when blocks are entered and shrinks when they exit. Lookups walk from the innermost scope outward; the first match wins (lexical shadowing).

Fields

resolutions: HashMap<NodeId, ResolvedName>

Resolution map: usage-site NodeId → resolved binding.

effect_info: HashMap<String, EffectInfo>

Effect declarations: effect name → operations and components. Populated during the collection phase, read during resolution to inject effect operations into with-annotated function scopes.

Implementations

impl SymbolTable

pub fn new() -> Self

Creates a new symbol table with one empty module scope.

pub fn define(&mut self, name: String, binding: Binding)

Defines name in the current (innermost) scope.

pub fn push_scope(&mut self)

Pushes a new empty scope onto the stack.

pub fn pop_scope(&mut self) -> Option<Scope>

Pops and returns the innermost scope. Returns None if only the module scope remains (it is never popped).

pub fn lookup(&mut self, name: &str) -> Option<ResolvedName>

Looks up name, walking from innermost to outermost scope.

Marks the binding as used and returns a clone of the resolved name.

pub fn mark_used(&mut self, name: &str)

Marks the binding for name as used without returning a resolution. Used for type names that appear in constructor or annotation position.

pub fn lookup_peek(&self, name: &str) -> Option<&Binding>

Immutable lookup — does not mark the binding as used.

pub fn record_resolution(&mut self, use_id: NodeId, resolved: ResolvedName)

Records that the node at use_id resolves to resolved.

pub fn visible_names(&self) -> Vec<String>

Collects every name visible in the current scope stack.

Used for “did you mean X?” suggestions when a lookup fails. Names from inner scopes shadow outer scopes, but for suggestion purposes we include all reachable binders — duplicates are de-duplicated.

pub fn has_wildcard_import(&self) -> bool

Returns true if any wildcard (*) import exists in the module scope.

pub fn unused_imports(&self) -> Vec<&Binding>

Returns all import bindings from the module scope that were never used.

Trait Implementations

impl Default for SymbolTable

fn default() -> Self

Returns the “default value” for a type.