class Myst::TypeCheck::Environment
- Myst::TypeCheck::Environment
- Reference
- Object
Defined in:
typecheck/environment.crConstructors
Instance Method Summary
- #add_return_type(type : Type)
- #break_stack : Array(Type | Nil)
- #break_stack=(break_stack : Array(Type | Nil))
- #create_root_scope(root)
- #current_return_type
- #current_scope
- #current_self
- #init_primitives
- #merge_scope!(unionize = true, nilify = false)
- #pop_return_scope
- #pop_scope
- #pop_self
- #push_return_scope
- #push_scope(scope = nil)
- #push_self(this : Type)
- #return_stack : Array(Type | Nil)
- #return_stack=(return_stack : Array(Type | Nil))
- #root_scope
- #scope_override
- #scope_stack : Array(Scope)
- #scope_stack=(scope_stack : Array(Scope))
- #self_stack : Array(Type)
- #self_stack=(self_stack : Array(Type))
- #set_return_type(type : Type)
-
#t_any : Myst::TypeCheck::AnyType
Crystal's macro evaluation doesn't let this block of definitions live anywhere but in the original definition of this class.
- #t_boolean : Myst::TypeCheck::Type
- #t_boolean_t : Myst::TypeCheck::Type
- #t_float : Myst::TypeCheck::Type
- #t_float_t : Myst::TypeCheck::Type
- #t_functor : Myst::TypeCheck::Type
- #t_functor_t : Myst::TypeCheck::Type
- #t_integer : Myst::TypeCheck::Type
- #t_integer_t : Myst::TypeCheck::Type
- #t_list : Myst::TypeCheck::Type
- #t_list_t : Myst::TypeCheck::Type
- #t_map : Myst::TypeCheck::Type
- #t_map_t : Myst::TypeCheck::Type
- #t_module : Myst::TypeCheck::Type
- #t_module_t : Myst::TypeCheck::Type
- #t_nil : Myst::TypeCheck::Type
- #t_nil_t : Myst::TypeCheck::Type
- #t_object : Myst::TypeCheck::Type
- #t_object_t : Myst::TypeCheck::Type
- #t_string : Myst::TypeCheck::Type
- #t_string_t : Myst::TypeCheck::Type
- #t_symbol : Myst::TypeCheck::Type
- #t_symbol_t : Myst::TypeCheck::Type
- #t_type : Myst::TypeCheck::Type
- #t_type_t : Myst::TypeCheck::Type
Constructor Detail
Instance Method Detail
def t_any : Myst::TypeCheck::AnyType
#
Crystal's macro evaluation doesn't let this block of definitions live anywhere but in the original definition of this class. Not even in a macro that gets called here.