Module erg_compiler::context
source · [−]Expand description
Defines Context
.
Context
is used for type inference and type checking.
Modules
provides type-comparison
defines type information for builtin objects (in
Context
)test module for
Context
provides type variable related operations
Structs
Enums
Some Erg functions require additional operation by the compiler.
記号表に登録されているモードを表す
Preregister: サブルーチンまたは定数式、前方参照できる
Normal: 前方参照できない