From 4dab5fd328fc04ed006f32014330dac2621f0385 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 8 Mar 2016 17:18:25 -0400 Subject: fixed it! --- src/Propellor/Types/OS/Typelevel.hs | 4 ++-- 1 file 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) -- cgit v1.2.3