diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-25 13:10:33 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-25 13:11:26 -0400 |
| commit | a7560c9677485dbecd7283aedf977c4653cfacb4 (patch) | |
| tree | 43774f4dc22be843e090566c9d3aabe490f76c93 /src/Propellor/EnsureProperty.hs | |
| parent | de3a9a722847685b267ce396166de9245cd0d566 (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.hs | 2 |
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 |