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: Structural subtyping bug

Browse source 
fix: `contains_tvar`
This commit is contained in:
Shunsuke Shibayama 2023-02-24 08:47:55 +09:00
parent 047f86bbee
commit 7c748f223a
7 changed files with 82 additions and 49 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -707,6 +707,16 @@ impl Context {
)?);
Ok(Type::Subr(subr))
}
Type::Callable {
mut param_ts,
return_t,
} => {
for param_t in param_ts.iter_mut() {
*param_t = self.deref_tyvar(mem::take(param_t), variance, qnames, loc)?;
}
let return_t = self.deref_tyvar(*return_t, variance, qnames, loc)?;
Ok(callable(param_ts, return_t))
}
Type::Quantified(subr) => self.eliminate_needless_quant(*subr, variance, loc),
Type::Ref(t) => {
let t = self.deref_tyvar(*t, variance, qnames, loc)?;
@ -721,7 +731,6 @@ impl Context {
};
Ok(ref_mut(before, after))
}
// Type::Callable { .. } => todo!(),
Type::Record(mut rec) => {
for (_, field) in rec.iter_mut() {
*field = self.deref_tyvar(mem::take(field), variance, qnames, loc)?;