Move and split up 'tests/rt/pos/core/string_manipulation.trp'

ssoelvsten · ssoelvsten · commit c5730f297cc0 · 2025-10-24T10:06:16.000+02:00
This test was in 'core' even though it was testing 'ifc' stuff. Furthermore, it was
on testing one particular combination instead of each possible.
diff --git a/tests/rt/pos/core/string_manipulations.golden b/tests/rt/pos/core/string_manipulations.golden
diff --git a/tests/rt/pos/core/string_manipulations.nocolor.golden b/tests/rt/pos/core/string_manipulations.nocolor.golden
diff --git a/tests/rt/pos/core/string_manipulations.trp b/tests/rt/pos/core/string_manipulations.trp
diff --git a/tests/rt/pos/core/substring01.golden b/tests/rt/pos/core/substring01.golden
@@ -0,0 +1,2 @@
+2025-10-24T07:53:46.865Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.
+>>> Main thread finished with value: "Hello"@{}%{}
diff --git a/tests/rt/pos/core/substring01.trp b/tests/rt/pos/core/substring01.trp
@@ -0,0 +1 @@
+substring ("Hello, World", 0, 5)
diff --git a/tests/rt/pos/core/substring02.golden b/tests/rt/pos/core/substring02.golden
@@ -0,0 +1,2 @@
+2025-10-24T07:53:47.069Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.
+>>> Main thread finished with value: "World"@{}%{}
diff --git a/tests/rt/pos/core/substring02.trp b/tests/rt/pos/core/substring02.trp
@@ -0,0 +1 @@
+substring ("Hello, World", 7, 20)
diff --git a/tests/rt/pos/core/substring03.golden b/tests/rt/pos/core/substring03.golden
@@ -0,0 +1,2 @@
+2025-10-24T07:53:47.730Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.
+>>> Main thread finished with value: "l"@{}%{}
diff --git a/tests/rt/pos/core/substring03.trp b/tests/rt/pos/core/substring03.trp
@@ -0,0 +1 @@
+substring ("Hello, World", 4, 3)
diff --git a/tests/rt/pos/ifc/concat01.golden b/tests/rt/pos/ifc/concat01.golden
@@ -0,0 +1,2 @@
+2025-10-24T07:47:58.485Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.
+>>> Main thread finished with value: "Hello, Alice"@{alice}%{}
diff --git a/tests/rt/pos/ifc/concat01.trp b/tests/rt/pos/ifc/concat01.trp
@@ -0,0 +1,4 @@
+let val x = "Hello"
+    val y = "Alice" raisedTo `{alice}`
+in x ^ ", " ^ y
+end
diff --git a/tests/rt/pos/ifc/concat02.golden b/tests/rt/pos/ifc/concat02.golden
@@ -0,0 +1,2 @@
+2025-10-24T07:47:58.356Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.
+>>> Main thread finished with value: "Bob says 'Hello!'"@{bob}%{}
diff --git a/tests/rt/pos/ifc/concat02.trp b/tests/rt/pos/ifc/concat02.trp
@@ -0,0 +1,3 @@
+let val x = "Bob" raisedTo `{bob}`
+in x ^ " says 'Hello!'"
+end
diff --git a/tests/rt/pos/ifc/concat03.golden b/tests/rt/pos/ifc/concat03.golden
@@ -0,0 +1,2 @@
+2025-10-24T07:47:59.033Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.
+>>> Main thread finished with value: "Alice and Bob say 'Hello!'"@{alice,bob}%{}
diff --git a/tests/rt/pos/ifc/concat03.trp b/tests/rt/pos/ifc/concat03.trp
@@ -0,0 +1,4 @@
+let val a = "Alice" raisedTo `{alice}`
+    val b = "Bob" raisedTo `{bob}`
+in ((a ^ " and ") ^ b) ^ " say 'Hello!'"
+end
diff --git a/tests/rt/pos/ifc/substring01.golden b/tests/rt/pos/ifc/substring01.golden
@@ -0,0 +1,2 @@
+2025-10-24T07:54:02.945Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.
+>>> Main thread finished with value: "lo"@{alice}%{alice}
diff --git a/tests/rt/pos/ifc/substring01.trp b/tests/rt/pos/ifc/substring01.trp
@@ -0,0 +1,5 @@
+let val s = "Hello, World!"
+    val i = 3 raisedTo `{alice}`
+    val j = 5
+in substring (s, i, j)
+end
diff --git a/tests/rt/pos/ifc/substring02.golden b/tests/rt/pos/ifc/substring02.golden
@@ -0,0 +1,2 @@
+2025-10-24T07:54:02.986Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.
+>>> Main thread finished with value: "lo"@{bob}%{bob}
diff --git a/tests/rt/pos/ifc/substring02.trp b/tests/rt/pos/ifc/substring02.trp
@@ -0,0 +1,5 @@
+let val s = "Hello, World!"
+    val i = 3
+    val j = 5 raisedTo `{bob}`
+in substring (s, i, j)
+end
diff --git a/tests/rt/pos/ifc/substring03.golden b/tests/rt/pos/ifc/substring03.golden
@@ -0,0 +1,2 @@
+2025-10-24T07:54:02.997Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.
+>>> Main thread finished with value: "lo"@{charlie}%{charlie}
diff --git a/tests/rt/pos/ifc/substring03.trp b/tests/rt/pos/ifc/substring03.trp
@@ -0,0 +1,5 @@
+let val s = "Hello, World!" raisedTo `{charlie}`
+    val i = 3
+    val j = 5
+in substring (s, i, j)
+end
diff --git a/tests/rt/pos/ifc/substring04.golden b/tests/rt/pos/ifc/substring04.golden
@@ -0,0 +1,2 @@
+2025-10-24T07:54:03.258Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.
+>>> Main thread finished with value: "lo"@{alice,charlie}%{alice,charlie}
diff --git a/tests/rt/pos/ifc/substring04.trp b/tests/rt/pos/ifc/substring04.trp
@@ -0,0 +1,5 @@
+let val s = "Hello, World!" raisedTo `{charlie}`
+    val i = 3 raisedTo `{alice}`
+    val j = 5
+in substring (s, i, j)
+end
diff --git a/tests/rt/pos/ifc/substring05.golden b/tests/rt/pos/ifc/substring05.golden
@@ -0,0 +1,2 @@
+2025-10-24T07:54:03.611Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.
+>>> Main thread finished with value: "lo"@{alice,bob,charlie}%{alice,bob,charlie}
diff --git a/tests/rt/pos/ifc/substring05.trp b/tests/rt/pos/ifc/substring05.trp
@@ -0,0 +1,5 @@
+let val s = "Hello, World!" raisedTo `{charlie}`
+    val i = 3 raisedTo `{alice}`
+    val j = 5 raisedTo `{bob}`
+in substring (s, i, j)
+end

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+2025-10-24T07:53:46.865Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.`
	`2`	`+>>> Main thread finished with value: "Hello"@{}%{}`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+2025-10-24T07:53:47.069Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.`
	`2`	`+>>> Main thread finished with value: "World"@{}%{}`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+2025-10-24T07:53:47.730Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.`
	`2`	`+>>> Main thread finished with value: "l"@{}%{}`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+2025-10-24T07:47:58.485Z [RTM] [32minfo[39m: Skipping network creation. Observe that all external IO operations will yield a runtime error.`
	`2`	`+>>> Main thread finished with value: "Hello, Alice"@{alice}%{}`