diff options
| -rw-r--r-- | src/Propellor/Types/Target.hs | 6 |
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 |