Test cases for new IncoherentInstances behaviour
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail218.stderr
1
2 tcfail218.hs:10:5:
3     Overlapping instances for C [a] b arising from a use of ‛foo’
4     Matching instances:
5       instance [incoherent] C [a] b -- Defined at tcfail218.hs:5:10
6       instance C [Int] b -- Defined at Tcfail218_Help.hs:7:10
7     (The choice depends on the instantiation of ‛a, b’
8      To pick the first instance above, use -XIncoherentInstances
9      when compiling the other instance declarations)
10     In the expression: foo
11     In an equation for ‛x’: x = foo