Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / ghci / scripts / T4175.stdout
1 type family A a b :: *  -- Defined at T4175.hs:7:1
2 type instance A (B a) b = ()    -- Defined at T4175.hs:10:1
3 type instance A (Maybe a) a = a         -- Defined at T4175.hs:9:1
4 type instance A Int Int = ()    -- Defined at T4175.hs:8:1
5 data family B a         -- Defined at T4175.hs:12:1
6 instance G B -- Defined at T4175.hs:34:10
7 data instance B () = MkB        -- Defined at T4175.hs:13:15
8 type instance A (B a) b = ()    -- Defined at T4175.hs:10:1
9 class C a where
10   type family D a b :: *
11         -- Defined at T4175.hs:16:5
12 type instance D () () = Bool    -- Defined at T4175.hs:22:5
13 type instance D Int () = String         -- Defined at T4175.hs:19:5
14 type family E a :: * where
15     E () = Bool
16     E Int = String
17         -- Defined at T4175.hs:24:1
18 data () = ()    -- Defined in ‘GHC.Tuple’
19 instance C () -- Defined at T4175.hs:21:10
20 instance Bounded () -- Defined in ‘GHC.Enum’
21 instance Enum () -- Defined in ‘GHC.Enum’
22 instance Eq () -- Defined in ‘GHC.Classes’
23 instance Ord () -- Defined in ‘GHC.Classes’
24 instance Read () -- Defined in ‘GHC.Read’
25 instance Show () -- Defined in ‘GHC.Show’
26 instance Monoid () -- Defined in ‘GHC.Base’
27 type instance D () () = Bool    -- Defined at T4175.hs:22:5
28 type instance D Int () = String         -- Defined at T4175.hs:19:5
29 data instance B () = MkB        -- Defined at T4175.hs:13:15
30 data Maybe a = Nothing | Just a         -- Defined in ‘GHC.Base’
31 instance Eq a => Eq (Maybe a) -- Defined in ‘GHC.Base’
32 instance Monad Maybe -- Defined in ‘GHC.Base’
33 instance Functor Maybe -- Defined in ‘GHC.Base’
34 instance Ord a => Ord (Maybe a) -- Defined in ‘GHC.Base’
35 instance Read a => Read (Maybe a) -- Defined in ‘GHC.Read’
36 instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
37 instance Applicative Maybe -- Defined in ‘GHC.Base’
38 instance Foldable Maybe -- Defined in ‘Data.Foldable’
39 instance Traversable Maybe -- Defined in ‘Data.Traversable’
40 instance Monoid a => Monoid (Maybe a) -- Defined in ‘GHC.Base’
41 type instance A (Maybe a) a = a         -- Defined at T4175.hs:9:1
42 data Int = I# Int#      -- Defined in ‘GHC.Types’
43 instance C Int -- Defined at T4175.hs:18:10
44 instance Bounded Int -- Defined in ‘GHC.Enum’
45 instance Enum Int -- Defined in ‘GHC.Enum’
46 instance Eq Int -- Defined in ‘GHC.Classes’
47 instance Integral Int -- Defined in ‘GHC.Real’
48 instance Num Int -- Defined in ‘GHC.Num’
49 instance Ord Int -- Defined in ‘GHC.Classes’
50 instance Read Int -- Defined in ‘GHC.Read’
51 instance Real Int -- Defined in ‘GHC.Real’
52 instance Show Int -- Defined in ‘GHC.Show’
53 type instance D Int () = String         -- Defined at T4175.hs:19:5
54 type instance A Int Int = ()    -- Defined at T4175.hs:8:1
55 class Z a       -- Defined at T4175.hs:28:1
56 instance F (Z a) -- Defined at T4175.hs:31:10