summaryrefslogtreecommitdiff
path: root/src/Propellor/Info.hs
diff options
context:
space:
mode:
authorJoey Hess2016-11-11 17:29:11 -0400
committerJoey Hess2016-11-11 17:29:25 -0400
commitc0d0e57257fe8dee1f9d37a6d49b6322af985a69 (patch)
treebe921c1ad45c42e6ed1c987fc51d6e9b7e013689 /src/Propellor/Info.hs
parentc24acf55af190bc332b29d0ef4a04dda9335b01a (diff)
Clean up build warnings about redundant constraints when built with ghc 8.0.
Only a couple of the constraints were really redundant. The rest are essential to propellor's tracking of Info propigation, so I silenced the warning for those. It would be better to only silence the warning for the functions with the extra constraints, but IIRC warnings can only be silenced on an entire file basis. This commit was sponsored by Andreas on Patreon.
Diffstat (limited to 'src/Propellor/Info.hs')
-rw-r--r--src/Propellor/Info.hs7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/Propellor/Info.hs b/src/Propellor/Info.hs
index e9218291..75f0b76a 100644
--- a/src/Propellor/Info.hs
+++ b/src/Propellor/Info.hs
@@ -1,4 +1,5 @@
{-# LANGUAGE PackageImports, TypeFamilies, DataKinds, PolyKinds #-}
+{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
module Propellor.Info (
osDebian,
@@ -38,6 +39,9 @@ import Prelude
--
-- The new Property will include HasInfo in its metatypes.
setInfoProperty
+ -- -Wredundant-constraints is turned off because
+ -- this constraint appears redundant, but is actually
+ -- crucial.
:: (MetaTypes metatypes' ~ (+) HasInfo metatypes, SingI metatypes')
=> Property metatypes
-> Info
@@ -47,6 +51,9 @@ setInfoProperty (Property _ d a oldi c) newi =
-- | Adds more info to a Property that already HasInfo.
addInfoProperty
+ -- -Wredundant-constraints is turned off because
+ -- this constraint appears redundant, but is actually
+ -- crucial.
:: (IncludesInfo metatypes ~ 'True)
=> Property metatypes
-> Info