T5095.stderr 3.15 KB
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1
2

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