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

feat: parallelize the analysis process

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-06-18 15:58:32 +09:00
parent 1abf812027
commit 75f4c206f6
16 changed files with 427 additions and 136 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -266,7 +266,7 @@ impl Generalizer {
}
}
fn generalize_constraint<T: CanbeFree>(&mut self, fv: &Free<T>) -> Constraint {
fn generalize_constraint<T: CanbeFree + Send + Clone>(&mut self, fv: &Free<T>) -> Constraint {
if let Some((sub, sup)) = fv.get_subsup() {
let sub = self.generalize_t(sub, true);
let sup = self.generalize_t(sup, true);
@ -509,9 +509,10 @@ impl<'c, 'q, 'l, L: Locational> Dereferencer<'c, 'q, 'l, L> {
let t = fv.unwrap_linked();
self.deref_tyvar(t)
}
Type::FreeVar(fv)
Type::FreeVar(mut fv)
if fv.is_generalized() && self.qnames.contains(&fv.unbound_name().unwrap()) =>
{
fv.update_init();
Ok(Type::FreeVar(fv))
}
// ?T(:> Nat, <: Int)[n] ==> Nat (self.level <= n)