language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-02 13:41:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: type substitution bug

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-08-13 13:44:52 +09:00
parent 974882490c
commit 5f6d530602
1 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

10
crates/erg_compiler/context/eval.rs
View file

@ -346,7 +346,7 @@ impl<'c> Substituter<'c> {
subst.undo();
}
}
TyParam::Type(t) => {
/*TyParam::Type(t) => {
Self::undo_substitute_typarams(&t);
}
TyParam::Value(ValueObj::Type(t)) => {
@ -356,7 +356,7 @@ impl<'c> Substituter<'c> {
for arg in args.into_iter() {
Self::undo_substitute_typaram(arg);
}
}
}*/
_ => {}
}
}
@ -1925,7 +1925,11 @@ impl Context {
None
};
// T -> Int, N -> 4
let _sub_subs = Substituter::substitute_typarams(self, quant_sub, sub).ok()?;
let _sub_subs = if quant_sub.has_undoable_linked_var() {
Substituter::overwrite_typarams(self, quant_sub, sub).ok()?
} else {
Substituter::substitute_typarams(self, quant_sub, sub).ok()?
};
// [T; M+N] -> [Int; 4+2] -> [Int; 6]
let res = self.eval_t_params(projected_t, level, t_loc).ok();
if let Some(t) = res {