diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-06-03 10:06:59 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-06-03 10:06:59 -0700 |
| commit | 6ed018b2e9ca4bf0696f9d692d93a67d6bad4c5f (patch) | |
| tree | f0b6a44c54b799f746af9f97260c2c6cff606013 /test/files/pos | |
| parent | 488ed391e3572a621d7692c604fad464346091a5 (diff) | |
| parent | 3cb72faace500c14017cc163411dcac36a4ba9a4 (diff) | |
| download | scala-6ed018b2e9ca4bf0696f9d692d93a67d6bad4c5f.tar.gz scala-6ed018b2e9ca4bf0696f9d692d93a67d6bad4c5f.tar.bz2 scala-6ed018b2e9ca4bf0696f9d692d93a67d6bad4c5f.zip | |
Merge pull request #650 from adriaanm/topic-virtpatmat
Unreachability analysis for pattern matches
Thanks for reviewing, @retronym!
Diffstat (limited to 'test/files/pos')
| -rw-r--r-- | test/files/pos/virtpatmat_reach_const.scala | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/files/pos/virtpatmat_reach_const.scala b/test/files/pos/virtpatmat_reach_const.scala new file mode 100644 index 0000000000..b55b7cb229 --- /dev/null +++ b/test/files/pos/virtpatmat_reach_const.scala @@ -0,0 +1,11 @@ +// check the interaction between constants and type tests in creating the equality axioms +object Test { + type Formula = List[String] + val TrueF: Formula = List() + def distribute(a: Formula, b: Formula) = (a, b) match { + case (TrueF, _) => + case (_, TrueF) => // bug: considered unreachable + case (a :: Nil, b :: Nil) => + case _ => + } +}
\ No newline at end of file |