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

SilentParametersOverlapping.hs:15:9:
    Overlapping instances for C [(t0, t1)] arising from a use of `c'
    Matching givens (or their superclasses):
      (C [(a, b)])
        bound by the instance declaration
        at SilentParametersOverlapping.hs:14:37-45
    Matching instances:
      instance C [a] -- Defined at SilentParametersOverlapping.hs:11:10
    (The choice depends on the instantiation of `t0, t1')
    In the expression: c [(undefined, undefined)]
    In an equation for `b': b x = c [(undefined, undefined)]
    In the instance declaration for `B [(a, b)]'