summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail072.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail072.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail072.stderr4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail072.stderr b/testsuite/tests/typecheck/should_fail/tcfail072.stderr
index aeb0e9ae71..9d88d70c80 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail072.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail072.stderr
@@ -2,8 +2,8 @@
tcfail072.hs:23:13:
Could not deduce (Ord p0) arising from a use of ā€˜gā€™
from the context (Ord p, Ord q)
- bound by the type signature for
- g :: (Ord p, Ord q) => AB p q -> Bool
+ bound by the type signature for:
+ g :: (Ord p, Ord q) => AB p q -> Bool
at tcfail072.hs:22:6-38
The type variable ā€˜p0ā€™ is ambiguous
Note: there are several potential instances: