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

Update tyvar.rs

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-11-15 13:09:36 +09:00
parent 5b9813ac72
commit 4ea0e356f7
1 changed files with 43 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

46
compiler/erg_compiler/context/tyvar.rs
View file

@ -1436,14 +1436,54 @@ impl Context {
self.sub_unify(rpt.typ(), lpt.typ(), loc, param_name)?; self.sub_unify(rpt.typ(), lpt.typ(), loc, param_name)?;
} else { todo!() } } else { todo!() }
} }
lsub.non_default_params.iter().zip(rsub.non_default_params.iter()).try_for_each( lsub.non_default_params.iter().zip(rsub.non_default_params.iter()).try_for_each(|(l, r)| {
// contravariant // contravariant
|(l, r)| self.sub_unify(r.typ(), l.typ(), loc, param_name), self.sub_unify(r.typ(), l.typ(), loc, param_name)
)?; })?;
// covariant // covariant
self.sub_unify(&lsub.return_t, &rsub.return_t, loc, param_name)?; self.sub_unify(&lsub.return_t, &rsub.return_t, loc, param_name)?;
Ok(()) Ok(())
} }
(Type::Quantified(lsub), Type::Subr(rsub)) => {
let Type::Subr(lsub) = lsub.as_ref() else { unreachable!() };
for lpt in lsub.default_params.iter() {
if let Some(rpt) = rsub.default_params.iter().find(|rpt| rpt.name() == lpt.name()) {
if lpt.typ().is_generalized() { continue; }
// contravariant
self.sub_unify(rpt.typ(), lpt.typ(), loc, param_name)?;
} else { todo!() }
}
lsub.non_default_params.iter().zip(rsub.non_default_params.iter()).try_for_each(|(l, r)| {
if l.typ().is_generalized() { Ok(()) }
// contravariant
else { self.sub_unify(r.typ(), l.typ(), loc, param_name) }
})?;
// covariant
if !lsub.return_t.is_generalized() {
self.sub_unify(&lsub.return_t, &rsub.return_t, loc, param_name)?;
}
Ok(())
}
(Type::Subr(lsub), Type::Quantified(rsub)) => {
let Type::Subr(rsub) = rsub.as_ref() else { unreachable!() };
for lpt in lsub.default_params.iter() {
if let Some(rpt) = rsub.default_params.iter().find(|rpt| rpt.name() == lpt.name()) {
// contravariant
if rpt.typ().is_generalized() { continue; }
self.sub_unify(rpt.typ(), lpt.typ(), loc, param_name)?;
} else { todo!() }
}
lsub.non_default_params.iter().zip(rsub.non_default_params.iter()).try_for_each(|(l, r)| {
// contravariant
if r.typ().is_generalized() { Ok(()) }
else { self.sub_unify(r.typ(), l.typ(), loc, param_name) }
})?;
// covariant
if !rsub.return_t.is_generalized() {
self.sub_unify(&lsub.return_t, &rsub.return_t, loc, param_name)?;
}
Ok(())
}
( (
Type::Poly { Type::Poly {
name: ln, name: ln,