diff options
| author | Burak Emir <emir@epfl.ch> | 2007-02-02 11:38:44 +0000 |
|---|---|---|
| committer | Burak Emir <emir@epfl.ch> | 2007-02-02 11:38:44 +0000 |
| commit | 9edda0088d74a33f4ec2e684b67bf0cf14ce7104 (patch) | |
| tree | cab41e9040923ccef341b03fe7a785fb3432cc05 /test/files/neg/patmatexhaust.scala | |
| parent | 6a440b960c00c01f3653385417a246e359d82e01 (diff) | |
| download | scala-9edda0088d74a33f4ec2e684b67bf0cf14ce7104.tar.gz scala-9edda0088d74a33f4ec2e684b67bf0cf14ce7104.tar.bz2 scala-9edda0088d74a33f4ec2e684b67bf0cf14ce7104.zip | |
refined exhaustivity check
Diffstat (limited to 'test/files/neg/patmatexhaust.scala')
| -rw-r--r-- | test/files/neg/patmatexhaust.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/files/neg/patmatexhaust.scala b/test/files/neg/patmatexhaust.scala index 0416749b88..aaa32cda24 100644 --- a/test/files/neg/patmatexhaust.scala +++ b/test/files/neg/patmatexhaust.scala @@ -52,6 +52,10 @@ class TestSealedExhaustive { // compile only case Ga => } + def ma6 = List(1,2) match { // give up + case List(1,2) => + case x :: xs => + } def redundant = 1 match { // include this otherwise script won't test this in files/neg case 1 => case 1 => |