summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Propellor/Types/Target.hs6
1 files changed, 2 insertions, 4 deletions
diff --git a/src/Propellor/Types/Target.hs b/src/Propellor/Types/Target.hs
index 4d80f35c..40b3891e 100644
--- a/src/Propellor/Types/Target.hs
+++ b/src/Propellor/Types/Target.hs
@@ -104,15 +104,13 @@ freeBSD = targeting OSFreeBSD
targeting :: Target -> Targeting os
targeting o = Targeting [o]
--- Demo. The outeros parameter would come from the Propellor monad in real
--- life.
--- XXX Can type inference work if outeros comes from Propellor monad?
+-- The outertarget parameter needs to be passed in from the outer property.
ensureProperty
:: ((innertarget `NotSupersetTargets` outertarget) ~ CanCombineTargets)
=> Targeting outertarget
-> Property (Targeting innertarget)
-> IO ()
-ensureProperty outeros (Property inneros a) = a
+ensureProperty outertarget (Property inneros a) = a
-- | The union of two lists of Targets.
unionTargets