diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc141.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/tc141.stderr | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc141.stderr b/testsuite/tests/typecheck/should_compile/tc141.stderr index 9c13f1791d..f0cfdefd03 100644 --- a/testsuite/tests/typecheck/should_compile/tc141.stderr +++ b/testsuite/tests/typecheck/should_compile/tc141.stderr @@ -8,11 +8,13 @@ tc141.hs:11:12: error: tc141.hs:11:31: error: • Couldn't match expected type ‘a2’ with actual type ‘a’ - because type variable ‘a2’ would escape its scope - This (rigid, skolem) type variable is bound by + ‘a2’ is a rigid type variable bound by an expression type signature: forall a2. a2 at tc141.hs:11:34 + ‘a’ is a rigid type variable bound by + the inferred type of f :: (a, a) -> (a1, a) + at tc141.hs:11:1-37 • In the expression: q :: a In the expression: (q :: a, p) In the expression: let (p :: a, q :: a) = x in (q :: a, p) @@ -35,12 +37,14 @@ tc141.hs:13:13: error: in v tc141.hs:15:18: error: - • Couldn't match expected type ‘a2’ with actual type ‘p’ - because type variable ‘a2’ would escape its scope - This (rigid, skolem) type variable is 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 + ‘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 In the expression: @@ -49,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) |