From 84855dae5e77d980d9aaa73f4548a5d15f31f75e Mon Sep 17 00:00:00 2001 From: Folkert Date: Mon, 21 Jun 2021 23:16:09 +0200 Subject: [PATCH] rename in mono tests --- compiler/mono/src/ir.rs | 4 ++-- compiler/test_mono/generated/closure_in_list.txt | 2 +- compiler/test_mono/generated/has_none.txt | 4 ++-- compiler/test_mono/generated/ir_when_idiv.txt | 2 +- compiler/test_mono/generated/ir_when_just.txt | 2 +- compiler/test_mono/generated/ir_when_maybe.txt | 2 +- compiler/test_mono/generated/ir_when_record.txt | 2 +- compiler/test_mono/generated/ir_when_these.txt | 6 +++--- .../test_mono/generated/let_with_record_pattern.txt | 2 +- .../generated/let_with_record_pattern_list.txt | 2 +- compiler/test_mono/generated/let_x_in_x_indirect.txt | 2 +- .../test_mono/generated/linked_list_length_twice.txt | 2 +- compiler/test_mono/generated/nested_closure.txt | 2 +- .../test_mono/generated/nested_pattern_match.txt | 6 +++--- compiler/test_mono/generated/optional_when.txt | 6 +++--- compiler/test_mono/generated/peano2.txt | 2 +- compiler/test_mono/generated/quicksort_help.txt | 4 ++-- compiler/test_mono/generated/quicksort_swap.txt | 12 ++++++------ ...record_optional_field_function_no_use_default.txt | 4 ++-- .../record_optional_field_let_no_use_default.txt | 4 ++-- compiler/test_mono/generated/rigids.txt | 12 ++++++------ compiler/test_mono/generated/specialize_closures.txt | 6 +++--- compiler/test_mono/generated/specialize_lowlevel.txt | 4 ++-- compiler/test_mono/generated/when_nested_maybe.txt | 6 +++--- compiler/test_mono/generated/when_on_result.txt | 2 +- compiler/test_mono/generated/when_on_two_values.txt | 8 ++++---- 26 files changed, 55 insertions(+), 55 deletions(-) diff --git a/compiler/mono/src/ir.rs b/compiler/mono/src/ir.rs index 00618a2710..16b6047306 100644 --- a/compiler/mono/src/ir.rs +++ b/compiler/mono/src/ir.rs @@ -1300,7 +1300,7 @@ impl<'a> Expr<'a> { StructAtIndex { index, structure, .. } => alloc - .text(format!("Index {} ", index)) + .text(format!("StructAtIndex {} ", index)) .append(symbol_to_doc(alloc, *structure)), RuntimeErrorFunction(s) => alloc.text(format!("ErrorFunction {}", s)), @@ -1315,7 +1315,7 @@ impl<'a> Expr<'a> { index, .. } => alloc - .text(format!("CoerceToTagId (Id {}) (Index {}) ", tag_id, index)) + .text(format!("UnionAtIndex (Id {}) (Index {}) ", tag_id, index)) .append(symbol_to_doc(alloc, *structure)), } } diff --git a/compiler/test_mono/generated/closure_in_list.txt b/compiler/test_mono/generated/closure_in_list.txt index 5950b9e086..41c1e43828 100644 --- a/compiler/test_mono/generated/closure_in_list.txt +++ b/compiler/test_mono/generated/closure_in_list.txt @@ -9,7 +9,7 @@ procedure Test.1 (Test.5): ret Test.10; procedure Test.3 (Test.9, #Attr.12): - let Test.2 = Index 0 #Attr.12; + let Test.2 = StructAtIndex 0 #Attr.12; ret Test.2; procedure Test.0 (): diff --git a/compiler/test_mono/generated/has_none.txt b/compiler/test_mono/generated/has_none.txt index a119646774..cc473d1161 100644 --- a/compiler/test_mono/generated/has_none.txt +++ b/compiler/test_mono/generated/has_none.txt @@ -7,7 +7,7 @@ procedure Test.3 (Test.4): let Test.14 = false; ret Test.14; else - let Test.19 = CoerceToTagId (Id 0) (Index 1) Test.4; + let Test.19 = UnionAtIndex (Id 0) (Index 1) Test.4; let Test.20 = 1i64; let Test.21 = GetTagId Test.19; let Test.22 = lowlevel Eq Test.20 Test.21; @@ -15,7 +15,7 @@ procedure Test.3 (Test.4): let Test.15 = true; ret Test.15; else - let Test.7 = CoerceToTagId (Id 0) (Index 2) Test.4; + let Test.7 = UnionAtIndex (Id 0) (Index 2) Test.4; jump Test.13 Test.7; in jump Test.13 Test.4; diff --git a/compiler/test_mono/generated/ir_when_idiv.txt b/compiler/test_mono/generated/ir_when_idiv.txt index e55f13c051..9da6a42067 100644 --- a/compiler/test_mono/generated/ir_when_idiv.txt +++ b/compiler/test_mono/generated/ir_when_idiv.txt @@ -20,7 +20,7 @@ procedure Test.0 (): let Test.6 = GetTagId Test.2; let Test.7 = lowlevel Eq Test.5 Test.6; if Test.7 then - let Test.1 = CoerceToTagId (Id 1) (Index 1) Test.2; + let Test.1 = UnionAtIndex (Id 1) (Index 1) Test.2; ret Test.1; else let Test.4 = -1i64; diff --git a/compiler/test_mono/generated/ir_when_just.txt b/compiler/test_mono/generated/ir_when_just.txt index cd79c93654..97844c15ca 100644 --- a/compiler/test_mono/generated/ir_when_just.txt +++ b/compiler/test_mono/generated/ir_when_just.txt @@ -10,7 +10,7 @@ procedure Test.0 (): let Test.10 = GetTagId Test.1; let Test.11 = lowlevel Eq Test.9 Test.10; if Test.11 then - let Test.3 = CoerceToTagId (Id 0) (Index 1) Test.1; + let Test.3 = UnionAtIndex (Id 0) (Index 1) Test.1; let Test.5 = 1i64; let Test.4 = CallByName Num.24 Test.3 Test.5; ret Test.4; diff --git a/compiler/test_mono/generated/ir_when_maybe.txt b/compiler/test_mono/generated/ir_when_maybe.txt index d6cfd099b5..f650a08e70 100644 --- a/compiler/test_mono/generated/ir_when_maybe.txt +++ b/compiler/test_mono/generated/ir_when_maybe.txt @@ -6,7 +6,7 @@ procedure Test.0 (): let Test.7 = GetTagId Test.3; let Test.8 = lowlevel Eq Test.6 Test.7; if Test.8 then - let Test.2 = CoerceToTagId (Id 0) (Index 1) Test.3; + let Test.2 = UnionAtIndex (Id 0) (Index 1) Test.3; ret Test.2; else let Test.5 = 0i64; diff --git a/compiler/test_mono/generated/ir_when_record.txt b/compiler/test_mono/generated/ir_when_record.txt index ff3ca0f577..ed777a23d0 100644 --- a/compiler/test_mono/generated/ir_when_record.txt +++ b/compiler/test_mono/generated/ir_when_record.txt @@ -2,5 +2,5 @@ procedure Test.0 (): let Test.4 = 1i64; let Test.5 = 3.14f64; let Test.2 = Struct {Test.4, Test.5}; - let Test.1 = Index 0 Test.2; + let Test.1 = StructAtIndex 0 Test.2; ret Test.1; diff --git a/compiler/test_mono/generated/ir_when_these.txt b/compiler/test_mono/generated/ir_when_these.txt index 56d42da8ea..019ecefb3b 100644 --- a/compiler/test_mono/generated/ir_when_these.txt +++ b/compiler/test_mono/generated/ir_when_these.txt @@ -6,14 +6,14 @@ procedure Test.0 (): let Test.9 = GetTagId Test.5; switch Test.9: case 2: - let Test.2 = CoerceToTagId (Id 2) (Index 1) Test.5; + let Test.2 = UnionAtIndex (Id 2) (Index 1) Test.5; ret Test.2; case 0: - let Test.3 = CoerceToTagId (Id 0) (Index 1) Test.5; + let Test.3 = UnionAtIndex (Id 0) (Index 1) Test.5; ret Test.3; default: - let Test.4 = CoerceToTagId (Id 1) (Index 1) Test.5; + let Test.4 = UnionAtIndex (Id 1) (Index 1) Test.5; ret Test.4; diff --git a/compiler/test_mono/generated/let_with_record_pattern.txt b/compiler/test_mono/generated/let_with_record_pattern.txt index 3f9ec7dbbd..51df825ebf 100644 --- a/compiler/test_mono/generated/let_with_record_pattern.txt +++ b/compiler/test_mono/generated/let_with_record_pattern.txt @@ -2,5 +2,5 @@ procedure Test.0 (): let Test.4 = 2i64; let Test.5 = 3.14f64; let Test.3 = Struct {Test.4, Test.5}; - let Test.1 = Index 0 Test.3; + let Test.1 = StructAtIndex 0 Test.3; ret Test.1; diff --git a/compiler/test_mono/generated/let_with_record_pattern_list.txt b/compiler/test_mono/generated/let_with_record_pattern_list.txt index 1b7ae1ec45..e2ed3831d0 100644 --- a/compiler/test_mono/generated/let_with_record_pattern_list.txt +++ b/compiler/test_mono/generated/let_with_record_pattern_list.txt @@ -5,7 +5,7 @@ procedure Test.0 (): let Test.4 = Array [Test.6, Test.7, Test.8]; let Test.5 = 3.14f64; let Test.3 = Struct {Test.4, Test.5}; - let Test.1 = Index 0 Test.3; + let Test.1 = StructAtIndex 0 Test.3; inc Test.1; dec Test.3; ret Test.1; diff --git a/compiler/test_mono/generated/let_x_in_x_indirect.txt b/compiler/test_mono/generated/let_x_in_x_indirect.txt index 0d3a1b4693..4fe43f886b 100644 --- a/compiler/test_mono/generated/let_x_in_x_indirect.txt +++ b/compiler/test_mono/generated/let_x_in_x_indirect.txt @@ -4,5 +4,5 @@ procedure Test.0 (): let Test.5 = 1i64; let Test.2 = 1337i64; let Test.7 = Struct {Test.2, Test.4}; - let Test.6 = Index 0 Test.7; + let Test.6 = StructAtIndex 0 Test.7; ret Test.6; diff --git a/compiler/test_mono/generated/linked_list_length_twice.txt b/compiler/test_mono/generated/linked_list_length_twice.txt index 222fec4981..7f40cf68f5 100644 --- a/compiler/test_mono/generated/linked_list_length_twice.txt +++ b/compiler/test_mono/generated/linked_list_length_twice.txt @@ -10,7 +10,7 @@ procedure Test.3 (Test.5): let Test.13 = 0i64; ret Test.13; else - let Test.6 = CoerceToTagId (Id 0) (Index 2) Test.5; + let Test.6 = UnionAtIndex (Id 0) (Index 2) Test.5; let Test.15 = 1i64; let Test.16 = CallByName Test.3 Test.6; let Test.14 = CallByName Num.24 Test.15 Test.16; diff --git a/compiler/test_mono/generated/nested_closure.txt b/compiler/test_mono/generated/nested_closure.txt index bd29b87a8b..3d5c1411d7 100644 --- a/compiler/test_mono/generated/nested_closure.txt +++ b/compiler/test_mono/generated/nested_closure.txt @@ -4,7 +4,7 @@ procedure Test.1 (Test.5): ret Test.3; procedure Test.3 (Test.9, #Attr.12): - let Test.2 = Index 0 #Attr.12; + let Test.2 = StructAtIndex 0 #Attr.12; ret Test.2; procedure Test.0 (): diff --git a/compiler/test_mono/generated/nested_pattern_match.txt b/compiler/test_mono/generated/nested_pattern_match.txt index 28b7f52121..d5fb06ae22 100644 --- a/compiler/test_mono/generated/nested_pattern_match.txt +++ b/compiler/test_mono/generated/nested_pattern_match.txt @@ -16,13 +16,13 @@ procedure Test.0 (): let Test.16 = GetTagId Test.2; let Test.19 = lowlevel Eq Test.15 Test.16; if Test.19 then - let Test.12 = CoerceToTagId (Id 0) (Index 1) Test.2; + let Test.12 = UnionAtIndex (Id 0) (Index 1) Test.2; let Test.13 = 0i64; let Test.14 = GetTagId Test.12; let Test.18 = lowlevel Eq Test.13 Test.14; if Test.18 then - let Test.10 = CoerceToTagId (Id 0) (Index 1) Test.2; - let Test.5 = CoerceToTagId (Id 0) (Index 1) Test.10; + let Test.10 = UnionAtIndex (Id 0) (Index 1) Test.2; + let Test.5 = UnionAtIndex (Id 0) (Index 1) Test.10; let Test.7 = 1i64; let Test.6 = CallByName Num.24 Test.5 Test.7; ret Test.6; diff --git a/compiler/test_mono/generated/optional_when.txt b/compiler/test_mono/generated/optional_when.txt index 864d5dbb38..9e261687aa 100644 --- a/compiler/test_mono/generated/optional_when.txt +++ b/compiler/test_mono/generated/optional_when.txt @@ -3,14 +3,14 @@ procedure Num.26 (#Attr.2, #Attr.3): ret Test.17; procedure Test.1 (Test.6): - let Test.25 = Index 1 Test.6; + let Test.25 = StructAtIndex 1 Test.6; let Test.26 = false; let Test.27 = lowlevel Eq Test.26 Test.25; if Test.27 then - let Test.8 = Index 0 Test.6; + let Test.8 = StructAtIndex 0 Test.6; ret Test.8; else - let Test.10 = Index 0 Test.6; + let Test.10 = StructAtIndex 0 Test.6; ret Test.10; procedure Test.1 (Test.6): diff --git a/compiler/test_mono/generated/peano2.txt b/compiler/test_mono/generated/peano2.txt index eeb585f929..c8392149a6 100644 --- a/compiler/test_mono/generated/peano2.txt +++ b/compiler/test_mono/generated/peano2.txt @@ -11,7 +11,7 @@ procedure Test.0 (): let Test.16 = GetTagId Test.2; let Test.17 = lowlevel Eq Test.15 Test.16; if Test.17 then - let Test.11 = CoerceToTagId (Id 0) (Index 1) Test.2; + let Test.11 = UnionAtIndex (Id 0) (Index 1) Test.2; inc Test.11; dec Test.2; let Test.12 = 0i64; diff --git a/compiler/test_mono/generated/quicksort_help.txt b/compiler/test_mono/generated/quicksort_help.txt index 2895fd348a..6d641e8807 100644 --- a/compiler/test_mono/generated/quicksort_help.txt +++ b/compiler/test_mono/generated/quicksort_help.txt @@ -18,8 +18,8 @@ procedure Test.1 (Test.2, Test.3, Test.4): let Test.27 = Array []; let Test.26 = 0i64; let Test.25 = Struct {Test.26, Test.27}; - let Test.5 = Index 0 Test.25; - let Test.6 = Index 1 Test.25; + let Test.5 = StructAtIndex 0 Test.25; + let Test.6 = StructAtIndex 1 Test.25; let Test.22 = 1i64; let Test.21 = CallByName Num.25 Test.5 Test.22; let Test.16 = CallByName Test.1 Test.6 Test.3 Test.21; diff --git a/compiler/test_mono/generated/quicksort_swap.txt b/compiler/test_mono/generated/quicksort_swap.txt index 20db77b9dc..0fc64def67 100644 --- a/compiler/test_mono/generated/quicksort_swap.txt +++ b/compiler/test_mono/generated/quicksort_swap.txt @@ -31,20 +31,20 @@ procedure Test.1 (Test.2): let Test.19 = Array []; ret Test.19; in - let Test.23 = Index 1 Test.8; + let Test.23 = StructAtIndex 1 Test.8; let Test.24 = 1i64; let Test.25 = GetTagId Test.23; let Test.28 = lowlevel Eq Test.24 Test.25; if Test.28 then - let Test.20 = Index 0 Test.8; + let Test.20 = StructAtIndex 0 Test.8; let Test.21 = 1i64; let Test.22 = GetTagId Test.20; let Test.27 = lowlevel Eq Test.21 Test.22; if Test.27 then - let Test.18 = Index 0 Test.8; - let Test.4 = CoerceToTagId (Id 1) (Index 1) Test.18; - let Test.17 = Index 1 Test.8; - let Test.5 = CoerceToTagId (Id 1) (Index 1) Test.17; + let Test.18 = StructAtIndex 0 Test.8; + let Test.4 = UnionAtIndex (Id 1) (Index 1) Test.18; + let Test.17 = StructAtIndex 1 Test.8; + let Test.5 = UnionAtIndex (Id 1) (Index 1) Test.17; let Test.16 = 0i64; let Test.10 = CallByName List.4 Test.2 Test.16 Test.5; let Test.11 = 0i64; diff --git a/compiler/test_mono/generated/record_optional_field_function_no_use_default.txt b/compiler/test_mono/generated/record_optional_field_function_no_use_default.txt index 83f02209a0..fabb2e373b 100644 --- a/compiler/test_mono/generated/record_optional_field_function_no_use_default.txt +++ b/compiler/test_mono/generated/record_optional_field_function_no_use_default.txt @@ -3,8 +3,8 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Test.8; procedure Test.1 (Test.4): - let Test.2 = Index 0 Test.4; - let Test.3 = Index 1 Test.4; + let Test.2 = StructAtIndex 0 Test.4; + let Test.3 = StructAtIndex 1 Test.4; let Test.2 = 10i64; let Test.7 = CallByName Num.24 Test.2 Test.3; ret Test.7; diff --git a/compiler/test_mono/generated/record_optional_field_let_no_use_default.txt b/compiler/test_mono/generated/record_optional_field_let_no_use_default.txt index a5ea3d8fed..964700af06 100644 --- a/compiler/test_mono/generated/record_optional_field_let_no_use_default.txt +++ b/compiler/test_mono/generated/record_optional_field_let_no_use_default.txt @@ -3,8 +3,8 @@ procedure Num.24 (#Attr.2, #Attr.3): ret Test.8; procedure Test.1 (Test.2): - let Test.3 = Index 0 Test.2; - let Test.4 = Index 1 Test.2; + let Test.3 = StructAtIndex 0 Test.2; + let Test.4 = StructAtIndex 1 Test.2; let Test.7 = CallByName Num.24 Test.3 Test.4; ret Test.7; diff --git a/compiler/test_mono/generated/rigids.txt b/compiler/test_mono/generated/rigids.txt index 12831045b4..3dde97335b 100644 --- a/compiler/test_mono/generated/rigids.txt +++ b/compiler/test_mono/generated/rigids.txt @@ -29,20 +29,20 @@ procedure Test.1 (Test.2, Test.3, Test.4): let Test.22 = Array []; ret Test.22; in - let Test.26 = Index 1 Test.13; + let Test.26 = StructAtIndex 1 Test.13; let Test.27 = 1i64; let Test.28 = GetTagId Test.26; let Test.31 = lowlevel Eq Test.27 Test.28; if Test.31 then - let Test.23 = Index 0 Test.13; + let Test.23 = StructAtIndex 0 Test.13; let Test.24 = 1i64; let Test.25 = GetTagId Test.23; let Test.30 = lowlevel Eq Test.24 Test.25; if Test.30 then - let Test.21 = Index 0 Test.13; - let Test.6 = CoerceToTagId (Id 1) (Index 1) Test.21; - let Test.20 = Index 1 Test.13; - let Test.7 = CoerceToTagId (Id 1) (Index 1) Test.20; + let Test.21 = StructAtIndex 0 Test.13; + let Test.6 = UnionAtIndex (Id 1) (Index 1) Test.21; + let Test.20 = StructAtIndex 1 Test.13; + let Test.7 = UnionAtIndex (Id 1) (Index 1) Test.20; let Test.15 = CallByName List.4 Test.4 Test.2 Test.7; let Test.14 = CallByName List.4 Test.15 Test.3 Test.6; ret Test.14; diff --git a/compiler/test_mono/generated/specialize_closures.txt b/compiler/test_mono/generated/specialize_closures.txt index 5534042fa3..b73f8dacfb 100644 --- a/compiler/test_mono/generated/specialize_closures.txt +++ b/compiler/test_mono/generated/specialize_closures.txt @@ -22,13 +22,13 @@ procedure Test.1 (Test.2, Test.3): procedure Test.7 (Test.10, #Attr.12): - let Test.4 = CoerceToTagId (Id 0) (Index 1) #Attr.12; + let Test.4 = UnionAtIndex (Id 0) (Index 1) #Attr.12; let Test.29 = CallByName Num.24 Test.10 Test.4; ret Test.29; procedure Test.8 (Test.11, #Attr.12): - let Test.6 = CoerceToTagId (Id 1) (Index 2) #Attr.12; - let Test.5 = CoerceToTagId (Id 1) (Index 1) #Attr.12; + let Test.6 = UnionAtIndex (Id 1) (Index 2) #Attr.12; + let Test.5 = UnionAtIndex (Id 1) (Index 1) #Attr.12; if Test.6 then let Test.24 = CallByName Num.26 Test.11 Test.5; ret Test.24; diff --git a/compiler/test_mono/generated/specialize_lowlevel.txt b/compiler/test_mono/generated/specialize_lowlevel.txt index cd81b26370..cea49dd66a 100644 --- a/compiler/test_mono/generated/specialize_lowlevel.txt +++ b/compiler/test_mono/generated/specialize_lowlevel.txt @@ -7,12 +7,12 @@ procedure Num.26 (#Attr.2, #Attr.3): ret Test.21; procedure Test.6 (Test.8, #Attr.12): - let Test.4 = CoerceToTagId (Id 0) (Index 1) #Attr.12; + let Test.4 = UnionAtIndex (Id 0) (Index 1) #Attr.12; let Test.25 = CallByName Num.24 Test.8 Test.4; ret Test.25; procedure Test.7 (Test.9, #Attr.12): - let Test.5 = CoerceToTagId (Id 1) (Index 1) #Attr.12; + let Test.5 = UnionAtIndex (Id 1) (Index 1) #Attr.12; let Test.20 = CallByName Num.26 Test.9 Test.5; ret Test.20; diff --git a/compiler/test_mono/generated/when_nested_maybe.txt b/compiler/test_mono/generated/when_nested_maybe.txt index 28b7f52121..d5fb06ae22 100644 --- a/compiler/test_mono/generated/when_nested_maybe.txt +++ b/compiler/test_mono/generated/when_nested_maybe.txt @@ -16,13 +16,13 @@ procedure Test.0 (): let Test.16 = GetTagId Test.2; let Test.19 = lowlevel Eq Test.15 Test.16; if Test.19 then - let Test.12 = CoerceToTagId (Id 0) (Index 1) Test.2; + let Test.12 = UnionAtIndex (Id 0) (Index 1) Test.2; let Test.13 = 0i64; let Test.14 = GetTagId Test.12; let Test.18 = lowlevel Eq Test.13 Test.14; if Test.18 then - let Test.10 = CoerceToTagId (Id 0) (Index 1) Test.2; - let Test.5 = CoerceToTagId (Id 0) (Index 1) Test.10; + let Test.10 = UnionAtIndex (Id 0) (Index 1) Test.2; + let Test.5 = UnionAtIndex (Id 0) (Index 1) Test.10; let Test.7 = 1i64; let Test.6 = CallByName Num.24 Test.5 Test.7; ret Test.6; diff --git a/compiler/test_mono/generated/when_on_result.txt b/compiler/test_mono/generated/when_on_result.txt index 635aed06cf..dd05a989d9 100644 --- a/compiler/test_mono/generated/when_on_result.txt +++ b/compiler/test_mono/generated/when_on_result.txt @@ -9,7 +9,7 @@ procedure Test.1 (Test.5): let Test.17 = GetTagId Test.2; let Test.18 = lowlevel Eq Test.16 Test.17; if Test.18 then - let Test.13 = CoerceToTagId (Id 1) (Index 1) Test.2; + let Test.13 = UnionAtIndex (Id 1) (Index 1) Test.2; let Test.14 = 3i64; let Test.15 = lowlevel Eq Test.14 Test.13; if Test.15 then diff --git a/compiler/test_mono/generated/when_on_two_values.txt b/compiler/test_mono/generated/when_on_two_values.txt index 2d58d97623..f92d0897c3 100644 --- a/compiler/test_mono/generated/when_on_two_values.txt +++ b/compiler/test_mono/generated/when_on_two_values.txt @@ -7,16 +7,16 @@ procedure Test.0 (): let Test.16 = 2i64; let Test.4 = Struct {Test.16, Test.17}; joinpoint Test.13: - let Test.2 = Index 0 Test.4; - let Test.3 = Index 1 Test.4; + let Test.2 = StructAtIndex 0 Test.4; + let Test.3 = StructAtIndex 1 Test.4; let Test.6 = CallByName Num.24 Test.2 Test.3; ret Test.6; in - let Test.11 = Index 1 Test.4; + let Test.11 = StructAtIndex 1 Test.4; let Test.12 = 3i64; let Test.15 = lowlevel Eq Test.12 Test.11; if Test.15 then - let Test.9 = Index 0 Test.4; + let Test.9 = StructAtIndex 0 Test.4; let Test.10 = 4i64; let Test.14 = lowlevel Eq Test.10 Test.9; if Test.14 then