Module erg_compiler::context

Defines Context.

Context is used for type inference and type checking.

Modules

• cache
• compare
  provides type-comparison
• eval
• generalize
• hint
• initialize
  defines type information for builtin objects (in Context)
• inquire
• instantiate
• instantiate_spec
• register
• test
  test module for Context
• unify
  provides type variable related operations

Structs

• Context
  Represents the context of the current scope
• ContextInfo
• MethodInfo
• ModuleContext
• ParamSpec
• TraitImpl

Enums

• ClassDefType
• ContextKind
• DefaultInfo
• RegistrationMode
  Indicates the mode registered in the Context Preregister: subroutine or constant expression, can be forward referenced Normal: Cannot be forward referenced 環境に登録されているモードを表す Preregister: サブルーチンまたは定数式、前方参照できる Normal: 前方参照できない
• Variance

Traits

• ContextProvider
  For implementing LSP or other IDE features