SI-5440 Test case for exhaustiveness check

Reported against patmatclassic, working in virtpatmat.
scala · Jan 13, 2013 · 4aba0fe · 4aba0fe
1 parent 9ea0a20
commit 4aba0fe
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 0 deletions.
diff --git a/test/files/neg/t5440.check b/test/files/neg/t5440.check
@@ -0,0 +1,5 @@
+t5440.scala:3: error: match may not be exhaustive.
+It would fail on the following inputs: (List(_), Nil), (Nil, List(_))
+    (list1, list2) match {
+    ^
+one error found
diff --git a/test/files/neg/t5440.flags b/test/files/neg/t5440.flags
@@ -0,0 +1 @@
+-Xfatal-warnings
diff --git a/test/files/neg/t5440.scala b/test/files/neg/t5440.scala
@@ -0,0 +1,7 @@
+object Test {
+  def merge(list1: List[Long], list2: List[Long]): Boolean =
+    (list1, list2) match {
+      case (hd1::_, hd2::_) => true
+      case (Nil, Nil) => true
+    }
+}