summaryrefslogtreecommitdiff
path: root/src/Propellor/Property.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Propellor/Property.hs')
-rw-r--r--src/Propellor/Property.hs7
1 files changed, 3 insertions, 4 deletions
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
{-