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

tcfail218.hs:16:5: error:
    • Overlapping instances for C [a] Bool arising from a use of ‘foo’
      Matching instance:
        instance C [a] b -- Defined at tcfail218.hs:8:29
      Potentially matching instance:
        instance C [Int] Bool -- Defined at tcfail218.hs:7:29
      (The choice depends on the instantiation of ‘a’
       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