diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-25 14:04:40 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-25 14:04:40 -0400 |
| commit | 91d1833155a2e8be2c435d0a92a750cc9d2f30b5 (patch) | |
| tree | bd9662a258b4b0544e19295a319b61086a201d6f /src/Propellor/Property.hs | |
| parent | 48a05503493caeb80794a872b0e3b4482d5859ce (diff) | |
ported Property.List
I wanted to keep propertyList [foo, bar] working, but had some difficulty
making the type class approach work. Anyway, that's unlikely to be useful,
since foo and bar probably have different types, or could easiy have their
types updated breaking it.
Diffstat (limited to 'src/Propellor/Property.hs')
| -rw-r--r-- | src/Propellor/Property.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Propellor/Property.hs b/src/Propellor/Property.hs index 582b7cfb..8999d8d8 100644 --- a/src/Propellor/Property.hs +++ b/src/Propellor/Property.hs @@ -255,8 +255,8 @@ isNewerThan x y = do tightenTargets :: -- Note that this uses PolyKinds - ( (Targets old `NotSuperset` Targets new) ~ 'CanCombineTargets - , (NonTargets new `NotSuperset` NonTargets old) ~ 'CanCombineTargets + ( (Targets old `NotSuperset` Targets new) ~ 'CanCombine + , (NonTargets new `NotSuperset` NonTargets old) ~ 'CanCombine , SingI new ) => Property (MetaTypes old) |