Struct TypeChecker 

pub struct TypeChecker { /* private fields */ }

Implementations

impl TypeChecker

pub fn new() -> Self

pub fn set_imported_modules(&mut self, modules: HashMap<String, ModuleInfo>)

Set imported modules for type checking

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

Type check a program

pub fn get_instantiations(&self) -> Vec<(String, Vec<String>, GenericFunction)>

Get all generic function instantiations for code generation

pub fn get_struct_instantiations( &self, ) -> Vec<(String, Vec<String>, GenericStruct)>

Get all generic struct instantiations for code generation

pub fn in_unsafe_context(&self) -> bool

Check if we’re currently in an unsafe context

Trait Implementations

impl Default for TypeChecker

fn default() -> Self

Returns the “default value” for a type.