diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc141.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/tc141.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc141.stderr b/testsuite/tests/typecheck/should_compile/tc141.stderr index e0de74c945..15bdad80c3 100644 --- a/testsuite/tests/typecheck/should_compile/tc141.stderr +++ b/testsuite/tests/typecheck/should_compile/tc141.stderr @@ -35,7 +35,7 @@ tc141.hs:13:13: error: in v tc141.hs:15:18: error: - • Couldn't match expected type ‘a1’ with actual type ‘r1’ + • Couldn't match expected type ‘a1’ with actual type ‘t1’ because type variable ‘a1’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for: @@ -50,5 +50,5 @@ tc141.hs:15:18: error: in v • Relevant bindings include v :: a1 (bound at tc141.hs:15:14) - b :: r1 (bound at tc141.hs:13:5) - g :: r -> r1 -> forall a. a (bound at tc141.hs:13:1) + b :: t1 (bound at tc141.hs:13:5) + g :: t -> t1 -> forall a. a (bound at tc141.hs:13:1) |