Struct TypeChecker 

pub struct TypeChecker {
    pub env: TypeEnv,
    /* private fields */
}

The type checker.

Fields

env: TypeEnv

Type environment.

Implementations

impl TypeChecker

pub fn new() -> Self

Create a new type checker.

pub fn check_module(&mut self, module: &Module) -> TypeResult<()>

Check a complete module.

pub fn infer_expr(&mut self, expr: &Expr) -> TypeResult<Type>

Infer the type of an expression.

Trait Implementations

impl Default for TypeChecker

fn default() -> Self

Returns the “default value” for a type.