diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-09 12:11:42 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-09 12:11:42 -0400 |
| commit | ed84544297dd1483eeaf7c5bde706d773651496a (patch) | |
| tree | c4fb20ead2e82477518800047e6fb054912089ba /src | |
| parent | bbac72a724314cc00b17cfa3cdab149b2dad8166 (diff) | |
note bug
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 |