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

Simply choosing of the matching variable

Browse source
This commit is contained in:
Ayaz Hafiz 2022-06-01 11:29:14 -05:00
parent 2c62f9b5ba
commit c827349ae2
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 1 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -882,14 +882,7 @@ fn unify_lambda_set_help(
let outcome = unify_pool(subs, pool, var1, var2, ctx.mode);
// TODO: i think we can get rid of this
// clearly, this is very suspicious: these variables have just been unified. And yet,
// not doing this leads to stack overflows
if rec2.is_some() {
if outcome.mismatches.is_empty() {
matching_vars.push(var2);
}
} else if outcome.mismatches.is_empty() {
if outcome.mismatches.is_empty() {
matching_vars.push(var1);
}
}