class

TypeChecker

Inherits TypeUnifier < TypeEvaluator < CanError < Reference < Object

type inference algorithm

Constructors

new(context : TypeContext, specializer : Specializer)

Instance methods

and_op(left : Hir, right : Hir) : Hir

assign(lhs : Ast::Expr, rhs : Hir) : Hir

check_type(actual : Type, expected : Type, loc : Location, source : Location)

conditional(cond : Ast::Condition, steps : Array(Hir::TestOrBinding), is_expression : Bool)

consequence_statement(ast : Ast::Expr)

consequence_statement(conditionals : Array(Ast::Condition))

constructor(ast : Ast::Constructor) : Hir::Constructor

constructor(ast : Ast::EnumConstructor) : Hir::EnumConstructor

context

declare(binding : Binding, dec_type : Hir.class, loc : Location, name : String, value : Cell(Ast::Expr) | Nil = nil) : Hir

emit_error(error : Error)

env

eval(*args)

field_access(ast : Ast::FieldAccess)

function_call(location : Location, name : String, args : Array(Hir), type_args : Slice(Type) | Nil = nil) : Hir

identifier(location : Location, name : String) : Hir

infer(ast : Ast::Expr) : Hir

transfrom an ast node to hir, inferring its type

infer(ast : Cell(Ast::Expr)) : Hir

transfrom an ast node to hir, inferring its type

infer_block(ast : Ast::Block) : Hir

infer_implicit_bool(ast : Ast::Expr) : Hir

log

match(lhs : Hir, rhs : Ast::Expr) : Hir

or_op(left : Hir, right : Hir) : Hir

pattern_match(loc : Location, branches : Array(Ast::RTerm), enum_type : EnumDef, is_expression : Bool) : Array(Hir | Nil)

scope

scope=(scope : TypeScope)

specializer

try_function_call(location, func : FunctionDef, type_args : Slice(Type) | Nil, args : Array(Hir)) : OverloadMatch | Error

type_check(ast : Ast::Expr, expected_type : Type, source : Location) : Hir

type_check(ast : Cell(Ast::Expr), expected_type : Type, source : Location) : Hir

type_check_function(function : Function)

type_check_statement(ast : Ast::Expr) : Hir

runs type checker for the ast node, but allows for inconsistent types on branches this is to allow control-flow nodes (eg if blocks) to be used as statements without needing to have a consistent return type in all branches

type_error(location : Location, message : String)

ucs_expression(ast : Array(Ast::Condition)) : Array(Hir::TestOrBinding)

ucs_statement(ast : Array(Ast::Condition)) : Array(Hir::TestOrBinding)

Nested types

TypeChecker::OverloadMatch