Do pretty-printing of TyThings via IfaceDecl (Trac #7730)
[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 type role B nominal
6 data family B a
7         -- Defined at T4175.hs:12:1
8 instance G B -- Defined at T4175.hs:34:10
9 data instance B () = MkB        -- Defined at T4175.hs:13:15
10 type instance A (B a) b = ()    -- Defined at T4175.hs:10:1
11 class C a where
12   type family D a b :: *
13         -- Defined at T4175.hs:16:5
14 type instance D () () = Bool    -- Defined at T4175.hs:22:5
15 type instance D Int () = String         -- Defined at T4175.hs:19:5
16 type family E a :: * where
17     E () = Bool
18     E Int = String
19         -- Defined at T4175.hs:24:1
20 data () = ()    -- Defined in ‘GHC.Tuple’
21 instance C () -- Defined at T4175.hs:21:10
22 instance Bounded () -- Defined in ‘GHC.Enum’
23 instance Enum () -- Defined in ‘GHC.Enum’
24 instance Eq () -- Defined in ‘GHC.Classes’
25 instance Ord () -- Defined in ‘GHC.Classes’
26 instance Read () -- Defined in ‘GHC.Read’
27 instance Show () -- Defined in ‘GHC.Show’
28 type instance D () () = Bool    -- Defined at T4175.hs:22:5
29 type instance D Int () = String         -- Defined at T4175.hs:19:5
30 data instance B () = MkB        -- Defined at T4175.hs:13:15
31 data Maybe a = Nothing | Just a         -- Defined in ‘Data.Maybe’
32 instance Eq a => Eq (Maybe a) -- Defined in ‘Data.Maybe’
33 instance Monad Maybe -- Defined in ‘Data.Maybe’
34 instance Functor Maybe -- Defined in ‘Data.Maybe’
35 instance Ord a => Ord (Maybe a) -- Defined in ‘Data.Maybe’
36 instance Read a => Read (Maybe a) -- Defined in ‘GHC.Read’
37 instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’
38 type instance A (Maybe a) a = a         -- Defined at T4175.hs:9:1
39 data Int = I# Int#      -- Defined in ‘GHC.Types’
40 instance C Int -- Defined at T4175.hs:18:10
41 instance Bounded Int -- Defined in ‘GHC.Enum’
42 instance Enum Int -- Defined in ‘GHC.Enum’
43 instance Eq Int -- Defined in ‘GHC.Classes’
44 instance Integral Int -- Defined in ‘GHC.Real’
45 instance Num Int -- Defined in ‘GHC.Num’
46 instance Ord Int -- Defined in ‘GHC.Classes’
47 instance Read Int -- Defined in ‘GHC.Read’
48 instance Real Int -- Defined in ‘GHC.Real’
49 instance Show Int -- Defined in ‘GHC.Show’
50 type instance D Int () = String         -- Defined at T4175.hs:19:5
51 type instance A Int Int = ()    -- Defined at T4175.hs:8:1
52 class Z a       -- Defined at T4175.hs:28:1
53 instance F (Z a) -- Defined at T4175.hs:31:10