diff options
author | Paul Phillips <paulp@improving.org> | 2012-08-10 07:29:31 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-08-10 12:28:50 -0700 |
commit | fbbbb2294680c0f57506f885971b148cae53c92d (patch) | |
tree | d2500556943fd4a63cad5752a0aa5a0caf3b329d /test/files/neg/exhausting.check | |
parent | 7dd0ead39ceb7cd6f445d86f37c68b78218eef57 (diff) | |
download | scala-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.check | 16 |
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 |