Fix TcSimplify.decideQuantification for kind variables
[ghc.git] / testsuite / tests / ghci / scripts / T7939.stdout
1 class Foo (a :: k) where
2   type family Bar (a :: k) b :: *
3         -- Defined at T7939.hs:6:4
4 Bar :: k -> * -> *
5 type family F a :: *    -- Defined at T7939.hs:8:1
6 type instance F Int = Bool      -- Defined at T7939.hs:9:15
7 F :: * -> *
8 type family G a :: *
9   where G Int = Bool
10         -- Defined at T7939.hs:11:1
11 G :: * -> *
12 type family H (a :: Bool) :: Bool
13   where H 'False = 'True
14         -- Defined at T7939.hs:14:1
15 H :: Bool -> Bool
16 type family J (a :: [k]) :: Bool
17   where
18     [k] J k '[] = 'False
19     [k, (h :: k), (t :: [k])] J k (h : t) = 'True
20         -- Defined at T7939.hs:17:1
21 J :: [k] -> Bool
22 type family K (a1 :: [a]) :: Maybe a
23   where
24     [a] K a '[] = 'Nothing
25     [a, (h :: a), (t :: [a])] K a (h : t) = 'Just h
26         -- Defined at T7939.hs:21:1
27 K :: [a] -> Maybe a