diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-08 17:18:25 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-08 17:18:25 -0400 |
| commit | 4dab5fd328fc04ed006f32014330dac2621f0385 (patch) | |
| tree | 5d61062c459c19dbb91a0de07d5d311e2caccfda /src | |
| parent | 1b84e20fa8715ba8e0881bbd9660de84f8f70feb (diff) | |
fixed it!
Diffstat (limited to 'src')
| -rw-r--r-- | src/Propellor/Types/OS/Typelevel.hs | 4 |
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) |