Module erg_compiler::context::instantiate

source ·

Structs

  • TyVarCache
    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.