summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_fail/T5287.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T5287.stderr')
-rw-r--r--testsuite/tests/deriving/should_fail/T5287.stderr2
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/deriving/should_fail/T5287.stderr b/testsuite/tests/deriving/should_fail/T5287.stderr
index 479f1f84b5..0dfedee061 100644
--- a/testsuite/tests/deriving/should_fail/T5287.stderr
+++ b/testsuite/tests/deriving/should_fail/T5287.stderr
@@ -6,6 +6,8 @@ T5287.hs:7:10: error:
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)’