Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / ghci / scripts / T7939.hs
1 {-# LANGUAGE TypeFamilies, PolyKinds, DataKinds, TypeOperators #-}
2 module T7939 where
3 import Data.Kind (Type)
4
5 class Foo a where
6 type Bar a b
7
8 type family F a
9 type instance F Int = Bool
10
11 type family G a where
12 G Int = Bool
13
14 type family H a where
15 H False = True
16
17 type family J a where
18 J '[] = False
19 J (h ': t) = True
20
21 type family K a where
22 K '[] = Nothing
23 K (h ': t) = Just h
24
25 type family L (a :: k) (b :: Type) :: k where
26 L Int Int = Bool
27 L Maybe Bool = IO