[ghc.git] / testsuite / tests / typecheck / should_fail / T5095.stderr
2 T5095.hs:9:11:
3     Overlapping instances for Eq a arising from a use of ‘==’
4     Matching instances:
5       instance [overlap ok] Show a => Eq a -- Defined at T5095.hs:5:10
6       instance Eq a => Eq (GHC.Real.Ratio a) -- Defined in ‘GHC.Real’
7       instance Eq () -- Defined in ‘GHC.Classes’
8       instance (Eq a, Eq b) => Eq (a, b) -- Defined in ‘GHC.Classes’
9       instance (Eq a, Eq b, Eq c) => Eq (a, b, c)
10         -- Defined in ‘GHC.Classes’
11       instance (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)
12         -- Defined in ‘GHC.Classes’
13       instance (Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (a, b, c, d, e)
14         -- Defined in ‘GHC.Classes’
15       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) =>
16                Eq (a, b, c, d, e, f)
17         -- Defined in ‘GHC.Classes’
18       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) =>
19                Eq (a, b, c, d, e, f, g)
20         -- Defined in ‘GHC.Classes’
21       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) =>
22                Eq (a, b, c, d, e, f, g, h)
23         -- Defined in ‘GHC.Classes’
24       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) =>
25                Eq (a, b, c, d, e, f, g, h, i)
26         -- Defined in ‘GHC.Classes’
27       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i,
28                 Eq j) =>
29                Eq (a, b, c, d, e, f, g, h, i, j)
30         -- Defined in ‘GHC.Classes’
31       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i,
32                 Eq j, Eq k) =>
33                Eq (a, b, c, d, e, f, g, h, i, j, k)
34         -- Defined in ‘GHC.Classes’
35       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i,
36                 Eq j, Eq k, Eq l) =>
37                Eq (a, b, c, d, e, f, g, h, i, j, k, l)
38         -- Defined in ‘GHC.Classes’
39       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i,
40                 Eq j, Eq k, Eq l, Eq m) =>
41                Eq (a, b, c, d, e, f, g, h, i, j, k, l, m)
42         -- Defined in ‘GHC.Classes’
43       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i,
44                 Eq j, Eq k, Eq l, Eq m, Eq n) =>
45                Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n)
46         -- Defined in ‘GHC.Classes’
47       instance (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i,
48                 Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) =>
49                Eq (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)
50         -- Defined in ‘GHC.Classes’
51       instance Eq Bool -- Defined in ‘GHC.Classes’
52       instance Eq Char -- Defined in ‘GHC.Classes’
53       instance Eq Double -- Defined in ‘GHC.Classes’
54       instance Eq Float -- Defined in ‘GHC.Classes’
55       instance Eq Int -- Defined in ‘GHC.Classes’
56       instance Eq Ordering -- Defined in ‘GHC.Classes’
57       instance Eq GHC.Types.Word -- Defined in ‘GHC.Classes’
58       instance Eq a => Eq [a] -- Defined in ‘GHC.Classes’
59       instance Eq Integer -- Defined in ‘integer-gmp:GHC.Integer.Type’
60     (The choice depends on the instantiation of ‘a’
61      To pick the first instance above, use IncoherentInstances
62      when compiling the other instance declarations)
63     In the expression: x == y
64     In an equation for ‘f’: f x y = x == y