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