diff options
Diffstat (limited to 'tests/patmat/exhausting.check')
-rw-r--r-- | tests/patmat/exhausting.check | 31 |
1 files changed, 6 insertions, 25 deletions
diff --git a/tests/patmat/exhausting.check b/tests/patmat/exhausting.check index 790b12334..b8d1d8408 100644 --- a/tests/patmat/exhausting.check +++ b/tests/patmat/exhausting.check @@ -1,25 +1,6 @@ -./tests/patmat/exhausting.scala:21: warning: match may not be exhaustive. -It would fail on the following input: List(_), List(_, _, _) - def fail1[T](xs: List[T]) = xs match { - ^ -./tests/patmat/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 { - ^ -./tests/patmat/exhausting.scala:32: warning: match may not be exhaustive. -It would fail on the following input: List(_, _) - def fail3a(xs: List[Int]) = xs match { - ^ -./tests/patmat/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 { - ^ -./tests/patmat/exhausting.scala:44: warning: match may not be exhaustive. -It would fail on the following input: (Bar2, Bar2) - def fail4[T <: AnyRef](xx: (Foo[T], Foo[T])) = xx match { - ^ -./tests/patmat/exhausting.scala:53: warning: match may not be exhaustive. -It would fail on the following input: (Bar2, Bar2), (Bar2, Bar1), (Bar1, Bar3), (Bar1, Bar2) - def fail5[T](xx: (Foo[T], Foo[T])) = xx match { - ^ -6 warnings found +21: Pattern Match Exhaustivity: List(_), List(_, _, _) +27: Pattern Match Exhaustivity: Nil +32: Pattern Match Exhaustivity: List(_, _) +39: Pattern Match Exhaustivity: Bar3 +44: Pattern Match Exhaustivity: (Bar2, Bar2) +53: Pattern Match Exhaustivity: (Bar2, Bar2), (Bar2, Bar1), (Bar1, Bar3), (Bar1, Bar2) |