Module erg_compiler::context::instantiate
source · Structs
Context for instantiating a quantified type
For example, cloning each type variable of quantified type
?T -> ?T
would result in ?1 -> ?2
.
To avoid this, an environment to store type variables is needed, which is TyVarCache
.
量化型をインスタンス化するための文脈
e.g. Array -> [(“T”: ?T(: Type)), (“N”: ?N(: Nat))]
FIXME: current implementation is wrong
It will not work unless the type variable is used with the same name as the definition.Enums
TODO: this struct will be removed when const functions are implemented.