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