roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-20 15:27:45 +03:00
Code Issues Packages Projects Releases Wiki Activity

Lift it all the way up

Browse Source
This commit is contained in:
Ayaz Hafiz 2022-05-09 16:45:39 -04:00
parent 7c1a6037d4
commit 1521711abd
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58
1 changed files with 9 additions and 56 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

65
compiler/mono/src/ir.rs
View File

@ -3812,62 +3812,15 @@ pub fn with_hole<'a>(
}
}
}
LetNonRec(def, cont) => {
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) =
match from_can_pattern(env, procs, layout_cache, &def.loc_pattern.value) {
Ok(v) => v,
Err(_runtime_error) => {
// todo
panic!();
}
};
let mut hole = hole;
for (symbol, variable, expr) in assignments {
let stmt = with_hole(env, expr, variable, procs, layout_cache, symbol, hole);
hole = env.arena.alloc(stmt);
}
// convert the continuation
let mut stmt = with_hole(
env,
cont.value,
variable,
procs,
layout_cache,
assigned,
hole,
);
let outer_symbol = env.unique_symbol();
stmt = store_pattern(env, procs, layout_cache, &mono_pattern, outer_symbol, stmt);
// convert the def body, store in outer_symbol
with_hole(
env,
def.loc_expr.value,
def.expr_var,
procs,
layout_cache,
outer_symbol,
env.arena.alloc(stmt),
)
}
}
LetNonRec(def, cont) => from_can_let(
env,
procs,
layout_cache,
def,
cont,
variable,
Some((assigned, hole)),
),
LetRec(defs, cont) => {
// because Roc is strict, only functions can be recursive!
for def in defs.into_iter() {