summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail013.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail013.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail013.stderr4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail013.stderr b/testsuite/tests/typecheck/should_fail/tcfail013.stderr
index e870b18ced..ee3c128012 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail013.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail013.stderr
@@ -1,7 +1,7 @@
tcfail013.hs:4:3: error:
- • Couldn't match expected type ‘[a]’ with actual type ‘Bool’
+ • Couldn't match expected type ‘[a1]’ with actual type ‘Bool’
• In the pattern: True
In an equation for ‘f’: f True = 2
• Relevant bindings include
- f :: [a] -> a1 (bound at tcfail013.hs:3:1)
+ f :: [a1] -> a2 (bound at tcfail013.hs:3:1)