summaryrefslogtreecommitdiff
path: root/src/Propellor/EnsureProperty.hs
diff options
context:
space:
mode:
authorJoey Hess2016-03-25 01:11:24 -0400
committerJoey Hess2016-03-25 01:11:24 -0400
commit80ace2f30bea2ed850cf400a85fe68b3784751d2 (patch)
tree5cd4aa5e075d444c8844f867cf59735303957429 /src/Propellor/EnsureProperty.hs
parent639ac5cad21d60387007e66338864eff4d018786 (diff)
improve type error
Diffstat (limited to 'src/Propellor/EnsureProperty.hs')
-rw-r--r--src/Propellor/EnsureProperty.hs10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Propellor/EnsureProperty.hs b/src/Propellor/EnsureProperty.hs
index c72f7ecd..00495f87 100644
--- a/src/Propellor/EnsureProperty.hs
+++ b/src/Propellor/EnsureProperty.hs
@@ -34,7 +34,7 @@ import Propellor.Exception
ensureProperty
::
( (Targets inner `NotSuperset` Targets outer) ~ 'CanCombineTargets
- , CannotUseEnsurePropertyWithInfo inner ~ 'True
+ , CannotUse_ensureProperty_WithInfo inner ~ 'True
)
=> OuterMetaTypes outer
-> Property (Sing inner)
@@ -42,10 +42,10 @@ ensureProperty
ensureProperty _ = catchPropellor . propertySatisfy
-- The name of this was chosen to make type errors a more understandable.
-type family CannotUseEnsurePropertyWithInfo (l :: [a]) :: Bool
-type instance CannotUseEnsurePropertyWithInfo '[] = 'True
-type instance CannotUseEnsurePropertyWithInfo (t ': ts) =
- Not (t `EqT` 'WithInfo) && CannotUseEnsurePropertyWithInfo ts
+type family CannotUse_ensureProperty_WithInfo (l :: [a]) :: Bool
+type instance CannotUse_ensureProperty_WithInfo '[] = 'True
+type instance CannotUse_ensureProperty_WithInfo (t ': ts) =
+ Not (t `EqT` 'WithInfo) && CannotUse_ensureProperty_WithInfo ts
-- | Constructs a property, like `property`, but provides its
-- `OuterMetaTypes`.