[variants] More exhaustiveness checking tests for type cases

titzer · Oct 12, 2024 · 8f84cab · 8f84cab
1 parent ce48a2d
commit 8f84cab
Show file tree

Hide file tree

Showing 5 changed files with 66 additions and 0 deletions.
diff --git a/test/variants/seman/match_cover01.v3 b/test/variants/seman/match_cover01.v3
@@ -0,0 +1,12 @@
+//@seman
+type T {
+	case A;
+	case B;
+}
+
+def f(t: T) {
+	match (t) {
+		x: T.A => ;
+		x: T.B => ;
+	}
+}
diff --git a/test/variants/seman/match_cover11.v3 b/test/variants/seman/match_cover11.v3
@@ -0,0 +1,12 @@
+//@seman
+type T {
+	case A(y: int);
+	case B(z: bool);
+}
+
+def f(t: T) {
+	match (t) {
+		x: T.A => ;
+		x: T.B => ;
+	}
+}
diff --git a/test/variants/seman/match_cover12.v3 b/test/variants/seman/match_cover12.v3
@@ -0,0 +1,14 @@
+//@seman
+type T {
+	case A(y: int);
+	case B(z: bool);
+}
+
+def f(t: T) {
+	var a: int;
+	var b: bool;
+	match (t) {
+		x: T.A => a = x.y;
+		x: T.B => b = x.z;
+	}
+}
diff --git a/test/variants/seman/match_cover13.v3 b/test/variants/seman/match_cover13.v3
@@ -0,0 +1,14 @@
+//@seman = TypeError @ 11:28
+type T {
+	case A(y: int);
+	case B(z: bool);
+}
+
+def f(t: T) {
+	var a: string;
+	var b: bool;
+	match (t) {
+		x: T.A => a = x.y;
+		x: T.B => b = x.z;
+	}
+}
diff --git a/test/variants/seman/match_cover14.v3 b/test/variants/seman/match_cover14.v3
@@ -0,0 +1,14 @@
+//@seman = TypeError @ 12:28
+type T {
+	case A(y: int);
+	case B(z: bool);
+}
+
+def f(t: T) {
+	var a: int;
+	var b: string;
+	match (t) {
+		x: T.A => a = x.y;
+		x: T.B => b = x.z;
+	}
+}