diff options
| author | Dimitrios Vytiniotis <dimitris@microsoft.com> | 2011-11-16 15:52:35 +0000 |
|---|---|---|
| committer | Dimitrios Vytiniotis <dimitris@microsoft.com> | 2011-11-16 15:52:35 +0000 |
| commit | 83e84e35ab4b307381ac0d0cd15df3227496defb (patch) | |
| tree | c858825df187de20157b903692bb09bfa8a5a278 /testsuite/tests/typecheck/should_fail/tcfail131.stderr | |
| parent | efb1debac24e40ad2f720d536abbd48a7bcd0904 (diff) | |
| download | haskell-83e84e35ab4b307381ac0d0cd15df3227496defb.tar.gz | |
Error message modifications for the new constraint solver.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail131.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail131.stderr | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail131.stderr b/testsuite/tests/typecheck/should_fail/tcfail131.stderr index 134b76ffb3..548e063929 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail131.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail131.stderr @@ -1,11 +1,11 @@ - -tcfail131.hs:7:13: - Could not deduce (b ~ Integer) - from the context (Num b) - bound by the type signature for g :: Num b => b -> b - at tcfail131.hs:7:3-13 - `b' is a rigid type variable bound by - the type signature for g :: Num b => b -> b at tcfail131.hs:7:3 - In the second argument of `f', namely `x' - In the expression: f x x - In an equation for `g': g x = f x x +
+tcfail131.hs:7:9:
+ Could not deduce (b ~ Integer)
+ from the context (Num b)
+ bound by the type signature for g :: Num b => b -> b
+ at tcfail131.hs:7:3-13
+ `b' is a rigid type variable bound by
+ the type signature for g :: Num b => b -> b at tcfail131.hs:7:3
+ In the return type of a call of `f'
+ In the expression: f x x
+ In an equation for `g': g x = f x x
|