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

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