Struct Typechecker 

pub struct Typechecker { /* private fields */ }

Struct for type checking an AST.

Implementations

impl Typechecker

pub fn from_ast(ast: Ast<()>, modules: Modules<()>) -> Self

pub fn check(&self) -> Result<Ast<TypeInfo>, TypeError>

Type check the contained AST and return the type correct AST with type information attached to each node.

pub fn extract_exports(ast: &Ast<()>) -> Result<TypeScope, TypeError>

Extract the exports of a given AST. In particular, the exports are only the type information of the defined functions. Note: The exports are not type checked.