1 files changed, 57 insertions, 0 deletions
diff --git a/src/Settings/Warnings.hs b/src/Settings/Warnings.hs
new file mode 100644
index 0000000000..f8eb4a5da0
--- /dev/null
+++ b/src/Settings/Warnings.hs
@@ -0,0 +1,57 @@
+module Settings.Warnings (defaultGhcWarningsArgs, warningArgs) where
+
+import Expression
+import Oracles.Flag
+import Oracles.Setting
+import Settings
+
+-- See @mk/warnings.mk@ for warning-related arguments in the Make build system.
+
+-- | Default Haskell warning-related arguments.
+defaultGhcWarningsArgs :: Args
+defaultGhcWarningsArgs = mconcat
+    [ notStage0 ? pure [ "-Werror", "-Wnoncanonical-monad-instances" ]
+    , (not <$> flag GccIsClang) ? mconcat
+      [ (not <$> flag GccLt46) ?
+        (not <$> windowsHost ) ? arg "-optc-Werror=unused-but-set-variable"
+      , (not <$> flag GccLt44) ? arg "-optc-Wno-error=inline" ]
+    , flag GccIsClang ? arg "-optc-Wno-unknown-pragmas" ]
+
+-- | Package-specific warnings-related arguments, mostly suppressing various warnings.
+warningArgs :: Args
+warningArgs = builder Ghc ? do
+    isIntegerSimple <- (== integerSimple) <$> getIntegerPackage
+    mconcat
+        [ stage0 ? mconcat
+        [ libraryPackage       ? pure [ "-fno-warn-deprecated-flags" ]
+        , package terminfo     ? pure [ "-fno-warn-unused-imports" ]
+        , package transformers ? pure [ "-fno-warn-unused-matches"
+                                      , "-fno-warn-unused-imports" ] ]
+        , notStage0 ? mconcat
+        [ libraryPackage       ? pure [ "-Wno-deprecated-flags" ]
+        , package base         ? pure [ "-Wno-trustworthy-safe" ]
+        , package binary       ? pure [ "-Wno-deprecations" ]
+        , package bytestring   ? pure [ "-Wno-inline-rule-shadowing" ]
+        , package compiler     ? pure [ "-Wcpp-undef" ]
+        , package directory    ? pure [ "-Wno-unused-imports" ]
+        , package ghc          ? pure [ "-Wcpp-undef" ]
+        , package ghcPrim      ? pure [ "-Wno-trustworthy-safe" ]
+        , package haddock      ? pure [ "-Wno-unused-imports"
+                                      , "-Wno-deprecations" ]
+        , package haskeline    ? pure [ "-Wno-deprecations"
+                                      , "-Wno-unused-imports"
+                                      , "-Wno-redundant-constraints"
+                                      , "-Wno-simplifiable-class-constraints" ]
+        , package pretty       ? pure [ "-Wno-unused-imports" ]
+        , package primitive    ? pure [ "-Wno-unused-imports"
+                                      , "-Wno-deprecations" ]
+        , package rts          ? pure [ "-Wcpp-undef" ]
+        , package terminfo     ? pure [ "-Wno-unused-imports" ]
+        , isIntegerSimple      ?
+          package text         ? pure [ "-Wno-unused-imports" ]
+        , package transformers ? pure [ "-Wno-unused-matches"
+                                      , "-Wno-unused-imports"
+                                      , "-Wno-redundant-constraints"
+                                      , "-Wno-orphans" ]
+        , package win32        ? pure [ "-Wno-trustworthy-safe" ]
+        , package xhtml        ? pure [ "-Wno-unused-imports" ] ] ]