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

fix: occur check bug

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-08-18 11:57:54 +09:00
parent 359329e593
commit 2e8810f10d
4 changed files with 18 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -113,7 +113,7 @@ impl<'c, 'l, L: Locational> Unifier<'c, 'l, L> {
self.occur(&lhs.return_t, &rhs.return_t)?;
Ok(())
}
(Poly { params, .. }, FreeVar(fv)) if fv.is_unbound() => {
/*(Poly { params, .. }, FreeVar(fv)) if fv.is_unbound() => {
for param in params.iter().filter_map(|tp| {
if let TyParam::Type(t) = tp {
Some(t)
@ -124,7 +124,7 @@ impl<'c, 'l, L: Locational> Unifier<'c, 'l, L> {
self.occur_inner(param, maybe_sup)?;
}
Ok(())
}
}*/
(FreeVar(fv), Poly { params, .. }) if fv.is_unbound() => {
for param in params.iter().filter_map(|tp| {
if let TyParam::Type(t) = tp {