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 isTyVarCache
. 量化型をインスタンス化するための文脈 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.