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

flip order of record when layout demands it

Browse Source
This commit is contained in:
Folkert 2022-07-24 11:49:29 +02:00
parent daec85a75e
commit f4726db63d
No known key found for this signature in database
GPG Key ID: 1F17F6FFD112B97C
1 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
crates/compiler/alias_analysis/src/lib.rs
View File

@ -1006,7 +1006,27 @@ fn lowlevel_spec(
let old_value = builder.add_bag_get(block, bag)?;
let new_list = with_new_heap_cell(builder, block, bag)?;
builder.add_make_tuple(block, &[new_list, old_value])
// depending on the types, the list or value will come first in the struct
let fields = match layout {
Layout::Struct { field_layouts, .. } => field_layouts,
_ => unreachable!(),
};
match fields {
[Layout::Builtin(Builtin::List(_)), Layout::Builtin(Builtin::List(_))] => {
// field name is the tie breaker, list is first in
// { list : List a, value : a }
builder.add_make_tuple(block, &[new_list, old_value])
}
[Layout::Builtin(Builtin::List(_)), _] => {
builder.add_make_tuple(block, &[new_list, old_value])
}
[_, Layout::Builtin(Builtin::List(_))] => {
builder.add_make_tuple(block, &[old_value, new_list])
}
_ => unreachable!(),
}
}
ListSwap => {
let list = env.symbols[&arguments[0]];