remove LikeARoseTree

This commit is contained in:
Folkert 2021-06-21 21:07:49 +02:00
parent 65f4ff9663
commit ab8e0c756d
3 changed files with 1 additions and 13 deletions

View file

@ -1440,12 +1440,6 @@ pub fn build_exp_expr<'a, 'ctx, 'env>(
structure, structure,
wrapped: Wrapped::RecordOrSingleTagUnion, wrapped: Wrapped::RecordOrSingleTagUnion,
.. ..
}
| AccessAtIndex {
index,
structure,
wrapped: Wrapped::LikeARoseTree,
..
} => { } => {
// extract field from a record // extract field from a record
match load_symbol_and_layout(scope, structure) { match load_symbol_and_layout(scope, structure) {

View file

@ -896,10 +896,6 @@ fn expr_spec(
Wrapped::RecordOrSingleTagUnion => { Wrapped::RecordOrSingleTagUnion => {
builder.add_get_tuple_field(block, value_id, *index as u32) builder.add_get_tuple_field(block, value_id, *index as u32)
} }
Wrapped::LikeARoseTree => {
let result_type = layout_spec(builder, layout)?;
builder.add_unknown_with(block, &[value_id], result_type)
}
} }
} }
Array { elem_layout, elems } => { Array { elem_layout, elems } => {

View file

@ -1019,8 +1019,6 @@ pub enum Wrapped {
EmptyRecord, EmptyRecord,
SingleElementRecord, SingleElementRecord,
RecordOrSingleTagUnion, RecordOrSingleTagUnion,
/// Like a rose tree; recursive, but only one tag
LikeARoseTree,
} }
impl Wrapped { impl Wrapped {
@ -1058,7 +1056,7 @@ impl Wrapped {
unreachable!() unreachable!()
} }
}, },
NonNullableUnwrapped(_) => Some(Wrapped::LikeARoseTree), NonNullableUnwrapped(_) => unreachable!(),
NullableWrapped { .. } | NullableUnwrapped { .. } => { NullableWrapped { .. } | NullableUnwrapped { .. } => {
unreachable!(); unreachable!();