Struct TypeEnv 

pub struct TypeEnv { /* private fields */ }

Type environment built by a forward pass over the AST.

Computed once before codegen and shared immutably. Replaces the variable_types: HashMap<Symbol, String> and string_vars: HashSet<Symbol> that were incrementally built during codegen.

Implementations

impl TypeEnv

pub fn new() -> TypeEnv

pub fn lookup(&self, sym: Symbol) -> &LogosType

Look up the type of a variable.

pub fn lookup_fn(&self, sym: Symbol) -> Option<&FnSig>

Look up a function signature.

pub fn register(&mut self, sym: Symbol, ty: LogosType)

Register a variable with its type.

pub fn register_fn(&mut self, sym: Symbol, sig: FnSig)

Register a function signature.

pub fn infer_expr(&self, expr: &Expr<'_>, interner: &Interner) -> LogosType

Infer the type of an expression given the current environment.

pub fn infer_program( stmts: &[Stmt<'_>], interner: &Interner, _registry: &TypeRegistry, ) -> TypeEnv

Build a TypeEnv from a program’s statements via a single forward pass.

For each statement, registers variable types and function signatures into the environment. Since LOGOS programs are forward-declared, no fixpoint iteration is needed.

pub fn to_logos_type_map(&self) -> HashMap<Symbol, LogosType>

Export the type environment as a LogosType map for RefinementContext seeding.

pub fn to_legacy_variable_types(&self) -> HashMap<Symbol, String>

Convert the type environment to the legacy string-based format.

pub fn to_legacy_string_vars(&self) -> HashSet<Symbol>

Convert the type environment to the legacy string var set.

Trait Implementations

impl Debug for TypeEnv

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

Formats the value using the given formatter.