summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T5095.stderr
blob: 27784f8250cc599ef646ece54eb7f11ff0240b35 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

T5095.hs:9:11: error:
    • Overlapping instances for Eq a arising from a use of ‘==’
      Matching instance:
        instance [overlappable] Show a => Eq a -- Defined at T5095.hs:5:31
      Potentially matching instances:
        instance Eq Ordering -- Defined in ‘GHC.Classes’
        instance Eq a => Eq (Maybe a) -- Defined in ‘GHC.Maybe’
        ...plus 24 others
        ...plus six instances involving out-of-scope types
        (use -fprint-potential-instances to see them all)
      (The choice depends on the instantiation of ‘a’
       To pick the first instance above, use IncoherentInstances
       when compiling the other instance declarations)
    • In the expression: x == y
      In an equation for ‘f’: f x y = x == y