class Savi::Compiler::TTypeCheck
- Savi::Compiler::TTypeCheck
- Reference
- Object
Overview
TODO Document this pass
Defined in:
savi/compiler/t_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 : TInfer::FromCall, call_func, problems)
- .verify_let_assign_call_site(ctx : Context, call : TInfer::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_let_assign_call_site(ctx : Context, call : TInfer::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)
#