diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-10-23 05:26:17 -0700 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-10-23 05:26:17 -0700 |
commit | 3bfc12a7c2369fe666ca2576ac7af8cdc91451ab (patch) | |
tree | a8f7d4ba165472ec4d9f5015a40213085bd96e95 /test/disabled | |
parent | b9c46ff6d7f337c9fc9c2c58b1c7bc5b95171661 (diff) | |
parent | 69557da5539a5a5132100fdab931e69f82139e15 (diff) | |
download | scala-3bfc12a7c2369fe666ca2576ac7af8cdc91451ab.tar.gz scala-3bfc12a7c2369fe666ca2576ac7af8cdc91451ab.tar.bz2 scala-3bfc12a7c2369fe666ca2576ac7af8cdc91451ab.zip |
Merge pull request #3068 from retronym/ticket/7020-3-1
Deterministic warnings for pattern matcher, take 2
Diffstat (limited to 'test/disabled')
-rw-r--r-- | test/disabled/neg/t7020.check | 19 | ||||
-rw-r--r-- | test/disabled/neg/t7020.flags | 1 | ||||
-rw-r--r-- | test/disabled/neg/t7020.scala | 30 |
3 files changed, 0 insertions, 50 deletions
diff --git a/test/disabled/neg/t7020.check b/test/disabled/neg/t7020.check deleted file mode 100644 index f9600ca7fc..0000000000 --- a/test/disabled/neg/t7020.check +++ /dev/null @@ -1,19 +0,0 @@ -t7020.scala:3: warning: match may not be exhaustive. -It would fail on the following inputs: List((x: Int forSome x not in (1, 2, 4, 5, 6, 7))), List((x: Int forSome x not in (1, 2, 4, 5, 6, 7)), _), List(1, _), List(2, _), List(4, _), List(5, _), List(6, _), List(7, _), List(??, _), List(_, _) - List(5) match { - ^ -t7020.scala:10: warning: match may not be exhaustive. -It would fail on the following inputs: List((x: Int forSome x not in (1, 2, 4, 5, 6, 7))), List((x: Int forSome x not in (1, 2, 4, 5, 6, 7)), _), List(1, _), List(2, _), List(4, _), List(5, _), List(6, _), List(7, _), List(??, _), List(_, _) - List(5) match { - ^ -t7020.scala:17: warning: match may not be exhaustive. -It would fail on the following inputs: List((x: Int forSome x not in (1, 2, 4, 5, 6, 7))), List((x: Int forSome x not in (1, 2, 4, 5, 6, 7)), _), List(1, _), List(2, _), List(4, _), List(5, _), List(6, _), List(7, _), List(??, _), List(_, _) - List(5) match { - ^ -t7020.scala:24: warning: match may not be exhaustive. -It would fail on the following inputs: List((x: Int forSome x not in (1, 2, 4, 5, 6, 7))), List((x: Int forSome x not in (1, 2, 4, 5, 6, 7)), _), List(1, _), List(2, _), List(4, _), List(5, _), List(6, _), List(7, _), List(??, _), List(_, _) - List(5) match { - ^ -error: No warnings can be incurred under -Xfatal-warnings. -four warnings found -one error found diff --git a/test/disabled/neg/t7020.flags b/test/disabled/neg/t7020.flags deleted file mode 100644 index e8fb65d50c..0000000000 --- a/test/disabled/neg/t7020.flags +++ /dev/null @@ -1 +0,0 @@ --Xfatal-warnings
\ No newline at end of file diff --git a/test/disabled/neg/t7020.scala b/test/disabled/neg/t7020.scala deleted file mode 100644 index cc5421bab1..0000000000 --- a/test/disabled/neg/t7020.scala +++ /dev/null @@ -1,30 +0,0 @@ -object Test { - // warning was non-deterministic - List(5) match { - case 1 :: Nil | 2 :: Nil => - case (x@(4 | 5 | 6)) :: Nil => - case 7 :: Nil => - case Nil => - } - - List(5) match { - case 1 :: Nil | 2 :: Nil => - case (x@(4 | 5 | 6)) :: Nil => - case 7 :: Nil => - case Nil => - } - - List(5) match { - case 1 :: Nil | 2 :: Nil => - case (x@(4 | 5 | 6)) :: Nil => - case 7 :: Nil => - case Nil => - } - - List(5) match { - case 1 :: Nil | 2 :: Nil => - case (x@(4 | 5 | 6)) :: Nil => - case 7 :: Nil => - case Nil => - } -} |