summaryrefslogtreecommitdiff
path: root/src/Propellor/Types.hs
diff options
context:
space:
mode:
authorJoey Hess2016-03-24 15:42:47 -0400
committerJoey Hess2016-03-24 15:42:47 -0400
commitf5e7596cb9183158644fdd2df9996871dc0a8efa (patch)
tree4878b3ea899cd5fe66e847f163c94b9b3e64bbcf /src/Propellor/Types.hs
parentab2204fc868f8f0e9fbc57a4b0b75996a38d934d (diff)
converted Propellor.Info
Diffstat (limited to 'src/Propellor/Types.hs')
-rw-r--r--src/Propellor/Types.hs5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Propellor/Types.hs b/src/Propellor/Types.hs
index 25269969..49ba9220 100644
--- a/src/Propellor/Types.hs
+++ b/src/Propellor/Types.hs
@@ -149,11 +149,12 @@ mkProperty d a = Property sing d a mempty mempty
--
-- The new Property will include HasInfo in its metatypes.
addInfoProperty
- :: (metatypes' ~ (+) HasInfo metatypes, SingI metatypes')
+ :: (Sing metatypes' ~ (+) HasInfo metatypes, SingI metatypes')
=> Property metatypes
-> Info
-> Property (Sing metatypes')
-addInfoProperty (Property metatypes d a i c) newi = Property sing d a (i <> newi) c
+addInfoProperty (Property metatypes d a oldi c) newi =
+ Property sing d a (oldi <> newi) c
{-