summaryrefslogtreecommitdiff
path: root/src/Propellor/Types.hs
diff options
context:
space:
mode:
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
{-