diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Propellor/Types/Target.hs | 5 |
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 |