From ed84544297dd1483eeaf7c5bde706d773651496a Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 9 Mar 2016 12:11:42 -0400 Subject: note bug --- src/Propellor/Types/Target.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/Propellor/Types') 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 -- cgit v1.2.3