diff options
author | Paul Phillips <paulp@improving.org> | 2011-05-06 04:32:39 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-05-06 04:32:39 +0000 |
commit | 311b7de861bd2f4137e3503483177a1588cfdd12 (patch) | |
tree | 7b784b842cdf4a791a056e045eb4aa208c1e755a /test/files/neg/patmatexhaust.check | |
parent | 14cd653295b5ed3f10b82193a9fb6da0867e31d6 (diff) | |
download | scala-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.check | 18 |
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 |