summaryrefslogtreecommitdiff
path: root/src/Propellor/Info.hs
diff options
context:
space:
mode:
authorJoey Hess2016-11-11 17:54:40 -0400
committerJoey Hess2016-11-11 17:54:40 -0400
commit4cbcfd3c386efb094b9e21dcb6e32111f9431f84 (patch)
treedb98e39ed645207990d77f8bf49138965f57881e /src/Propellor/Info.hs
parent2977e6abdf8eb9043fc722f8bb87ef60d42cb579 (diff)
parentdddfbc2f76d1d8be74d34b2d3d90e206d9f001a2 (diff)
Merge branch 'joeyconfig'
Diffstat (limited to 'src/Propellor/Info.hs')
-rw-r--r--src/Propellor/Info.hs6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Propellor/Info.hs b/src/Propellor/Info.hs
index e9218291..3d7f07a5 100644
--- a/src/Propellor/Info.hs
+++ b/src/Propellor/Info.hs
@@ -38,6 +38,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 +50,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