summaryrefslogtreecommitdiff
path: root/test/files/neg/patmatexhaust.check
diff options
context:
space:
mode:
authorBurak Emir <emir@epfl.ch>2007-03-22 03:28:30 +0000
committerBurak Emir <emir@epfl.ch>2007-03-22 03:28:30 +0000
commitc61121a813abaace6e739a6f02e4c85b186f95a1 (patch)
tree74e4b0b57269397e888424346f674efcd933efc4 /test/files/neg/patmatexhaust.check
parent8e890c848ff68e69342d0f340df40f926857c861 (diff)
downloadscala-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.check32
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