diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-01-24 13:59:29 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-01-24 16:53:59 -0400 |
| commit | 414ee7eee60300eb7f7c49e4890b056d19b3c59b (patch) | |
| tree | 93f7ca55067b2c2e00c04110e8605c4d67088fea /src/Propellor/PrivData.hs | |
| parent | 38eec6fc37054df1838be905670e1ed1ff308a65 (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.hs | 6 |
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 |