language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-02 08:11:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

fix rank issue for uniqueness

Browse source
This commit is contained in:
Folkert 2020-06-28 18:48:07 +02:00
parent e4384753fb
commit bd086e5c9b
1 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1076,9 +1076,11 @@ fn adjust_rank_content(
rank rank
} }
Boolean(b) => { Boolean(Bool::Shared) => Rank::toplevel(),
let mut rank = Rank::toplevel(); Boolean(Bool::Container(cvar, mvars)) => {
for var in b.variables() { let mut rank = adjust_rank(subs, young_mark, visit_mark, group_rank, cvar);
for var in mvars {
rank = rank.max(adjust_rank(subs, young_mark, visit_mark, group_rank, var)); rank = rank.max(adjust_rank(subs, young_mark, visit_mark, group_rank, var));
} }