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/gadts1.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/gadts1.check')
| -rw-r--r-- | test/files/neg/gadts1.check | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/files/neg/gadts1.check b/test/files/neg/gadts1.check index 44d2b114d6..0441f604c9 100644 --- a/test/files/neg/gadts1.check +++ b/test/files/neg/gadts1.check @@ -11,4 +11,7 @@ gadts1.scala:20: error: type mismatch; required: a case Cell[a](x: Int) => c.x = 5 ^ -three errors found +gadts1.scala:20: error: Could not typecheck extractor call: case class <none> with arguments List((x @ (_: Int))) + case Cell[a](x: Int) => c.x = 5 + ^ +four errors found |