Untagged variants error messages

cristianoc · cristianoc · commit 0adc3bc4d97e · 2023-06-07T05:45:28.000+02:00
Add tests. See #6272
diff --git a/jscomp/build_tests/super_errors/expected/UntaggedNonUnary1.res.expected b/jscomp/build_tests/super_errors/expected/UntaggedNonUnary1.res.expected
@@ -0,0 +1,10 @@
+
+  [1;31mWe've found a bug for you![0m
+  [36m/.../fixtures/UntaggedNonUnary1.res[0m:[2m2:1-27[0m
+
+  1 [2m│[0m @unboxed
+  [1;31m2[0m [2m│[0m [1;31mtype t = Tuple(int, string)[0m
+  3 [2m│[0m 
+
+  This type cannot be unboxed because
+  its constructor has more than one argument.
diff --git a/jscomp/build_tests/super_errors/expected/UntaggedNonUnary2.res.expected b/jscomp/build_tests/super_errors/expected/UntaggedNonUnary2.res.expected
@@ -0,0 +1,9 @@
+
+  [1;31mWe've found a bug for you![0m
+  [36m/.../fixtures/UntaggedNonUnary2.res[0m:[2m2:1-42[0m
+
+  1 [2m│[0m @unboxed
+  [1;31m2[0m [2m│[0m [1;31mtype t = Tuple(int, string) | Float(float)[0m
+  3 [2m│[0m 
+
+  This type cannot be unboxed because it has more than one constructor.
diff --git a/jscomp/build_tests/super_errors/expected/UntaggedUnknown.res.expected b/jscomp/build_tests/super_errors/expected/UntaggedUnknown.res.expected
@@ -0,0 +1,9 @@
+
+  [1;31mWe've found a bug for you![0m
+  [36m/.../fixtures/UntaggedUnknown.res[0m:[2m2:10-31[0m
+
+  1 [2m│[0m @unboxed
+  [1;31m2[0m [2m│[0m type t = [1;31mTuple((float, string))[0m | Float(float)
+  3 [2m│[0m 
+
+  This untagged variant definition is invalid: An unknown case must be the only case with payloads.
diff --git a/jscomp/build_tests/super_errors/fixtures/UntaggedNonUnary1.res b/jscomp/build_tests/super_errors/fixtures/UntaggedNonUnary1.res
@@ -0,0 +1,2 @@
+@unboxed
+type t = Tuple(int, string)
diff --git a/jscomp/build_tests/super_errors/fixtures/UntaggedNonUnary2.res b/jscomp/build_tests/super_errors/fixtures/UntaggedNonUnary2.res
@@ -0,0 +1,2 @@
+@unboxed
+type t = Tuple(int, string) | Float(float)
diff --git a/jscomp/build_tests/super_errors/fixtures/UntaggedUnknown.res b/jscomp/build_tests/super_errors/fixtures/UntaggedUnknown.res
@@ -0,0 +1,2 @@
+@unboxed
+type t = Tuple((float, string)) | Float(float)

-Original file line number
+Diff line change
@@ @@ -0,0 +1,10 @@ @@
++
 +  [1;31mWe've found a bug for you![0m
 +  [36m/.../fixtures/UntaggedNonUnary1.res[0m:[2m2:1-27[0m
++
 +  1 [2m│[0m @unboxed
 +  [1;31m2[0m [2m│[0m [1;31mtype t = Tuple(int, string)[0m
 +  3 [2m│[0m
++
 +  This type cannot be unboxed because
 +  its constructor has more than one argument.
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+@unboxed`
	`2`	`+type t = Tuple(int, string)`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+@unboxed`
	`2`	`+type t = Tuple(int, string) \| Float(float)`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+@unboxed`
	`2`	`+type t = Tuple((float, string)) \| Float(float)`