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

Don't try to fix recursion vars if there are other errors

Browse source
This commit is contained in:
ayazhafiz 2022-04-09 22:42:51 -04:00 • committed by Ayaz Hafiz
parent 1e1ffb2f62
commit 939f413569
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 10 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

16
compiler/unify/src/unify.rs
View file

@ -579,9 +579,11 @@ fn unify_structure(
// unify the structure with this unrecursive tag union
let mut problems = unify_pool(subs, pool, ctx.first, *structure, ctx.mode);
problems.extend(fix_tag_union_recursion_variable(
subs, ctx, ctx.first, other,
));
if problems.is_empty() {
problems.extend(fix_tag_union_recursion_variable(
subs, ctx, ctx.first, other,
));
}
problems
}
@ -594,9 +596,11 @@ fn unify_structure(
// unify the structure with this unrecursive tag union
let mut problems = unify_pool(subs, pool, ctx.first, *structure, ctx.mode);
problems.extend(fix_tag_union_recursion_variable(
subs, ctx, ctx.first, other,
));
if problems.is_empty() {
problems.extend(fix_tag_union_recursion_variable(
subs, ctx, ctx.first, other,
));
}
problems
}