diff options
author | Paul Phillips <paulp@improving.org> | 2011-04-30 20:01:25 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-04-30 20:01:25 +0000 |
commit | b4749d3b1afb1df236ec48fd3a773aab24a6f74d (patch) | |
tree | 81792bd4de8dfb8c2beb6ad1418880947fb6e371 /test/files/neg/patmatexhaust.check | |
parent | 793796eee0769926a3162d69dd23c282ca2d8ba4 (diff) | |
download | scala-b4749d3b1afb1df236ec48fd3a773aab24a6f74d.tar.gz scala-b4749d3b1afb1df236ec48fd3a773aab24a6f74d.tar.bz2 scala-b4749d3b1afb1df236ec48fd3a773aab24a6f74d.zip |
Completely to my surprise, found that fixing al...
Completely to my surprise, found that fixing all those sequence issues
revealed that the pattern matcher can catch a lot more inexhaustive
cases than it has been catching. Fixed most of the inexhaustive matches
in the compiler, which had become a bit warnier. No review.
Diffstat (limited to 'test/files/neg/patmatexhaust.check')
-rw-r--r-- | test/files/neg/patmatexhaust.check | 25 |
1 files changed, 13 insertions, 12 deletions
diff --git a/test/files/neg/patmatexhaust.check b/test/files/neg/patmatexhaust.check index 83c4279b0a..8aa9238d2e 100644 --- a/test/files/neg/patmatexhaust.check +++ b/test/files/neg/patmatexhaust.check @@ -1,37 +1,38 @@ -patmatexhaust.scala:7: warning: match is not exhaustive! +patmatexhaust.scala:7: error: match is not exhaustive! missing combination Baz def ma1(x:Foo) = x match { ^ -patmatexhaust.scala:11: warning: match is not exhaustive! +patmatexhaust.scala:11: error: match is not exhaustive! missing combination Bar def ma2(x:Foo) = x match { ^ -patmatexhaust.scala:23: warning: match is not exhaustive! +patmatexhaust.scala:23: error: match is not exhaustive! missing combination Kult Kult missing combination Qult Qult def ma3(x:Mult) = (x,x) match { // not exhaustive - ^ -patmatexhaust.scala:49: warning: match is not exhaustive! + ^ +patmatexhaust.scala:49: error: match is not exhaustive! missing combination Gp missing combination Gu def ma4(x:Deep) = x match { // missing cases: Gu, Gp ^ -patmatexhaust.scala:53: warning: match is not exhaustive! +patmatexhaust.scala:53: error: match is not exhaustive! missing combination Gp def ma5(x:Deep) = x match { // Gp ^ -patmatexhaust.scala:75: warning: match is not exhaustive! +patmatexhaust.scala:59: error: match is not exhaustive! +missing combination Nil + + def ma6() = List(1,2) match { // give up + ^ +patmatexhaust.scala:75: error: match is not exhaustive! missing combination B def ma9(x: B) = x match { ^ -patmatexhaust.scala:92: error: unreachable code - case 1 => - ^ -6 warnings found -one error found +7 errors found |