5ccc035c7659dcedf7699b1d36fc954a5832b6ee
[ghc.git] / testsuite / tests / typecheck / should_fail / FailDueToGivenOverlapping.stderr
1
2 FailDueToGivenOverlapping.hs:27:9:
3     Overlapping instances for E [t0] arising from a use of ‘eop’
4     Matching givens (or their superclasses):
5       (E [Int])
6         bound by the type signature for bar :: E [Int] => () -> ()
7         at FailDueToGivenOverlapping.hs:26:8-26
8     Matching instances:
9       instance E [a] -- Defined at FailDueToGivenOverlapping.hs:21:10
10     (The choice depends on the instantiation of ‘t0’)
11     In the expression: eop [undefined]
12     In an equation for ‘bar’: bar _ = eop [undefined]