summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T3176.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T3176.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/T3176.stderr5
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3176.stderr b/testsuite/tests/typecheck/should_fail/T3176.stderr
index 1f089da6fe..6c8a749098 100644
--- a/testsuite/tests/typecheck/should_fail/T3176.stderr
+++ b/testsuite/tests/typecheck/should_fail/T3176.stderr
@@ -2,6 +2,7 @@
T3176.hs:9:27: error:
• Cannot use record selector ‘unES’ as a function due to escaped type variables
Probable fix: use pattern-matching syntax instead
- • In the first argument of ‘($)’, namely ‘unES’
- In the second argument of ‘($)’, namely ‘unES $ f t’
+ • In the second argument of ‘($)’, namely ‘unES $ f t’
In the expression: show $ unES $ f t
+ In an equation for ‘smallPrintES’:
+ smallPrintES f t = show $ unES $ f t