summaryrefslogtreecommitdiff
path: root/test/files/neg/patmat-type-check.check
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@epfl.ch>2012-04-13 20:15:10 +0200
committerAdriaan Moors <adriaan.moors@epfl.ch>2012-04-14 11:50:49 +0200
commit4804efef205adbe359dd353d51ab16e1e0337dc5 (patch)
treea4c1cc4de24ea43ef7d1d9f43ecdfc639138db5d /test/files/neg/patmat-type-check.check
parent391f92f4005700799ac2e775980f5c5a77fea203 (diff)
downloadscala-4804efef205adbe359dd353d51ab16e1e0337dc5.tar.gz
scala-4804efef205adbe359dd353d51ab16e1e0337dc5.tar.bz2
scala-4804efef205adbe359dd353d51ab16e1e0337dc5.zip
virtpatmat on by default; chicken out: -Xoldpatmat
some tests (unreachability, exhaustivity, @switch annotation checking) are still run under -Xoldpatmat, but that will change before we go into RC mode (then the test/ partest of this commit will be reverted) removed irrelevant dependency on patmat
Diffstat (limited to 'test/files/neg/patmat-type-check.check')
-rw-r--r--test/files/neg/patmat-type-check.check14
1 files changed, 13 insertions, 1 deletions
diff --git a/test/files/neg/patmat-type-check.check b/test/files/neg/patmat-type-check.check
index e045841ce1..ab4451f089 100644
--- a/test/files/neg/patmat-type-check.check
+++ b/test/files/neg/patmat-type-check.check
@@ -3,19 +3,31 @@ patmat-type-check.scala:22: error: scrutinee is incompatible with pattern type;
required: String
def f1 = "bob".reverse match { case Seq('b', 'o', 'b') => true } // fail
^
+patmat-type-check.scala:22: error: value _1 is not a member of object Seq
+ def f1 = "bob".reverse match { case Seq('b', 'o', 'b') => true } // fail
+ ^
patmat-type-check.scala:23: error: scrutinee is incompatible with pattern type;
found : Seq[A]
required: Array[Char]
def f2 = "bob".toArray match { case Seq('b', 'o', 'b') => true } // fail
^
+patmat-type-check.scala:23: error: value _1 is not a member of object Seq
+ def f2 = "bob".toArray match { case Seq('b', 'o', 'b') => true } // fail
+ ^
patmat-type-check.scala:27: error: scrutinee is incompatible with pattern type;
found : Seq[A]
required: Test.Bop2
def f3(x: Bop2) = x match { case Seq('b', 'o', 'b') => true } // fail
^
+patmat-type-check.scala:27: error: value _1 is not a member of object Seq
+ def f3(x: Bop2) = x match { case Seq('b', 'o', 'b') => true } // fail
+ ^
patmat-type-check.scala:30: error: scrutinee is incompatible with pattern type;
found : Seq[A]
required: Test.Bop3[Char]
def f4[T](x: Bop3[Char]) = x match { case Seq('b', 'o', 'b') => true } // fail
^
-four errors found
+patmat-type-check.scala:30: error: value _1 is not a member of object Seq
+ def f4[T](x: Bop3[Char]) = x match { case Seq('b', 'o', 'b') => true } // fail
+ ^
+8 errors found