diff options
Diffstat (limited to 'tests/patmat/patmatexhaust.check')
| -rw-r--r-- | tests/patmat/patmatexhaust.check | 41 |
1 files changed, 8 insertions, 33 deletions
diff --git a/tests/patmat/patmatexhaust.check b/tests/patmat/patmatexhaust.check index ef2b578d6..3de93cfdb 100644 --- a/tests/patmat/patmatexhaust.check +++ b/tests/patmat/patmatexhaust.check @@ -1,33 +1,8 @@ -./tests/patmat/patmatexhaust.scala:7: warning: match may not be exhaustive. -It would fail on the following input: Baz - def ma1(x:Foo) = x match { - ^ -./tests/patmat/patmatexhaust.scala:11: warning: match may not be exhaustive. -It would fail on the following input: Bar(_) - def ma2(x:Foo) = x match { - ^ -./tests/patmat/patmatexhaust.scala:23: warning: match may not be exhaustive. -It would fail on the following input: (Qult(), Qult()), (Kult(_), Kult(_)) - def ma3(x:Mult) = (x,x) match { // not exhaustive - ^ -./tests/patmat/patmatexhaust.scala:49: warning: match may not be exhaustive. -It would fail on the following input: _: Gp - def ma4(x:Deep) = x match { // missing cases: Gu, Gp which is not abstract so must be included - ^ -./tests/patmat/patmatexhaust.scala:75: warning: match may not be exhaustive. -It would fail on the following input: _: B - def ma9(x: B) = x match { - ^ -./tests/patmat/patmatexhaust.scala:100: warning: match may not be exhaustive. -It would fail on the following input: _: C1 - def ma10(x: C) = x match { // not exhaustive: C1 is not sealed. - ^ -./tests/patmat/patmatexhaust.scala:114: warning: match may not be exhaustive. -It would fail on the following input: D2(), D1 - def ma10(x: C) = x match { // not exhaustive: C1 has subclasses. - ^ -./tests/patmat/patmatexhaust.scala:126: warning: match may not be exhaustive. -It would fail on the following input: _: C1 - def ma10(x: C) = x match { // not exhaustive: C1 is not abstract. - ^ -8 warnings found
\ No newline at end of file +7: Pattern Match Exhaustivity: Baz +11: Pattern Match Exhaustivity: Bar(_) +23: Pattern Match Exhaustivity: (Qult(), Qult()), (Kult(_), Kult(_)) +49: Pattern Match Exhaustivity: _: Gp +75: Pattern Match Exhaustivity: _: B +100: Pattern Match Exhaustivity: _: C1 +114: Pattern Match Exhaustivity: D2(), D1 +126: Pattern Match Exhaustivity: _: C1 |