summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/tc168.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc168.stderr')
-rw-r--r--testsuite/tests/typecheck/should_compile/tc168.stderr22
1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc168.stderr b/testsuite/tests/typecheck/should_compile/tc168.stderr
index 96fa5a0629..6fbc96f934 100644
--- a/testsuite/tests/typecheck/should_compile/tc168.stderr
+++ b/testsuite/tests/typecheck/should_compile/tc168.stderr
@@ -1,11 +1,11 @@
-
-tc168.hs:17:1:
- Could not deduce (C a1 (a, b0))
- arising from the ambiguity check for `g'
- from the context (C a1 (a, b))
- bound by the inferred type for `g': C a1 (a, b) => a1 -> a
- at tc168.hs:17:1-16
- The type variable `b0' is ambiguous
- When checking that `g'
- has the inferred type `forall a b a1. C a1 (a, b) => a1 -> a'
- Probable cause: the inferred type is ambiguous
+
+tc168.hs:17:1:
+ Could not deduce (C a1 (a, b0))
+ arising from the ambiguity check for ‛g’
+ from the context (C a1 (a, b))
+ bound by the inferred type for ‛g’: C a1 (a, b) => a1 -> a
+ at tc168.hs:17:1-16
+ The type variable ‛b0’ is ambiguous
+ When checking that ‛g’
+ has the inferred type ‛forall a b a1. C a1 (a, b) => a1 -> a’
+ Probable cause: the inferred type is ambiguous