summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T11947a.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T11947a.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/T11947a.stderr2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T11947a.stderr b/testsuite/tests/typecheck/should_fail/T11947a.stderr
index 4f6a4a7505..9ca1da0ee0 100644
--- a/testsuite/tests/typecheck/should_fail/T11947a.stderr
+++ b/testsuite/tests/typecheck/should_fail/T11947a.stderr
@@ -3,7 +3,7 @@ T11947a.hs:4:19: error:
• Could not deduce (RealFloat a0)
from the context: RealFloat a
bound by the type signature for:
- theFloatDigits :: RealFloat a => Int
+ theFloatDigits :: forall a. RealFloat a => Int
at T11947a.hs:4:19-46
The type variable ‘a0’ is ambiguous
• In the ambiguity check for ‘theFloatDigits’