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

T5095.hs:9:9: error:
    • Overlapping instances for Eq a arising from a use of ‘==’
      Matching instances:
        instance [overlappable] Show a => Eq a -- Defined at T5095.hs:5:31
        instance (Eq a, Eq b) => Eq (Either a b)
          -- Defined in ‘Data.Either’
        instance Eq Ordering -- Defined in ‘GHC.Classes’
        ...plus 24 others
        ...plus 14 instance involving out-of-scope typess
        (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