From 9768434f5fa2f2ed0bbb0212763a76471186a3cd Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Fri, 25 Mar 2016 14:24:09 -0400 Subject: finished porting Property.User --- src/Propellor/Property.hs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/Propellor/Property.hs') 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 {- -- cgit v1.3-2-g0d8e