Struct erg_compiler::context::instantiate::TyVarCache

pub struct TyVarCache { /* private fields */ }

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.

Implementations

impl TyVarCache

pub fn new(level: usize, _ctx: &Context) -> Self

pub fn merge(&mut self, outer: &Self)

Trait Implementations

impl Clone for TyVarCache

fn clone(&self) -> TyVarCache

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TyVarCache

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for TyVarCache

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.