diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail131.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail131.stderr | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail131.stderr b/testsuite/tests/typecheck/should_fail/tcfail131.stderr index 2ae70a0928..e9920ea55e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail131.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail131.stderr @@ -1,13 +1,13 @@ - -tcfail131.hs:7:11: error: - • Couldn't match expected type ‘Integer’ with actual type ‘b’ - ‘b’ is a rigid type variable bound by - the type signature for: - g :: forall b. Num b => b -> b - at tcfail131.hs:6:8 - • In the first argument of ‘f’, namely ‘x’ - In the expression: f x x - In an equation for ‘g’: g x = f x x - • Relevant bindings include - x :: b (bound at tcfail131.hs:7:5) - g :: b -> b (bound at tcfail131.hs:7:3) +
+tcfail131.hs:7:11: error:
+ • Couldn't match expected type ‘Integer’ with actual type ‘b’
+ ‘b’ is a rigid type variable bound by
+ the type signature for:
+ g :: forall b. Num b => b -> b
+ at tcfail131.hs:6:3-22
+ • In the first argument of ‘f’, namely ‘x’
+ In the expression: f x x
+ In an equation for ‘g’: g x = f x x
+ • Relevant bindings include
+ x :: b (bound at tcfail131.hs:7:5)
+ g :: b -> b (bound at tcfail131.hs:7:3)
|