summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Propellor/Types/Target.hs5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Propellor/Types/Target.hs b/src/Propellor/Types/Target.hs
index a7d33412..6e91d57c 100644
--- a/src/Propellor/Types/Target.hs
+++ b/src/Propellor/Types/Target.hs
@@ -40,7 +40,7 @@ foo = Property supportedos $ do
ensureProperty supportedos jail
where supportedos = includeTarget debian freeBSD
-jail :: Property (Targeting '[OSFreeBSD])
+jail :: Property FreeBSDOnly
jail = target freeBSD $ mkProperty $ do
return ()
----- END DEMO ----------
@@ -76,6 +76,9 @@ freeBSD = targeting OSFreeBSD
targeting :: Target -> Targeting os
targeting o = Targeting [o]
+-- FIXME: Wrong for eg, inner [Debian] vs outer [Debian,FreeBSD], since
+-- they interesect to [Debian]. All things in the outer *must* be present
+-- in the inner.
ensureProperty
:: (CannotCombineTargets outertarget innertarget (IntersectTarget outertarget innertarget) ~ CanCombineTargets)
=> Targeting outertarget