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

Merge pull request #2755 from rtfeldman/dense-let-constraints

Browse source 
Constraint gen tweaks
This commit is contained in:
hafiz 2022-03-19 20:39:55 -04:00 • committed by GitHub
commit 418e71e95c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 299 additions and 255 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1260,7 +1260,6 @@ fn type_to_var(
} else {
let mut arena = take_scratchpad();
// let var = type_to_variable(subs, rank, pools, &arena, typ);
let var = type_to_variable(subs, rank, pools, &arena, aliases, typ);
arena.reset();
@ -2128,7 +2127,8 @@ fn adjust_rank(
max_rank
} else if desc_mark == visit_mark {
// nothing changes
// we have already visited this variable
// (probably two variables had the same root)
desc_rank
} else {
let min_rank = group_rank.min(desc_rank);