Generate Typeable info at definition sites
[ghc.git] / testsuite / tests / typecheck / should_fail / T5095.stderr
1
2 T5095.hs:9:11: 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 a, Eq b) => Eq (Either a b)
7         -- Defined in ‘Data.Either’
8       instance Eq All -- Defined in ‘Data.Monoid’
9       ...plus 36 others
10       ...plus one instance 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