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

fix: generalization bug

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-08-13 01:42:23 +09:00
parent 2e9fb48f2e
commit 974882490c
2 changed files with 75 additions and 136 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/erg_compiler/context/generalize.rs
View file

@ -153,7 +153,9 @@ impl Generalizer {
if sub == sup {
let t = self.generalize_t(sub, uninit);
let res = FreeVar(fv);
res.set_level(1);
res.destructive_link(&t);
res.generalize();
res
} else if sup != Obj
&& !self.qnames.contains(&fv.unbound_name().unwrap())