diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail032.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail032.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail032.stderr b/testsuite/tests/typecheck/should_fail/tcfail032.stderr index 79ec408274..ce3ce2d018 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail032.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail032.stderr @@ -1,6 +1,6 @@ tcfail032.hs:14:8: error: - • Couldn't match expected type ‘a1 -> Int’ with actual type ‘r’ + • Couldn't match expected type ‘a1 -> Int’ with actual type ‘t’ because type variable ‘a1’ would escape its scope This (rigid, skolem) type variable is bound by an expression type signature: @@ -9,5 +9,5 @@ tcfail032.hs:14:8: error: • In the expression: (x :: (Eq a) => a -> Int) In an equation for ‘f’: f x = (x :: (Eq a) => a -> Int) • Relevant bindings include - x :: r (bound at tcfail032.hs:14:3) - f :: r -> forall a. Eq a => a -> Int (bound at tcfail032.hs:14:1) + x :: t (bound at tcfail032.hs:14:3) + f :: t -> forall a. Eq a => a -> Int (bound at tcfail032.hs:14:1) |