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
Represents the context of the current scope
Enums
Indicates the mode registered in the Context
Preregister: subroutine or constant expression, can be forward referenced
Normal: Cannot be forward referenced
環境に登録されているモードを表す
Preregister: サブルーチンまたは定数式、前方参照できる
Normal: 前方参照できない
Traits
For implementing LSP or other IDE features