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

Lift another branch

Browse source
This commit is contained in:
Ayaz Hafiz 2022-05-09 16:39:06 -04:00
parent a59739bf20
commit 7c1a6037d4
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 10 additions and 59 deletions
Download patch file Download diff file Expand all files Collapse all files

69
compiler/mono/src/ir.rs
View file

@ -3813,65 +3813,16 @@ pub fn with_hole<'a>(
}
}
LetNonRec(def, cont) => {
if let roc_can::pattern::Pattern::Identifier(symbol) = def.loc_pattern.value {
if matches!(def.loc_expr.value, Closure(_)) {
return from_can_let(
env,
procs,
layout_cache,
def,
cont,
variable,
Some((assigned, hole)),
);
}
let build_rest =
|env: &mut Env<'a, '_>,
procs: &mut Procs<'a>,
layout_cache: &mut LayoutCache<'a>| {
with_hole(
env,
cont.value,
variable,
procs,
layout_cache,
assigned,
hole,
)
};
// a variable is aliased
if let roc_can::expr::Expr::Var(original) = def.loc_expr.value {
// a variable is aliased, e.g.
//
// foo = bar
//
// or
//
// foo = RBTRee.empty
handle_variable_aliasing(
env,
procs,
layout_cache,
def.expr_var,
symbol,
original,
build_rest,
)
} else {
let rest = build_rest(env, procs, layout_cache);
with_hole(
env,
def.loc_expr.value,
def.expr_var,
procs,
layout_cache,
symbol,
env.arena.alloc(rest),
)
}
if let roc_can::pattern::Pattern::Identifier(_) = def.loc_pattern.value {
from_can_let(
env,
procs,
layout_cache,
def,
cont,
variable,
Some((assigned, hole)),
)
} else {
// this may be a destructure pattern
let (mono_pattern, assignments) =