DynFlags: Add -Wredundant-constraints to -Wall
authorBen Gamari <bgamari.foss@gmail.com>
Mon, 29 Feb 2016 11:28:49 +0000 (12:28 +0100)
committerBen Gamari <ben@smart-cactus.org>
Mon, 29 Feb 2016 12:43:00 +0000 (13:43 +0100)
Test Plan: It works, I promise.

Reviewers: austin

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D1956

GHC Trac Issues: #11370

compiler/main/DynFlags.hs
testsuite/tests/typecheck/should_compile/T10632.stderr
testsuite/tests/typecheck/should_compile/T9939.stderr
testsuite/tests/warnings/should_compile/PluralS.stderr

index 8f9fbbb..ce51d3e 100644 (file)
@@ -3887,7 +3887,8 @@ minusWallOpts
         Opt_WarnUnusedDoBind,
         Opt_WarnTrustworthySafe,
         Opt_WarnUntickedPromotedConstructors,
-        Opt_WarnMissingPatternSynonymSignatures
+        Opt_WarnMissingPatternSynonymSignatures,
+        Opt_WarnRedundantConstraints
       ]
 
 -- | Things you get with -Weverything, i.e. *all* known warnings flags
index 211972d..c3d112f 100644 (file)
@@ -1,5 +1,5 @@
 
-T10632.hs:3:1: warning: [-Wredundant-constraints]
+T10632.hs:3:1: warning: [-Wredundant-constraints (in -Wall)]
     • Redundant constraint: ?file1::String
     • In the type signature for:
            f :: (?file1::String) => IO ()
index a10066b..d10c510 100644 (file)
@@ -1,20 +1,20 @@
 
-T9939.hs:5:1: warning: [-Wredundant-constraints]
+T9939.hs:5:1: warning: [-Wredundant-constraints (in -Wall)]
     • Redundant constraint: Eq a
     • In the type signature for:
            f1 :: (Eq a, Ord a) => a -> a -> Bool
 
-T9939.hs:9:1: warning: [-Wredundant-constraints]
+T9939.hs:9:1: warning: [-Wredundant-constraints (in -Wall)]
     • Redundant constraint: Eq a
     • In the type signature for:
            f2 :: (Eq a, Ord a) => a -> a -> Bool
 
-T9939.hs:13:1: warning: [-Wredundant-constraints]
+T9939.hs:13:1: warning: [-Wredundant-constraints (in -Wall)]
     • Redundant constraint: Eq b
     • In the type signature for:
            f3 :: (Eq a, a ~ b, Eq b) => a -> b -> Bool
 
-T9939.hs:20:1: warning: [-Wredundant-constraints]
+T9939.hs:20:1: warning: [-Wredundant-constraints (in -Wall)]
     • Redundant constraint: Eq a
     • In the type signature for:
            f4 :: (Eq a, Eq b) => a -> b -> Equal a b -> Bool
index 9289a0b..4cffc15 100644 (file)
@@ -15,12 +15,12 @@ PluralS.hs:17:29: warning: [-Wtype-defaults (in -Wall)]
       In an equation for ‘defaultingNumAndShow’:
           defaultingNumAndShow = show 123
 
-PluralS.hs:23:1: warning: [-Wredundant-constraints]
+PluralS.hs:23:1: warning: [-Wredundant-constraints (in -Wall)]
     • Redundant constraint: Num a
     • In the type signature for:
            redundantNum :: (Num a, Num a) => a
 
-PluralS.hs:26:1: warning: [-Wredundant-constraints]
+PluralS.hs:26:1: warning: [-Wredundant-constraints (in -Wall)]
     • Redundant constraints: (Show a, Num a, Eq a, Eq a)
     • In the type signature for:
            redundantMultiple :: (Num a, Show a, Num a, Eq a, Eq a) => a