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: default parameter bug

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-04-24 13:51:54 +09:00
parent 1da212565c
commit 4396695ad6
10 changed files with 203 additions and 63 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -214,6 +214,9 @@ impl Generalizer {
}
subr.default_params.iter_mut().for_each(|d_param| {
*d_param.typ_mut() = self.generalize_t(mem::take(d_param.typ_mut()), uninit);
if let Some(default) = d_param.default_typ_mut() {
*default = self.generalize_t(mem::take(default), uninit);
}
});
self.variance = Covariant;
let return_t = self.generalize_t(*subr.return_t, uninit);
@ -867,6 +870,12 @@ impl<'c, 'q, 'l, L: Locational> Dereferencer<'c, 'q, 'l, L> {
self.pop_variance();
e
})?;
if let Some(default) = d_param.default_typ_mut() {
*default = self.deref_tyvar(mem::take(default)).map_err(|e| {
self.pop_variance();
e
})?;
}
self.pop_variance();
}
self.push_variance(Covariant);
@ -1139,6 +1148,12 @@ impl<'c, 'q, 'l, L: Locational> Dereferencer<'c, 'q, 'l, L> {
_self.pop_variance();
e
})?;
if let Some(default) = d_param.default_typ_mut() {
*default = _self.deref_tyvar(mem::take(default)).map_err(|e| {
_self.pop_variance();
e
})?;
}
_self.pop_variance();
}
_self.push_variance(Covariant);