Build system: renable -Wall on validate (base)
authorThomas Miedema <thomasmiedema@gmail.com>
Tue, 3 Nov 2015 22:17:35 +0000 (16:17 -0600)
committerAustin Seipp <austin@well-typed.com>
Tue, 3 Nov 2015 22:17:42 +0000 (16:17 -0600)
Problem: 'SRC_HC_OPTS += -Wall' in 'mk/warnings.mk' was getting
overwritten by 'SRC_HC_OPTS = ...' in 'mk/flavours/*.mk'.

It didn't affect the compiler or most other libraries, because most
.cabal files define 'ghc-options: -Wall'.

Bug introduced in commit
2c24fd707f8650205bb574ffac5f376239af3723, when moving validate settings
from 'mk/validate-settings.mk' to 'mk/flavours/validate.mk'.

Reviewed By: austin

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

ghc.mk
libraries/base/Data/Semigroup.hs
libraries/base/GHC/Enum.hs
libraries/base/GHC/GHCi.hs
mk/warnings.mk

diff --git a/ghc.mk b/ghc.mk
index 07e1edc..aaf7d00 100644 (file)
--- a/ghc.mk
+++ b/ghc.mk
@@ -142,6 +142,14 @@ include mk/warnings.mk
 
 # (Optional) build-specific configuration
 include mk/custom-settings.mk
+SRC_CC_OPTS     += -Wall
+SRC_HC_OPTS     += -Wall
+# Don't add -Werror to GhcStage1HcOpts, because otherwise validate may
+# unnecessarily fail during the stage1 build when booting with an older
+# compiler.
+# It would be better to only exclude certain warnings from becoming errors
+# (e.g. '-Werror -Wno-error=unused-imports -Wno-error=...'), but -Wno-error
+# isn't supported yet (https://ghc.haskell.org/trac/ghc/wiki/Design/Warnings).
 SRC_CC_OPTS     += $(WERROR)
 GhcStage2HcOpts += $(WERROR)
 GhcLibHcOpts    += $(WERROR)
index 6c92df9..0cd556d 100644 (file)
@@ -78,7 +78,6 @@ import           Data.Monoid         (All (..), Any (..), Dual (..), Endo (..),
                                       Product (..), Sum (..))
 import           Data.Monoid         (Alt (..))
 import qualified Data.Monoid         as Monoid
-import           Data.Proxy
 import           Data.Void
 import           GHC.Generics
 
index 0d91cc7..dcda47b 100644 (file)
@@ -704,7 +704,7 @@ the special case varies more from the general case, due to the issue of overflow
 
 {-# NOINLINE [0] enumDeltaIntegerFB #-}
 enumDeltaIntegerFB :: (Integer -> b -> b) -> Integer -> Integer -> b
-enumDeltaIntegerFB c x d = go x
+enumDeltaIntegerFB c x0 d = go x0
   where go x = x `seq` (x `c` go (x+d))
 
 {-# NOINLINE [1] enumDeltaInteger #-}
index 56874a5..514a33c 100644 (file)
@@ -21,7 +21,7 @@ module GHC.GHCi {-# WARNING "This is an unstable interface." #-} (
         GHCiSandboxIO(..), NoIO()
     ) where
 
-import GHC.Base (IO(), Monad, Functor(fmap), Applicative(..), (>>=), return, id, (.), ap)
+import GHC.Base (IO(), Monad, Functor(fmap), Applicative(..), (>>=), id, (.), ap)
 
 -- | A monad that can execute GHCi statements by lifting them out of
 -- m into the IO monad. (e.g state monads)
index 2e82428..267aef6 100644 (file)
@@ -25,9 +25,6 @@ SRC_CC_WARNING_OPTS += -Wno-unknown-pragmas
 
 endif
 
-SRC_CC_OPTS     += -Wall
-SRC_HC_OPTS     += -Wall
-
 GhcStage1HcOpts += -fwarn-tabs
 GhcStage2HcOpts += -fwarn-tabs