summaryrefslogtreecommitdiff
path: root/test/files/neg/patmatexhaust.check
diff options
context:
space:
mode:
authorPaul Phillips <paulp@improving.org>2011-05-06 04:32:39 +0000
committerPaul Phillips <paulp@improving.org>2011-05-06 04:32:39 +0000
commit311b7de861bd2f4137e3503483177a1588cfdd12 (patch)
tree7b784b842cdf4a791a056e045eb4aa208c1e755a /test/files/neg/patmatexhaust.check
parent14cd653295b5ed3f10b82193a9fb6da0867e31d6 (diff)
downloadscala-311b7de861bd2f4137e3503483177a1588cfdd12.tar.gz
scala-311b7de861bd2f4137e3503483177a1588cfdd12.tar.bz2
scala-311b7de861bd2f4137e3503483177a1588cfdd12.zip
Finally figured out what was going on with a ce...
Finally figured out what was going on with a certain class of exhaustiveness checking bugs. Hey moors, you can put away your pins, puppets, and magic sauces. Closes #3098, no review.
Diffstat (limited to 'test/files/neg/patmatexhaust.check')
-rw-r--r--test/files/neg/patmatexhaust.check18
1 files changed, 17 insertions, 1 deletions
diff --git a/test/files/neg/patmatexhaust.check b/test/files/neg/patmatexhaust.check
index 8aa9238d2e..5426d61d31 100644
--- a/test/files/neg/patmatexhaust.check
+++ b/test/files/neg/patmatexhaust.check
@@ -35,4 +35,20 @@ missing combination B
def ma9(x: B) = x match {
^
-7 errors found
+patmatexhaust.scala:100: error: match is not exhaustive!
+missing combination C1
+
+ def ma10(x: C) = x match { // not exhaustive: C1 is not sealed.
+ ^
+patmatexhaust.scala:114: error: match is not exhaustive!
+missing combination D1
+missing combination D2
+
+ def ma10(x: C) = x match { // not exhaustive: C1 has subclasses.
+ ^
+patmatexhaust.scala:126: error: match is not exhaustive!
+missing combination C1
+
+ def ma10(x: C) = x match { // not exhaustive: C1 is not abstract.
+ ^
+10 errors found