summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail097.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail097.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail097.stderr6
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail097.stderr b/testsuite/tests/typecheck/should_fail/tcfail097.stderr
index bad134d6bd..1caa93ab8d 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail097.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail097.stderr
@@ -8,9 +8,9 @@ tcfail097.hs:5:6: error: [GHC-39999]
The type variable ‘a0’ is ambiguous
Potentially matching instances:
instance Eq Ordering -- Defined in ‘GHC.Classes’
- instance Eq Integer -- Defined in ‘GHC.Num.Integer’
- ...plus 23 others
- ...plus four instances involving out-of-scope types
+ instance Eq a => Eq (Solo a) -- Defined in ‘GHC.Classes’
+ ...plus 22 others
+ ...plus five instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the ambiguity check for ‘f’
To defer the ambiguity check to use sites, enable AllowAmbiguousTypes