diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Propellor/Types/OS/Typelevel.hs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/Propellor/Types/OS/Typelevel.hs b/src/Propellor/Types/OS/Typelevel.hs index 879259df..4803e4ac 100644 --- a/src/Propellor/Types/OS/Typelevel.hs +++ b/src/Propellor/Types/OS/Typelevel.hs @@ -87,10 +87,7 @@ type instance IntersectOSList (a ': rest) list2 = -- | Type level elem for OSList type family ElemOSList (a :: SupportedOS) (list :: [SupportedOS]) :: Bool type instance ElemOSList a '[] = False -type instance ElemOSList a (b ': bs) = - If (a == b) - True - (ElemOSList a bs) +type instance ElemOSList a (b ': bs) = a == b || ElemOSList a bs -- | Type level equality for SupportedOS type family EqOS (a :: SupportedOS) (b :: SupportedOS) where |