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

tcfail121.hs:13:9:
    Overlapping instances for Foo [a] arising from a use of ‘op’
    Matching instances:
      instance [overlappable] Foo a => Foo [a]
        -- Defined at tcfail121.hs:9:31
      instance [overlapping] Foo [Int] -- Defined at tcfail121.hs:10:30
    (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: op x
    In an equation for ‘foo’: foo x = op x