summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail032.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail032.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail032.stderr2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail032.stderr b/testsuite/tests/typecheck/should_fail/tcfail032.stderr
index 56e4a791ad..75d64ee76b 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail032.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail032.stderr
@@ -6,7 +6,7 @@ tcfail032.hs:14:8:
an expression type signature: Eq a1 => a1 -> Int
at tcfail032.hs:14:8-30
Relevant bindings include
- f :: t -> a -> Int (bound at tcfail032.hs:14:1)
x :: t (bound at tcfail032.hs:14:3)
+ f :: t -> a -> Int (bound at tcfail032.hs:14:1)
In the expression: (x :: Eq a => a -> Int)
In an equation for ‛f’: f x = (x :: Eq a => a -> Int)