language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 22:34:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

improve pool_to_rank_table

Browse source
This commit is contained in:
Folkert 2022-03-05 23:07:57 +01:00
parent a412cddec2
commit 97d9027271
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
2 changed files with 14 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

19
compiler/solve/src/solve.rs
View file

@ -1512,13 +1512,20 @@ fn pool_to_rank_table(
) -> Pools {
let mut pools = Pools::new(young_rank.into_usize() + 1);
// Sort the variables into buckets by rank.
for &var in young_vars.iter() {
let rank = subs.get_rank_set_mark(var, young_mark);
// the vast majority of young variables have young_rank
let mut young_vars = young_vars.to_vec();
young_vars.retain(|var| {
let rank = subs.get_rank_set_mark(*var, young_mark);
debug_assert!(rank.into_usize() < young_rank.into_usize() + 1);
pools.get_mut(rank).push(var);
}
if rank != young_rank {
pools.get_mut(rank).push(*var);
false
} else {
true
}
});
std::mem::swap(pools.get_mut(young_rank), &mut young_vars);
pools
}