module Myst::TypeCheck

Extended Modules

• Myst::TypeCheck

Defined in:

typecheck.cr
typecheck/environment.cr
typecheck/exceptions.cr
typecheck/functor.cr
typecheck/pattern_matcher.cr
typecheck/scope.cr
typecheck/type.cr
typecheck/visitors/def_visitor.cr
typecheck/visitors/main_visitor.cr
typecheck/visitors/program_expander.cr
typecheck/visitors/semantic_visitor.cr

Instance Method Summary

• #typecheck(file_name : String)
• #typecheck(program : Node) : Tuple(Environment, Type)

Instance Method Detail