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

Choose merged closure var based on whether it's recursive or not

Browse source
This commit is contained in:
Ayaz Hafiz 2022-08-09 16:08:24 -07:00
parent 3f1e11f920
commit 86c6d339c3
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/compiler/unify/src/unify.rs
View file

@ -2518,10 +2518,12 @@ fn unify_flat_type<M: MetaCollector>(
outcome.union(arg_outcome); outcome.union(arg_outcome);
if outcome.mismatches.is_empty() { if outcome.mismatches.is_empty() {
let merged_closure_var = choose_merged_var(env.subs, *l_closure, *r_closure);
outcome.union(merge( outcome.union(merge(
env, env,
ctx, ctx,
Structure(Func(*r_args, *r_closure, *r_ret)), Structure(Func(*r_args, merged_closure_var, *r_ret)),
)); ));
} }