language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 00:24:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

remove a wrapped

Browse source
This commit is contained in:
Folkert 2021-06-21 20:35:00 +02:00
parent 1c8a21e42c
commit 95c952a1ae
2 changed files with 11 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -5642,9 +5642,6 @@ fn store_pattern_help<'a>(
tag_id,
..
} => {
let union_layout = Layout::Union(*layout);
let wrapped = Wrapped::from_layout(&union_layout);
return store_tag_pattern(
env,
procs,
@ -5652,7 +5649,6 @@ fn store_pattern_help<'a>(
outer_symbol,
*layout,
&arguments,
wrapped,
*tag_id,
stmt,
);
@ -5697,13 +5693,12 @@ fn store_tag_pattern<'a>(
structure: Symbol,
union_layout: UnionLayout<'a>,
arguments: &[(Pattern<'a>, Layout<'a>)],
wrapped: Wrapped,
tag_id: u8,
mut stmt: Stmt<'a>,
) -> StorePattern<'a> {
use Pattern::*;
let write_tag = wrapped == Wrapped::MultiTagUnion;
let write_tag = union_layout.stores_tag();
let mut arg_layouts = Vec::with_capacity_in(arguments.len(), env.arena);
let mut is_productive = false;

10
compiler/mono/src/layout.rs
View file

@ -171,6 +171,16 @@ impl<'a> UnionLayout<'a> {
}
}
}
pub fn stores_tag(&self) -> bool {
match self {
UnionLayout::NonRecursive(_) => true,
UnionLayout::Recursive(_) => true,
UnionLayout::NonNullableUnwrapped(_) => false,
UnionLayout::NullableWrapped { .. } => true,
UnionLayout::NullableUnwrapped { .. } => false,
}
}
}
#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]