summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail218.stderr
blob: 2afa2016527dc3a9dfb76fb9b1a0823486e26843 (plain)
1
2
3
4
5
6
7
8
9
10
11

tcfail218.hs:10:5:
    Overlapping instances for C [a] b arising from a use of ‛foo’
    Matching instances:
      instance [incoherent] C [a] b -- Defined at tcfail218.hs:5:10
      instance C [Int] b -- Defined at Tcfail218_Help.hs:7:10
    (The choice depends on the instantiation of ‛a, b’
     To pick the first instance above, use IncoherentInstances
     when compiling the other instance declarations)
    In the expression: foo
    In an equation for ‛x’: x = foo