Implement the final change to INCOHERENT from Trac #9242
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail218.stderr
1
2 tcfail218.hs:16:5:
3     Overlapping instances for C [a] Bool arising from a use of ‘foo’
4     Matching instances:
5       instance C [a] b -- Defined at tcfail218.hs:8:29
6       instance C [Int] Bool -- Defined at tcfail218.hs:7:29
7     (The choice depends on the instantiation of ‘a’
8      To pick the first instance above, use IncoherentInstances
9      when compiling the other instance declarations)
10     In the expression: foo
11     In an equation for ‘x’: x = foo