Refactoring on IdInfo and system derived names
[ghc.git] / testsuite / tests / ghci / scripts / T7939.stdout
1 class Foo (a :: k) where
2   type family Bar (a :: k) b
3     Kind: forall k1. k1 -> * -> *
4         -- Defined at T7939.hs:6:4
5 Bar :: k -> * -> *
6 type family F a
7   Kind: * -> *
8         -- Defined at T7939.hs:8:1
9 type instance F Int = Bool      -- Defined at T7939.hs:9:15
10 F :: * -> *
11 type family G a
12   Kind: * -> *
13   where G Int = Bool
14         -- Defined at T7939.hs:11:1
15 G :: * -> *
16 type family H (a :: Bool)
17   Kind: Bool -> Bool
18   where H 'False = 'True
19         -- Defined at T7939.hs:14:1
20 H :: Bool -> Bool
21 type family J (a :: [k])
22   Kind: forall k1. [k1] -> Bool
23   where
24     [k] J k '[] = 'False
25     [k, (h :: k), (t :: [k])] J k (h : t) = 'True
26         -- Defined at T7939.hs:17:1
27 J :: [k] -> Bool
28 type family K (a1 :: [a])
29   Kind: forall a2. [a2] -> Maybe a2
30   where
31     [a] K a '[] = 'Nothing
32     [a, (h :: a), (t :: [a])] K a (h : t) = 'Just h
33         -- Defined at T7939.hs:21:1
34 K :: [a] -> Maybe a