summaryrefslogtreecommitdiff
path: root/src/Propellor/Types
diff options
context:
space:
mode:
authorJoey Hess2016-03-08 17:18:25 -0400
committerJoey Hess2016-03-08 17:18:25 -0400
commit4dab5fd328fc04ed006f32014330dac2621f0385 (patch)
tree5d61062c459c19dbb91a0de07d5d311e2caccfda /src/Propellor/Types
parent1b84e20fa8715ba8e0881bbd9660de84f8f70feb (diff)
fixed it!
Diffstat (limited to 'src/Propellor/Types')
-rw-r--r--src/Propellor/Types/OS/Typelevel.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Propellor/Types/OS/Typelevel.hs b/src/Propellor/Types/OS/Typelevel.hs
index 2b17d87b..82f3a426 100644
--- a/src/Propellor/Types/OS/Typelevel.hs
+++ b/src/Propellor/Types/OS/Typelevel.hs
@@ -71,14 +71,14 @@ intersectSupportedOS (OSList l1) (OSList l2) = OSList (filter (`elem` l2) l1)
-- | Type level intersection for OSList
type family IntersectOSList (list1 :: [a]) (list2 :: [a]) :: [a]
-type instance IntersectOSList '[] list2 = list2
+type instance IntersectOSList '[] list2 = '[]
type instance IntersectOSList (a ': rest) list2 =
If (ElemOSList a list2)
(a ': IntersectOSList rest list2)
(IntersectOSList rest list2)
-- | Type level elem for OSList
-type family ElemOSList a (list :: [b]) :: Bool
+type family ElemOSList (a :: SupportedOS) (list :: [SupportedOS]) :: Bool
type instance ElemOSList a '[] = False
type instance ElemOSList a (b ': bs) =
If (a == b)