summaryrefslogtreecommitdiff
path: root/src/Propellor/EnsureProperty.hs
diff options
context:
space:
mode:
authorJoey Hess2016-03-25 13:10:33 -0400
committerJoey Hess2016-03-25 13:11:26 -0400
commita7560c9677485dbecd7283aedf977c4653cfacb4 (patch)
tree43774f4dc22be843e090566c9d3aabe490f76c93 /src/Propellor/EnsureProperty.hs
parentde3a9a722847685b267ce396166de9245cd0d566 (diff)
fix CheckCombinable
Was wrong when there was a non-target in the MetaTypes list. Also, rework to improve type checker errors.
Diffstat (limited to 'src/Propellor/EnsureProperty.hs')
-rw-r--r--src/Propellor/EnsureProperty.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Propellor/EnsureProperty.hs b/src/Propellor/EnsureProperty.hs
index f3e79ae5..f42003c0 100644
--- a/src/Propellor/EnsureProperty.hs
+++ b/src/Propellor/EnsureProperty.hs
@@ -33,7 +33,7 @@ import Propellor.Exception
-- with the property to be lost.
ensureProperty
::
- ( (Targets inner `NotSuperset` Targets outer) ~ 'CanCombineTargets
+ ( (Targets inner `NotSuperset` Targets outer) ~ 'CanCombine
, CannotUse_ensureProperty_WithInfo inner ~ 'True
)
=> OuterMetaTypes outer