diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-04 17:51:40 +0200 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-05 16:26:18 +0200 |
commit | b61b5fffb625a7db7bdd5d1c434971ecadc3791f (patch) | |
tree | 3c7703de3ed83ec25d9e91f5e8a7bba5f2dfea1a /test/files/neg | |
parent | 8234ba3905b588ea40e9a6bc0b1f83c464ddf191 (diff) | |
download | scala-b61b5fffb625a7db7bdd5d1c434971ecadc3791f.tar.gz scala-b61b5fffb625a7db7bdd5d1c434971ecadc3791f.tar.bz2 scala-b61b5fffb625a7db7bdd5d1c434971ecadc3791f.zip |
SI-6008 use static knowledge of success of type tests
augment the equality axioms to take into account that
a type test against the static type of a variable succeeds unless the variable is null
for exhaustivity we disregard null, so the type test always succeeds
during unreachability we model this knowledge as the obvious implication
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/exhausting.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/neg/exhausting.check b/test/files/neg/exhausting.check index 7140b99428..0f0d13cb33 100644 --- a/test/files/neg/exhausting.check +++ b/test/files/neg/exhausting.check @@ -7,7 +7,7 @@ It would fail on the following input: Nil def fail2[T](xs: List[T]) = xs match { ^ exhausting.scala:32: error: match may not be exhaustive. -It would fail on the following input: List(<not in (1, 2)>) +It would fail on the following input: List((x: Int forSome x not in (1, 2))) def fail3a(xs: List[Int]) = xs match { ^ exhausting.scala:39: error: match may not be exhaustive. |