diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc141.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/tc141.stderr | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc141.stderr b/testsuite/tests/typecheck/should_compile/tc141.stderr index b0d4ef7f25..dcf7573d8e 100644 --- a/testsuite/tests/typecheck/should_compile/tc141.stderr +++ b/testsuite/tests/typecheck/should_compile/tc141.stderr @@ -37,13 +37,13 @@ tc141.hs:13:13: error: in v tc141.hs:15:18: error: - • Couldn't match expected type ‘a1’ with actual type ‘p1’ + • Couldn't match expected type ‘a1’ with actual type ‘p2’ ‘a1’ is a rigid type variable bound by the type signature for: v :: forall a1. a1 at tc141.hs:14:14-19 - ‘p1’ is a rigid type variable bound by - the inferred type of g :: p -> p1 -> a + ‘p2’ is a rigid type variable bound by + the inferred type of g :: p1 -> p2 -> a at tc141.hs:(13,1)-(16,13) • In the expression: b In an equation for ‘v’: v = b @@ -54,5 +54,5 @@ tc141.hs:15:18: error: in v • Relevant bindings include v :: a1 (bound at tc141.hs:15:14) - b :: p1 (bound at tc141.hs:13:5) - g :: p -> p1 -> a (bound at tc141.hs:13:1) + b :: p2 (bound at tc141.hs:13:5) + g :: p1 -> p2 -> a (bound at tc141.hs:13:1) |