Struct TypeChecker 

pub struct TypeChecker { /* private fields */ }

Implementations

impl TypeChecker

pub fn new() -> Self

pub fn get_union(&self, name: &str) -> Option<&UnionTypeInfo>

Look up a union type by name

pub fn get_unions(&self) -> &HashMap<String, UnionTypeInfo>

Get all registered union types

pub fn register_external_words(&mut self, words: &[(&str, Option<&Effect>)])

Register external word effects (e.g., from included modules).

Words with Some(effect) get their actual signature. Words with None get a maximally polymorphic placeholder ( ..a -- ..b ).

pub fn register_external_unions(&mut self, union_names: &[&str])

Register external union type names (e.g., from included modules).

This allows field types in union definitions to reference types from includes. We only register the name as a valid type; we don’t need full variant info since the actual union definition lives in the included file.

pub fn take_quotation_types(&self) -> HashMap<usize, Type>

Extract the type map (quotation ID -> inferred type)

This should be called after check_program() to get the inferred types for all quotations in the program. The map is used by codegen to generate appropriate code for Quotations vs Closures.

pub fn take_statement_top_types(&self) -> HashMap<(String, usize), Type>

Extract per-statement type info for codegen optimization (Issue #186) Returns map of (word_name, statement_index) -> top-of-stack type

pub fn check_program(&mut self, program: &Program) -> Result<(), String>

Type check a complete program

Trait Implementations

impl Default for TypeChecker

fn default() -> Self

Returns the “default value” for a type.