Commit 5eeabe25 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test wibbles for commit 03541cba

I must have failed to validate properly, sorry.
These testsuite wibbles belong with

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

      Be less picky about reporing inaccessible code
parent 6555c6bb
......@@ -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 = ()
FDsFromGivens.hs:11:1: warning: [-Woverlapping-patterns (in -Wdefault)]
Pattern match is redundant
In an equation for ‘g1’: g1 x = ...
......@@ -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
T10715.hs:17:1: warning: [-Woverlapping-patterns (in -Wdefault)]
Pattern match is redundant
In an equation for ‘doCoerce’: doCoerce = ...
......@@ -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
T8392a.hs:11:1: warning: [-Woverlapping-patterns (in -Wdefault)]
Pattern match is redundant
In an equation for ‘foo’: foo x = ...
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment