blob: 0dfedee0614f890ea5ce4f5e6dd113a18343cbb9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T5287.hs:7:10: error:
• Could not deduce (A a oops0)
from the context: A a oops
bound by an instance declaration:
forall a oops. A a oops => Read (D a)
at T5287.hs:7:10-31
The type variable ‘oops0’ is ambiguous
Potentially matching instance:
instance A Int Bool -- Defined at T5287.hs:13:10
• In the ambiguity check for an instance declaration
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
In the instance declaration for ‘Read (D a)’
|
