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