class Savi::Compiler::TypeCheck
- Savi::Compiler::TypeCheck
- Reference
- Object
Overview
TODO Document this pass
Defined in:
savi/compiler/type_check.crConstructors
Class Method Summary
- .validate_type_args(ctx : Context, type_check : ForReifiedFunc, node : AST::Node, mt : MetaType)
- .verify_call_arg_count(ctx : Context, call : Infer::FromCall, call_func, problems)
- .verify_call_autorecover(ctx : Context, type_check : TypeCheck::ForReifiedFunc, call : Infer::FromCall, call_mt : MetaType)
- .verify_call_receiver_cap(ctx : Context, call : Infer::FromCall, calling_func, call_mt, call_func, problems)
- .verify_let_assign_call_site(ctx : Context, call : Infer::FromCall, call_func : Program::Function, from_rf : ReifiedFunction)
- .verify_safety_of_runtime_type_match(ctx : Context, pos : Source::Pos, lhs_mt : MetaType, rhs_mt : MetaType, lhs_pos : Source::Pos, rhs_pos : Source::Pos)
Instance Method Summary
- #[](t_link : Program::Type::Link)
- #[](rf : ReifiedFunction)
- #[]?(t_link : Program::Type::Link)
- #[]?(rf : ReifiedFunction)
- #run(ctx)
Constructor Detail
Class Method Detail
def self.validate_type_args(ctx : Context, type_check : ForReifiedFunc, node : AST::Node, mt : MetaType)
#
def self.verify_call_autorecover(ctx : Context, type_check : TypeCheck::ForReifiedFunc, call : Infer::FromCall, call_mt : MetaType)
#
def self.verify_call_receiver_cap(ctx : Context, call : Infer::FromCall, calling_func, call_mt, call_func, problems)
#
def self.verify_let_assign_call_site(ctx : Context, call : Infer::FromCall, call_func : Program::Function, from_rf : ReifiedFunction)
#
def self.verify_safety_of_runtime_type_match(ctx : Context, pos : Source::Pos, lhs_mt : MetaType, rhs_mt : MetaType, lhs_pos : Source::Pos, rhs_pos : Source::Pos)
#