diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T12563.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T12563.stderr | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T12563.stderr b/testsuite/tests/typecheck/should_fail/T12563.stderr index c5b8e1dc40..4b64ef1cc7 100644 --- a/testsuite/tests/typecheck/should_fail/T12563.stderr +++ b/testsuite/tests/typecheck/should_fail/T12563.stderr @@ -1,12 +1,15 @@ T12563.hs:8:15: error: - • Couldn't match expected type ‘(forall a. f0 a) -> f0 r0’ - with actual type ‘p0’ - Cannot instantiate unification variable ‘p0’ - with a type involving polytypes: (forall a. f0 a) -> f0 r0 + • Couldn't match expected type ‘(forall a. f a) -> f r’ + with actual type ‘p’ + Cannot equate type variable ‘p’ + with a type involving polytypes: (forall a. f a) -> f r + ‘p’ is a rigid type variable bound by + the inferred type of x :: p -> f r + at T12563.hs:8:1-15 • In the first argument of ‘foo’, namely ‘g’ In the expression: foo g In the expression: \ g -> foo g • Relevant bindings include - g :: p0 (bound at T12563.hs:8:6) - x :: p0 -> f0 r0 (bound at T12563.hs:8:1) + g :: p (bound at T12563.hs:8:6) + x :: p -> f r (bound at T12563.hs:8:1) |