summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_fail/T5287.stderr
blob: 764c422dd1a4c1f98f9d3e4efce556115a56a846 (plain)
1
2
3
4
5
6
7
8
9
10
11

T5287.hs:6:10:
    Could not deduce (A a oops0)
      arising from the ambiguity check for an instance declaration
    from the context (A a oops)
      bound by an instance declaration: A a oops => Read (D a)
      at T5287.hs:6:10-31
    The type variable ‘oops0’ is ambiguous
    In the ambiguity check for: forall a oops. A a oops => Read (D a)
    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
    In the instance declaration for ‘Read (D a)’