From f5e7596cb9183158644fdd2df9996871dc0a8efa Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 24 Mar 2016 15:42:47 -0400 Subject: converted Propellor.Info --- src/Propellor/Types.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/Propellor/Types.hs') 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 {- -- cgit v1.2.3