diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-29 17:33:32 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-04-29 17:34:16 +0100 |
| commit | d5bd2d37a84ec0fdb8a987ef58c3ad071a35afa3 (patch) | |
| tree | d15ba2c43d8fe574db64129acb3a03bd745406c8 /testsuite/tests/typecheck/should_fail/tcfail068.stderr | |
| parent | f5d36751dad2d6d6d52649b746bb3c73a4ece076 (diff) | |
| download | haskell-d5bd2d37a84ec0fdb8a987ef58c3ad071a35afa3.tar.gz | |
Wibbles to error messages, following the fix for Trac #7851
In effect, the error context for naked variables now takes up
a "slot" in the context stack; but it is often empty. So the
context stack becomes one shorter in those cases. I don't think
this matters; indeed, it's aguably an improvement. Anyway that's
why so many tests are affected.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail068.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail068.stderr | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail068.stderr b/testsuite/tests/typecheck/should_fail/tcfail068.stderr index 4e889720e1..e50e3da859 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail068.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail068.stderr @@ -17,7 +17,6 @@ tcfail068.hs:14:9: Relevant bindings include itgen :: (Int, Int) -> a -> IndTree s a (bound at tcfail068.hs:12:1) - In the return type of a call of ‛newSTArray’ In the first argument of ‛runST’, namely ‛(newSTArray ((1, 1), n) x)’ In the expression: runST (newSTArray ((1, 1), n) x) @@ -45,9 +44,6 @@ tcfail068.hs:19:21: arr :: IndTree s a (bound at tcfail068.hs:17:11) In the first argument of ‛readSTArray’, namely ‛arr’ In the first argument of ‛(>>=)’, namely ‛readSTArray arr i’ - In the first argument of ‛runST’, namely - ‛(readSTArray arr i - >>= \ val -> writeSTArray arr i (f val) >> return arr)’ tcfail068.hs:24:35: Could not deduce (s ~ s1) @@ -75,7 +71,6 @@ tcfail068.hs:24:35: (bound at tcfail068.hs:29:9) itrap' :: Int -> Int -> GHC.ST.ST s (IndTree s a) (bound at tcfail068.hs:26:9) - In the return type of a call of ‛itrap'’ In the first argument of ‛runST’, namely ‛(itrap' i k)’ In the expression: runST (itrap' i k) @@ -122,6 +117,5 @@ tcfail068.hs:36:46: (bound at tcfail068.hs:41:9) itrapstate' :: Int -> Int -> c -> GHC.ST.ST s (c, IndTree s b) (bound at tcfail068.hs:38:9) - In the return type of a call of ‛itrapstate'’ In the first argument of ‛runST’, namely ‛(itrapstate' i k s)’ In the expression: runST (itrapstate' i k s) |