diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-11-11 17:54:40 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-11-11 17:54:40 -0400 |
| commit | 4cbcfd3c386efb094b9e21dcb6e32111f9431f84 (patch) | |
| tree | db98e39ed645207990d77f8bf49138965f57881e /src/Propellor/Info.hs | |
| parent | 2977e6abdf8eb9043fc722f8bb87ef60d42cb579 (diff) | |
| parent | dddfbc2f76d1d8be74d34b2d3d90e206d9f001a2 (diff) | |
Merge branch 'joeyconfig'
Diffstat (limited to 'src/Propellor/Info.hs')
| -rw-r--r-- | src/Propellor/Info.hs | 6 |
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 |