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

fix: sub-unification bug

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-09-22 01:51:15 +09:00
parent 9a6b4899e6
commit 6890d82441
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
crates/erg_compiler/context/unify.rs
View file

@ -1440,7 +1440,8 @@ impl<'c, 'l, 'u, L: Locational> Unifier<'c, 'l, 'u, L> {
let constr = Constraint::new_supertype_of(maybe_sub.clone());
maybe_sup.update_constraint(constr, self.undoable, true);
} else {
todo!("{maybe_sub} <: {maybe_sup}")
// ?T: GenericDict
// todo!("{maybe_sub} <: {maybe_sup}")
}
}
}
@ -1518,7 +1519,8 @@ impl<'c, 'l, 'u, L: Locational> Unifier<'c, 'l, 'u, L> {
let constr = Constraint::new_subtype_of(maybe_sup.clone());
maybe_sub.update_constraint(constr, self.undoable, true);
} else {
todo!("{maybe_sub} <: {maybe_sup}")
// ?T: GenericDict
// todo!("{maybe_sub} <: {maybe_sup}")
}
}
}