summaryrefslogtreecommitdiff
path: root/src/Propellor/Property.hs
diff options
context:
space:
mode:
authorJoey Hess2016-03-25 14:24:09 -0400
committerJoey Hess2016-03-25 14:24:09 -0400
commit9768434f5fa2f2ed0bbb0212763a76471186a3cd (patch)
treec5c13b99ef9cb38351a0a0c8ab25280ff3a155f9 /src/Propellor/Property.hs
parent91d1833155a2e8be2c435d0a92a750cc9d2f30b5 (diff)
finished porting Property.User
Diffstat (limited to 'src/Propellor/Property.hs')
-rw-r--r--src/Propellor/Property.hs10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Propellor/Property.hs b/src/Propellor/Property.hs
index 8999d8d8..ba30209e 100644
--- a/src/Propellor/Property.hs
+++ b/src/Propellor/Property.hs
@@ -255,12 +255,12 @@ isNewerThan x y = do
tightenTargets
::
-- Note that this uses PolyKinds
- ( (Targets old `NotSuperset` Targets new) ~ 'CanCombine
- , (NonTargets new `NotSuperset` NonTargets old) ~ 'CanCombine
- , SingI new
+ ( (Targets untightened `NotSuperset` Targets tightened) ~ 'CanCombine
+ , (NonTargets tightened `NotSuperset` NonTargets untightened) ~ 'CanCombine
+ , SingI tightened
)
- => Property (MetaTypes old)
- -> Property (MetaTypes new)
+ => Property (MetaTypes untightened)
+ -> Property (MetaTypes tightened)
tightenTargets (Property _old d a i c) = Property sing d a i c
{-