From 5d2d64678f506d23bdfddb3f7cc452ac1d7c42eb Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Fri, 25 Mar 2016 02:05:26 -0400 Subject: fix warnings --- src/Propellor/Property.hs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'src/Propellor/Property.hs') diff --git a/src/Propellor/Property.hs b/src/Propellor/Property.hs index c665b6a0..582b7cfb 100644 --- a/src/Propellor/Property.hs +++ b/src/Propellor/Property.hs @@ -56,7 +56,6 @@ import Propellor.Types import Propellor.Types.ResultCheck import Propellor.Types.MetaTypes import Propellor.Info -import Propellor.Exception import Propellor.EnsureProperty import Utility.Exception import Utility.Monad @@ -256,13 +255,13 @@ 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) ~ 'CanCombineTargets + , (NonTargets new `NotSuperset` NonTargets old) ~ 'CanCombineTargets , SingI new ) => Property (MetaTypes old) -> Property (MetaTypes new) -tightenTargets (Property old d a i c) = Property sing d a i c +tightenTargets (Property _old d a i c) = Property sing d a i c {- -- cgit v1.2.3