From a7560c9677485dbecd7283aedf977c4653cfacb4 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Fri, 25 Mar 2016 13:10:33 -0400 Subject: fix CheckCombinable Was wrong when there was a non-target in the MetaTypes list. Also, rework to improve type checker errors. --- src/Propellor/EnsureProperty.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Propellor/EnsureProperty.hs') 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 -- cgit v1.2.3