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

T7279.hs:6:10:
    Could not deduce (Show b0)
      arising from the ambiguity check for an instance declaration
    from the context (Eq a, Show b)
      bound by an instance declaration: (Eq a, Show b) => Eq (T a)
      at T7279.hs:6:10-35
    The type variable `b0' is ambiguous
    In the ambiguity check for: forall a b. (Eq a, Show b) => Eq (T a)
    In the instance declaration for `Eq (T a)'