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

Fix compile error

Browse source
This commit is contained in:
Ayaz Hafiz 2022-04-21 10:26:16 -04:00
parent 939f413569
commit bb06bcd7f1
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 9 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -577,15 +577,15 @@ fn unify_structure(
RecursionVar { structure, .. } => match flat_type {
FlatType::TagUnion(_, _) => {
// unify the structure with this unrecursive tag union
let mut problems = unify_pool(subs, pool, ctx.first, *structure, ctx.mode);
let mut outcome = unify_pool(subs, pool, ctx.first, *structure, ctx.mode);
if problems.is_empty() {
problems.extend(fix_tag_union_recursion_variable(
if outcome.mismatches.is_empty() {
outcome.union(fix_tag_union_recursion_variable(
subs, ctx, ctx.first, other,
));
}
problems
outcome
}
FlatType::RecursiveTagUnion(rec, _, _) => {
debug_assert!(is_recursion_var(subs, *rec));
@ -594,15 +594,15 @@ fn unify_structure(
}
FlatType::FunctionOrTagUnion(_, _, _) => {
// unify the structure with this unrecursive tag union
let mut problems = unify_pool(subs, pool, ctx.first, *structure, ctx.mode);
let mut outcome = unify_pool(subs, pool, ctx.first, *structure, ctx.mode);
if problems.is_empty() {
problems.extend(fix_tag_union_recursion_variable(
if outcome.mismatches.is_empty() {
outcome.union(fix_tag_union_recursion_variable(
subs, ctx, ctx.first, other,
));
}
problems
outcome
}
// Only tag unions can be recursive; everything else is an error.
_ => mismatch!(
@ -707,7 +707,7 @@ fn fix_tag_union_recursion_variable(
if !has_recursing_recursive_variable {
merge(subs, ctx, *recursion_var)
} else {
vec![]
Outcome::default()
}
}