Wibbles to output regarding role annotations.
[ghc.git] / testsuite / tests / ghci / scripts / T4175.stdout
1 type family A a b :: *  -- Defined at T4175.hs:4:1
2 type instance A (Maybe a) a -- Defined at T4175.hs:6:1
3 type instance A Int Int -- Defined at T4175.hs:5:1
4 type role B nominal
5 data family B a
6         -- Defined at T4175.hs:8:1
7 data instance B () -- Defined at T4175.hs:9:15
8 class C a where
9   type family D a b :: *
10         -- Defined at T4175.hs:12:5
11 type D () () -- Defined at T4175.hs:18:5
12 type D Int () -- Defined at T4175.hs:15:5
13 type family E a :: * where
14     E () = Bool
15     E Int = String
16         -- Defined at T4175.hs:20:1
17 data () = ()    -- Defined in ‛GHC.Tuple’
18 instance C () -- Defined at T4175.hs:17:10
19 instance Bounded () -- Defined in ‛GHC.Enum’
20 instance Enum () -- Defined in ‛GHC.Enum’
21 instance Eq () -- Defined in ‛GHC.Classes’
22 instance Ord () -- Defined in ‛GHC.Classes’
23 instance Read () -- Defined in ‛GHC.Read’
24 instance Show () -- Defined in ‛GHC.Show’
25 type D () () -- Defined at T4175.hs:18:5
26 type D Int () -- Defined at T4175.hs:15:5
27 data instance B () -- Defined at T4175.hs:9:15
28 data Maybe a = Nothing | Just a         -- Defined in ‛Data.Maybe’
29 instance Eq a => Eq (Maybe a) -- Defined in ‛Data.Maybe’
30 instance Monad Maybe -- Defined in ‛Data.Maybe’
31 instance Functor Maybe -- Defined in ‛Data.Maybe’
32 instance Ord a => Ord (Maybe a) -- Defined in ‛Data.Maybe’
33 instance Read a => Read (Maybe a) -- Defined in ‛GHC.Read’
34 instance Show a => Show (Maybe a) -- Defined in ‛GHC.Show’
35 type instance A (Maybe a) a -- Defined at T4175.hs:6:1
36 data Int = GHC.Types.I# GHC.Prim.Int#   -- Defined in ‛GHC.Types’
37 instance C Int -- Defined at T4175.hs:14:10
38 instance Bounded Int -- Defined in ‛GHC.Enum’
39 instance Enum Int -- Defined in ‛GHC.Enum’
40 instance Eq Int -- Defined in ‛GHC.Classes’
41 instance Integral Int -- Defined in ‛GHC.Real’
42 instance Num Int -- Defined in ‛GHC.Num’
43 instance Ord Int -- Defined in ‛GHC.Classes’
44 instance Read Int -- Defined in ‛GHC.Read’
45 instance Real Int -- Defined in ‛GHC.Real’
46 instance Show Int -- Defined in ‛GHC.Show’
47 type D Int () -- Defined at T4175.hs:15:5
48 type instance A Int Int -- Defined at T4175.hs:5:1