language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-29 06:44:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

always also add heap cell to nulled tags

Browse source
This commit is contained in:
Folkert 2021-11-28 15:53:05 +01:00
parent 537cf69344
commit 8bcb985a80
1 changed files with 5 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

21
compiler/mono/src/alias_analysis.rs
View file

@ -1418,8 +1418,7 @@ fn build_variant_types(
result.push(recursive_tag_variant(builder, union_layout, tag)?);
}
let unit = builder.add_tuple_type(&[])?;
result.push(unit);
result.push(recursive_tag_variant(builder, union_layout, &[])?);
for tag in tags[cutoff..].iter() {
result.push(recursive_tag_variant(builder, union_layout, tag)?);
@ -1429,7 +1428,7 @@ fn build_variant_types(
nullable_id,
other_fields: fields,
} => {
let unit = builder.add_tuple_type(&[])?;
let unit = recursive_tag_variant(builder, union_layout, &[])?;
let other_type = recursive_tag_variant(builder, union_layout, fields)?;
if *nullable_id {
@ -1495,19 +1494,9 @@ fn expr_spec<'a>(
return builder.add_make_named(block, MOD_APP, type_name, value_id);
}
UnionLayout::Recursive(_) => with_new_heap_cell(builder, block, data_id)?,
UnionLayout::NullableWrapped { nullable_id, .. } => {
if *tag_id == *nullable_id as _ {
data_id
} else {
with_new_heap_cell(builder, block, data_id)?
}
}
UnionLayout::NullableUnwrapped { nullable_id, .. } => {
if *tag_id == *nullable_id as _ {
data_id
} else {
with_new_heap_cell(builder, block, data_id)?
}
UnionLayout::NullableWrapped { .. } => with_new_heap_cell(builder, block, data_id)?,
UnionLayout::NullableUnwrapped { .. } => {
with_new_heap_cell(builder, block, data_id)?
}
};