Struct TypeChecker 

pub struct TypeChecker { /* private fields */ }

Implementations

impl TypeChecker

pub fn new() -> Self

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 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 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.