rename in mono tests

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)),
         }
     }

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 ():

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;

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;

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;

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;

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;

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;
     

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;

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;

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;

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;

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 ():

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.10 = UnionAtIndex (Id 0) (Index 1) Test.2;
-            let Test.5 = CoerceToTagId (Id 0) (Index 1) Test.10;
+            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;

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):

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;

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.5 = StructAtIndex 0 Test.25;
-            let Test.6 = Index 1 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;

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.18 = StructAtIndex 0 Test.8;
-            let Test.4 = CoerceToTagId (Id 1) (Index 1) Test.18;
+            let Test.4 = UnionAtIndex (Id 1) (Index 1) Test.18;
-            let Test.17 = Index 1 Test.8;
+            let Test.17 = StructAtIndex 1 Test.8;
-            let Test.5 = CoerceToTagId (Id 1) (Index 1) Test.17;
+            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;

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.2 = StructAtIndex 0 Test.4;
-    let Test.3 = Index 1 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;

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.3 = StructAtIndex 0 Test.2;
-    let Test.4 = Index 1 Test.2;
+    let Test.4 = StructAtIndex 1 Test.2;
     let Test.7 = CallByName Num.24 Test.3 Test.4;
     ret Test.7;
 

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.21 = StructAtIndex 0 Test.13;
-            let Test.6 = CoerceToTagId (Id 1) (Index 1) Test.21;
+            let Test.6 = UnionAtIndex (Id 1) (Index 1) Test.21;
-            let Test.20 = Index 1 Test.13;
+            let Test.20 = StructAtIndex 1 Test.13;
-            let Test.7 = CoerceToTagId (Id 1) (Index 1) Test.20;
+            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;

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.6 = UnionAtIndex (Id 1) (Index 2) #Attr.12;
-    let Test.5 = CoerceToTagId (Id 1) (Index 1) #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;

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;
 

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.10 = UnionAtIndex (Id 0) (Index 1) Test.2;
-            let Test.5 = CoerceToTagId (Id 0) (Index 1) Test.10;
+            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;

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

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.2 = StructAtIndex 0 Test.4;
-        let Test.3 = Index 1 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