diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-04-13 20:15:10 +0200 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-04-14 11:50:49 +0200 |
commit | 4804efef205adbe359dd353d51ab16e1e0337dc5 (patch) | |
tree | a4c1cc4de24ea43ef7d1d9f43ecdfc639138db5d /test/files/neg/patmat-type-check.check | |
parent | 391f92f4005700799ac2e775980f5c5a77fea203 (diff) | |
download | scala-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.check | 14 |
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 |