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

Include references in branch output

Browse source
This commit is contained in:
Chad Stearns 2020-01-20 14:31:22 -05:00
parent c9d0047d31
commit 97c9677d7d
1 changed files with 20 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

34
src/can/expr.rs
View file

@ -795,24 +795,30 @@ fn canonicalize_when_branch<'a>(
&mut shadowable_idents, &mut shadowable_idents,
); );
let loc_can_guard = match &loc_pattern.guard { match &loc_pattern.guard {
Some(guard) => { Some(guard) => {
let (can_guard, _) = let (can_guard, guard_out) =
canonicalize_expr(env, var_store, &mut scope, region, &guard.value); canonicalize_expr(env, var_store, &mut scope, region, &guard.value);
Some(can_guard)
(
WhenPattern {
pattern: loc_can_pattern,
guard: Some(can_guard),
},
can_expr,
branch_output.references.union(guard_out.references),
)
} }
None => None, None => (
}; WhenPattern {
pattern: loc_can_pattern,
( guard: None,
WhenPattern { },
pattern: loc_can_pattern, can_expr,
guard: loc_can_guard, branch_output.references,
}, ),
can_expr, }
branch_output.references,
)
} }
pub fn union_pairs<'a, K, V, I>(mut map: ImMap<K, V>, pairs: I) -> ImMap<K, V> pub fn union_pairs<'a, K, V, I>(mut map: ImMap<K, V>, pairs: I) -> ImMap<K, V>