Module erg_compiler::context

Defines Context.

Context is used for type inference and type checking.

Modules

cache

compare

provides type-comparison

eval

hint

initialize

defines type information for builtin objects (in Context)

inquire

instantiate

register

test

test module for Context

tyvar

provides type variable related operations

Structs

Context

Represents the context of the current scope

ContextInfo

MethodInfo

ParamSpec

TypeRelationInstance

Enums

ClassDefType

ContextKind

DefaultInfo

RegistrationMode

記号表に登録されているモードを表す Preregister: サブルーチンまたは定数式、前方参照できる Normal: 前方参照できない

TyParamIdx

Variance

Traits

ContextProvider

For implementing LSP or other IDE features