Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / T5095.stderr
1
2 T5095.hs:9:9: error:
3     • Overlapping instances for Eq a arising from a use of ‘==’
4       Matching instances:
5         instance [overlappable] Show a => Eq a -- Defined at T5095.hs:5:31
6         instance Eq Ordering -- Defined in ‘GHC.Classes’
7         instance Eq Integer
8           -- Defined in ‘integer-gmp-1.0.0.1:GHC.Integer.Type’
9         ...plus 23 others
10         ...plus three instances involving out-of-scope types
11         (use -fprint-potential-instances to see them all)
12       (The choice depends on the instantiation of ‘a’
13        To pick the first instance above, use IncoherentInstances
14        when compiling the other instance declarations)
15     • In the expression: x == y
16       In an equation for ‘f’: f x y = x == y