summaryrefslogtreecommitdiff
path: root/test/files/neg/exhausting.check
diff options
context:
space:
mode:
authorPaul Phillips <paulp@improving.org>2012-08-10 07:29:31 -0700
committerPaul Phillips <paulp@improving.org>2012-08-10 12:28:50 -0700
commitfbbbb2294680c0f57506f885971b148cae53c92d (patch)
treed2500556943fd4a63cad5752a0aa5a0caf3b329d /test/files/neg/exhausting.check
parent7dd0ead39ceb7cd6f445d86f37c68b78218eef57 (diff)
downloadscala-fbbbb2294680c0f57506f885971b148cae53c92d.tar.gz
scala-fbbbb2294680c0f57506f885971b148cae53c92d.tar.bz2
scala-fbbbb2294680c0f57506f885971b148cae53c92d.zip
Made -Xfatal-warnings less immediately fatal.
Instead of changing warnings to errors mid-stream, at the end of a run I check for condition "no errors, some warnings, and fatal warnings" and then generate an error at that point. This is necessary to test for some warnings which come from later stages.
Diffstat (limited to 'test/files/neg/exhausting.check')
-rw-r--r--test/files/neg/exhausting.check16
1 files changed, 9 insertions, 7 deletions
diff --git a/test/files/neg/exhausting.check b/test/files/neg/exhausting.check
index 0f0d13cb33..c573eb3e15 100644
--- a/test/files/neg/exhausting.check
+++ b/test/files/neg/exhausting.check
@@ -1,25 +1,27 @@
-exhausting.scala:21: error: match may not be exhaustive.
+exhausting.scala:21: warning: match may not be exhaustive.
It would fail on the following input: List(_, _, _)
def fail1[T](xs: List[T]) = xs match {
^
-exhausting.scala:27: error: match may not be exhaustive.
+exhausting.scala:27: warning: match may not be exhaustive.
It would fail on the following input: Nil
def fail2[T](xs: List[T]) = xs match {
^
-exhausting.scala:32: error: match may not be exhaustive.
+exhausting.scala:32: warning: match may not be exhaustive.
It would fail on the following input: List((x: Int forSome x not in (1, 2)))
def fail3a(xs: List[Int]) = xs match {
^
-exhausting.scala:39: error: match may not be exhaustive.
+exhausting.scala:39: warning: match may not be exhaustive.
It would fail on the following input: Bar3
def fail3[T](x: Foo[T]) = x match {
^
-exhausting.scala:47: error: match may not be exhaustive.
+exhausting.scala:47: warning: match may not be exhaustive.
It would fail on the following inputs: (Bar1, Bar2), (Bar1, Bar3), (Bar2, Bar1), (Bar2, Bar2)
def fail4[T <: AnyRef](xx: (Foo[T], Foo[T])) = xx match {
^
-exhausting.scala:56: error: match may not be exhaustive.
+exhausting.scala:56: warning: match may not be exhaustive.
It would fail on the following inputs: (Bar1, Bar2), (Bar1, Bar3), (Bar2, Bar1), (Bar2, Bar2)
def fail5[T](xx: (Foo[T], Foo[T])) = xx match {
^
-6 errors found
+error: No warnings can be incurred under -Xfatal-warnings.
+6 warnings found
+one error found