diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc141.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/tc141.stderr | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc141.stderr b/testsuite/tests/typecheck/should_compile/tc141.stderr index a22689b10f..1942963d3b 100644 --- a/testsuite/tests/typecheck/should_compile/tc141.stderr +++ b/testsuite/tests/typecheck/should_compile/tc141.stderr @@ -12,6 +12,11 @@ tc141.hs:11:31: an expression type signature: a1 at tc141.hs:11:31 `a' is a rigid type variable bound by the inferred type of f :: (a, a) -> (t, a) at tc141.hs:11:1 + Relevant bindings include + f :: (a, a) -> (t, a) (bound at tc141.hs:11:1) + x :: (a, a) (bound at tc141.hs:11:3) + q :: a (bound at tc141.hs:11:17) + p :: a (bound at tc141.hs:11:12) In the expression: q :: a In the expression: (q :: a, p) In the expression: let (p :: a, q :: a) = x in (q :: a, p) @@ -34,6 +39,10 @@ tc141.hs:15:18: the type signature for v :: a2 at tc141.hs:14:19 `t' is a rigid type variable bound by the inferred type of g :: a -> t -> a1 at tc141.hs:13:1 + Relevant bindings include + g :: a -> t -> a1 (bound at tc141.hs:13:1) + b :: t (bound at tc141.hs:13:5) + v :: a2 (bound at tc141.hs:15:14) In the expression: b In an equation for `v': v = b In the expression: |