language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-11-03 06:02:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Resolve recursive pointer lambda set layouts when unpacking captures

Browse source
This commit is contained in:
Ayaz Hafiz 2022-08-09 14:43:36 -07:00
parent 549b00d327
commit a4bb6879bc
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

11
crates/compiler/mono/src/ir.rs
View file

@ -3130,7 +3130,10 @@ fn specialize_external<'a>(
tag_id, tag_id,
.. ..
} => { } => {
debug_assert!(matches!(union_layout, UnionLayout::NonRecursive(_))); debug_assert!(matches!(
union_layout,
UnionLayout::NonRecursive(_) | UnionLayout::Recursive(_)
));
debug_assert_eq!(field_layouts.len(), captured.len()); debug_assert_eq!(field_layouts.len(), captured.len());
// captured variables are in symbol-alphabetic order, but now we want // captured variables are in symbol-alphabetic order, but now we want
@ -3149,7 +3152,9 @@ fn specialize_external<'a>(
size2.cmp(&size1) size2.cmp(&size1)
}); });
for (index, (symbol, layout)) in combined.iter().enumerate() { for (index, (symbol, _)) in combined.iter().enumerate() {
let layout = union_layout.layout_at(tag_id, index);
let expr = Expr::UnionAtIndex { let expr = Expr::UnionAtIndex {
tag_id, tag_id,
structure: Symbol::ARG_CLOSURE, structure: Symbol::ARG_CLOSURE,
@ -3162,7 +3167,7 @@ fn specialize_external<'a>(
specialized_body = Stmt::Let( specialized_body = Stmt::Let(
symbol, symbol,
expr, expr,
**layout, layout,
env.arena.alloc(specialized_body), env.arena.alloc(specialized_body),
); );
} }