summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/typecheck/should_fail/FailDueToGivenOverlapping.stderr
blob: 10db900878d3cf32eabfa3233110d1ae59ba795f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

FailDueToGivenOverlapping.hs:27:9:
    Overlapping instances for E [t0]
      arising from a use of `eop'
    Matching instances:
      instance E [a] -- Defined at FailDueToGivenOverlapping.hs:21:10-14
    Matching givens (or their superclasses):
      (E [Int])
        bound by the type signature for bar :: E [Int] => () -> ()
        at FailDueToGivenOverlapping.hs:27:1-23
    (The choice depends on the instantiation of `t0')
    In the expression: eop [undefined]
    In an equation for `bar': bar _ = eop [undefined]