diff options
author | Burak Emir <emir@epfl.ch> | 2007-03-22 03:28:30 +0000 |
---|---|---|
committer | Burak Emir <emir@epfl.ch> | 2007-03-22 03:28:30 +0000 |
commit | c61121a813abaace6e739a6f02e4c85b186f95a1 (patch) | |
tree | 74e4b0b57269397e888424346f674efcd933efc4 /test/files/neg/patmatexhaust.check | |
parent | 8e890c848ff68e69342d0f340df40f926857c861 (diff) | |
download | scala-c61121a813abaace6e739a6f02e4c85b186f95a1.tar.gz scala-c61121a813abaace6e739a6f02e4c85b186f95a1.tar.bz2 scala-c61121a813abaace6e739a6f02e4c85b186f95a1.zip |
new pattern matching algo
removed "removeoption"
changed SUnit and some tests
added useful debug msg in typer
Diffstat (limited to 'test/files/neg/patmatexhaust.check')
-rw-r--r-- | test/files/neg/patmatexhaust.check | 32 |
1 files changed, 18 insertions, 14 deletions
diff --git a/test/files/neg/patmatexhaust.check b/test/files/neg/patmatexhaust.check index 19e79b2928..719f98b8d3 100644 --- a/test/files/neg/patmatexhaust.check +++ b/test/files/neg/patmatexhaust.check @@ -1,23 +1,27 @@ -patmatexhaust.scala:8: warning: does not cover case {object Baz} +patmatexhaust.scala:7: warning: match is not exhaustive! +missing combination Baz + def ma1(x:Foo) = x match { ^ -patmatexhaust.scala:12: warning: does not cover case {class Bar} +patmatexhaust.scala:11: warning: match is not exhaustive! +missing combination Bar + def ma2(x:Foo) = x match { ^ -patmatexhaust.scala:24: warning: does not cover case {class Kult} - case (Kult(_), Qult()) => // Kult missing - ^ -patmatexhaust.scala:26: warning: does not cover case {class Qult} - case (Qult(), Kult(_)) => // Qult missing - ^ -patmatexhaust.scala:44: warning: does not cover cases {object Gu,class Gp} +patmatexhaust.scala:23: warning: 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! +missing combination Gu +missing combination Gp + def ma4(x:Deep) = x match { // missing cases: Gu, Gp ^ -patmatexhaust.scala:51: warning: does not cover case {class Gp} - case Ga => - ^ -patmatexhaust.scala:65: error: unreachable code +patmatexhaust.scala:70: error: unreachable code case 1 => ^ -6 warnings found +four warnings found one error found |