summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail218.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail218.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail218.stderr3
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail218.stderr b/testsuite/tests/typecheck/should_fail/tcfail218.stderr
index f591b09b2a..2435fe3070 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail218.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail218.stderr
@@ -1,8 +1,9 @@
tcfail218.hs:16:5: error:
• Overlapping instances for C [a] Bool arising from a use of ‘foo’
- Matching instances:
+ Matching instance:
instance C [a] b -- Defined at tcfail218.hs:8:29
+ Potentially matching instance:
instance C [Int] Bool -- Defined at tcfail218.hs:7:29
(The choice depends on the instantiation of ‘a’
To pick the first instance above, use IncoherentInstances