summaryrefslogtreecommitdiff
path: root/src/Propellor/Types
diff options
context:
space:
mode:
authorJoey Hess2016-03-09 12:11:42 -0400
committerJoey Hess2016-03-09 12:11:42 -0400
commited84544297dd1483eeaf7c5bde706d773651496a (patch)
treec4fb20ead2e82477518800047e6fb054912089ba /src/Propellor/Types
parentbbac72a724314cc00b17cfa3cdab149b2dad8166 (diff)
note bug
Diffstat (limited to 'src/Propellor/Types')
-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