summaryrefslogtreecommitdiff
path: root/src/Propellor/PrivData.hs
diff options
context:
space:
mode:
authorJoey Hess2015-01-24 13:59:29 -0400
committerJoey Hess2015-01-24 16:53:59 -0400
commit414ee7eee60300eb7f7c49e4890b056d19b3c59b (patch)
tree93f7ca55067b2c2e00c04110e8605c4d67088fea /src/Propellor/PrivData.hs
parent38eec6fc37054df1838be905670e1ed1ff308a65 (diff)
added GADT to determine between a property with info and without
Not yet used
Diffstat (limited to 'src/Propellor/PrivData.hs')
-rw-r--r--src/Propellor/PrivData.hs6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/Propellor/PrivData.hs b/src/Propellor/PrivData.hs
index 9e35274a..1e7a9d28 100644
--- a/src/Propellor/PrivData.hs
+++ b/src/Propellor/PrivData.hs
@@ -97,7 +97,11 @@ withPrivData' feed srclist c mkprop = addinfo $ mkprop $ \a ->
liftIO $ showSet $
map (\s -> (privDataField s, Context cname, describePrivDataSource s)) srclist
return FailedChange
- addinfo p = p { propertyInfo = propertyInfo p <> mempty { _privData = privset } }
+ addinfo p = mkProperty
+ (propertyDesc p)
+ (propertySatisfy p)
+ (propertyInfo p <> mempty { _privData = privset })
+ (propertyChildren p)
privset = S.fromList $ map (\s -> (privDataField s, describePrivDataSource s, hc)) srclist
fieldnames = map show fieldlist
fieldlist = map privDataField srclist