[−][src]Module minitt::type_check
Type checking: the four type checking functions -- checkI
, checkD
, check
and checkT
.
Depends on modules syntax
, normal
, reduce
and read_back
.
Enums
TCE | Type-Checking Error. |
Functions
check |
|
check_contextual | For REPL: check an expression under an existing context |
check_declaration | Originally |
check_declaration_main | Similar to |
check_infer |
|
check_infer_contextual | For REPL: infer the type of an expression under an existing context |
check_main |
|
check_recursive_declaration | Extracted from |
check_simple_declaration | Extracted from |
check_type |
|
default_state | Empty |
update_gamma |
|
Type Definitions
Gamma |
|
GammaRaw | Type-Checking context. Name as key, type of the declaration as value. |
TCM |
|
TCS | Type-Checking State~~, not "Theoretical Computer Science"~~. |