Add futures showing default initialization of tuples of arrays doesn'…

…t work This is a capture of the issue originally report in issue chapel-lang#15759, though the behavior is now improved (in that it generates a user-facing error rather than a segfault), leading to chapel-lang#17050. --- Signed-off-by: Brad Chamberlain <bradcray@users.noreply.github.com>
bradcray · Jan 29, 2021 · aab08c0 · aab08c0
1 parent a721b8d
commit aab08c0
Show file tree

Hide file tree

Showing 18 changed files with 47 additions and 0 deletions.
diff --git a/test/arrays/bugs/arrOfTupleOfArr2.bad b/test/arrays/bugs/arrOfTupleOfArr2.bad
@@ -0,0 +1 @@
+arrOfTupleOfArr2.chpl:7: error: default initialization of tuple containing array or domain type not yet implemented
diff --git a/test/arrays/bugs/arrOfTupleOfArr2.chpl b/test/arrays/bugs/arrOfTupleOfArr2.chpl
@@ -0,0 +1,8 @@
+proc foo() {
+  return ([1,2,3], [1.2,3.4,5.6]);
+}
+
+var x = foo();
+type t = x.type;
+var A: [1..2] t;
+writeln(A);
diff --git a/test/arrays/bugs/arrOfTupleOfArr2.future b/test/arrays/bugs/arrOfTupleOfArr2.future
@@ -0,0 +1,3 @@
+unimplemented feature: support default-initialized tuples of arrays
+
+#17050
diff --git a/test/arrays/bugs/arrOfTupleOfArr2.good b/test/arrays/bugs/arrOfTupleOfArr2.good
@@ -0,0 +1 @@
+(0 0 0, 0.0 0.0 0.0) (0 0 0, 0.0 0.0 0.0)
diff --git a/test/arrays/bugs/arrOfTupleOfArr3.bad b/test/arrays/bugs/arrOfTupleOfArr3.bad
@@ -0,0 +1 @@
+arrOfTupleOfArr3.chpl:1: error: default initialization of tuple containing array or domain type not yet implemented
diff --git a/test/arrays/bugs/arrOfTupleOfArr3.chpl b/test/arrays/bugs/arrOfTupleOfArr3.chpl
@@ -0,0 +1,2 @@
+var A: [1..2] ([1..3] int, [1..3] real);
+writeln(A);
diff --git a/test/arrays/bugs/arrOfTupleOfArr3.future b/test/arrays/bugs/arrOfTupleOfArr3.future
@@ -0,0 +1,3 @@
+unimplemented feature: support default-initialized tuples of arrays
+
+#17050
diff --git a/test/arrays/bugs/arrOfTupleOfArr3.good b/test/arrays/bugs/arrOfTupleOfArr3.good
@@ -0,0 +1 @@
+(0 0 0, 0.0 0.0 0.0) (0 0 0, 0.0 0.0 0.0)
diff --git a/test/arrays/bugs/arrOfTupleOfArr4.bad b/test/arrays/bugs/arrOfTupleOfArr4.bad
@@ -0,0 +1 @@
+arrOfTupleOfArr4.chpl:4: error: default initialization of tuple containing array or domain type not yet implemented
diff --git a/test/arrays/bugs/arrOfTupleOfArr4.chpl b/test/arrays/bugs/arrOfTupleOfArr4.chpl
@@ -0,0 +1,6 @@
+type arrOfInt = [1..3] int;
+type arrOfReal = [1..3] real;
+type tupOfArrs = (arrOfInt, arrOfReal);
+var A: [1..2] tupOfArrs;
+writeln(A);
+
diff --git a/test/arrays/bugs/arrOfTupleOfArr4.future b/test/arrays/bugs/arrOfTupleOfArr4.future
@@ -0,0 +1,3 @@
+unimplemented feature: support default-initialized tuples of arrays
+
+#17050
diff --git a/test/arrays/bugs/arrOfTupleOfArr4.good b/test/arrays/bugs/arrOfTupleOfArr4.good
@@ -0,0 +1 @@
+(0 0 0, 0.0 0.0 0.0) (0 0 0, 0.0 0.0 0.0)
diff --git a/test/arrays/bugs/arrOfTupleOfArr5.bad b/test/arrays/bugs/arrOfTupleOfArr5.bad
@@ -0,0 +1 @@
+arrOfTupleOfArr5.chpl:5: error: default initialization of tuple containing array or domain type not yet implemented
diff --git a/test/arrays/bugs/arrOfTupleOfArr5.chpl b/test/arrays/bugs/arrOfTupleOfArr5.chpl
@@ -0,0 +1,6 @@
+proc foo() {
+  return ([1,2,3], [1.2,3.4,5.6]);
+}
+
+var A: [1..2] foo().type;
+writeln(A);
diff --git a/test/arrays/bugs/arrOfTupleOfArr5.future b/test/arrays/bugs/arrOfTupleOfArr5.future
@@ -0,0 +1,3 @@
+unimplemented feature: support default-initialized tuples of arrays
+
+#17050
diff --git a/test/arrays/bugs/arrOfTupleOfArr5.good b/test/arrays/bugs/arrOfTupleOfArr5.good
@@ -0,0 +1 @@
+(0 0 0, 0.0 0.0 0.0) (0 0 0, 0.0 0.0 0.0)
diff --git a/test/arrays/bugs/arrOfTupleOfArr6.chpl b/test/arrays/bugs/arrOfTupleOfArr6.chpl
@@ -0,0 +1,4 @@
+var A = [([1,2,3], [1.2,3.4,5.6]),
+         ([1,2,3], [1.2,3.4,5.6]),
+         ([1,2,3], [1.2,3.4,5.6])];
+writeln(A);
diff --git a/test/arrays/bugs/arrOfTupleOfArr6.good b/test/arrays/bugs/arrOfTupleOfArr6.good
@@ -0,0 +1 @@
+(1 2 3, 1.2 3.4 5.6) (1 2 3, 1.2 3.4 5.6) (1 2 3, 1.2 3.4 5.6)
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		arrOfTupleOfArr2.chpl:7: error: default initialization of tuple containing array or domain type not yet implemented
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		unimplemented feature: support default-initialized tuples of arrays

		#17050
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		arrOfTupleOfArr3.chpl:1: error: default initialization of tuple containing array or domain type not yet implemented
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		var A: [1..2] ([1..3] int, [1..3] real);
		writeln(A);
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		arrOfTupleOfArr4.chpl:4: error: default initialization of tuple containing array or domain type not yet implemented
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		arrOfTupleOfArr5.chpl:5: error: default initialization of tuple containing array or domain type not yet implemented
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		(1 2 3, 1.2 3.4 5.6) (1 2 3, 1.2 3.4 5.6) (1 2 3, 1.2 3.4 5.6)