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/tcfail103.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/tcfail103.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail103.stderr | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail103.stderr b/testsuite/tests/typecheck/should_fail/tcfail103.stderr index a892b23c43..17fea5cada 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail103.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail103.stderr @@ -1,11 +1,11 @@ - -tcfail103.hs:15:13: - Couldn't match type `s' with `t' - `s' is a rigid type variable bound by - the type signature for g :: ST s Int at tcfail103.hs:15:9 - `t' is a rigid type variable bound by - the type signature for f :: ST t Int at tcfail103.hs:11:1 - Expected type: ST s Int - Actual type: ST t Int - In the return type of a call of `readSTRef' - In the expression: readSTRef v +
+tcfail103.hs:15:13:
+ Couldn't match type `t' with `s'
+ `t' is a rigid type variable bound by
+ the type signature for f :: ST t Int at tcfail103.hs:11:1
+ `s' is a rigid type variable bound by
+ the type signature for g :: ST s Int at tcfail103.hs:15:9
+ Expected type: ST s Int
+ Actual type: ST t Int
+ In the return type of a call of `readSTRef'
+ In the expression: readSTRef v
|