Test wibbles for commit 03541cba
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 12 Sep 2016 21:21:15 +0000 (22:21 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 12 Sep 2016 22:09:04 +0000 (23:09 +0100)
I must have failed to validate properly, sorry.
These testsuite wibbles belong with

  commit 03541cbae50f0d1cdf99120ab88698f29a278159
  Author: Simon Peyton Jones <simonpj@microsoft.com>
  Date:   Fri Sep 9 17:42:42 2016 +0100

      Be less picky about reporing inaccessible code

testsuite/tests/typecheck/should_fail/FDsFromGivens.hs
testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr
testsuite/tests/typecheck/should_fail/T10715.hs
testsuite/tests/typecheck/should_fail/T10715.stderr
testsuite/tests/typecheck/should_fail/T8392a.hs
testsuite/tests/typecheck/should_fail/T8392a.stderr

index 6e1b34d..110199b 100644 (file)
@@ -6,7 +6,10 @@ class C a b | a -> b where
    cop :: a -> b -> ()
 
 {- Failing, as it righteously should! It's inaccessible code -}
--- But (c.f. test T5236) we no longer reject this (see Trac #12466)
+-- But (c.f. test T5236) we no longer reject this in the
+-- typechecker (see Trac #12466)
+-- Instead we get a redundant pattern-match warning,
+-- in the post-typechecking pattern-match checks
 g1 :: (C Char [a], C Char Bool) => a -> ()
 g1 x = ()
 
index e69de29..964e4b6 100644 (file)
@@ -0,0 +1,4 @@
+
+FDsFromGivens.hs:11:1: warning: [-Woverlapping-patterns (in -Wdefault)]
+    Pattern match is redundant
+    In an equation for ‘g1’: g1 x = ...
index c48402f..9e675e2 100644 (file)
@@ -11,6 +11,8 @@ data X a
 --
 -- But in Trac #12466 we decided to accept contradictory
 -- type signatures, so definition is now accepeted even
--- though you can never call it.
+-- though you can never call it.  Instead we get a
+-- redundant pattern-match warning, in the
+-- post-typechecking pattern-match checks
 doCoerce :: Coercible a (X a) => a -> X a
 doCoerce = coerce
index e69de29..10ff2c9 100644 (file)
@@ -0,0 +1,4 @@
+
+T10715.hs:17:1: warning: [-Woverlapping-patterns (in -Wdefault)]
+    Pattern match is redundant
+    In an equation for ‘doCoerce’: doCoerce = ...
index 2ae2338..940f8b6 100644 (file)
@@ -5,5 +5,7 @@ module T8392a where
 --
 -- But (Trac #12466) we now don't complain about
 -- contradictory signatures
+-- Instead we get a redundant pattern-match warning,
+-- in the post-typechecking pattern-match checks
 foo :: (Int ~ Bool) => a -> a
 foo x = x
index e69de29..bfc30e7 100644 (file)
@@ -0,0 +1,4 @@
+
+T8392a.hs:11:1: warning: [-Woverlapping-patterns (in -Wdefault)]
+    Pattern match is redundant
+    In an equation for ‘foo’: foo x = ...