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/T5689.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/T5689.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T5689.stderr | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T5689.stderr b/testsuite/tests/typecheck/should_fail/T5689.stderr index 6fb1f222d6..6a67b2cac6 100644 --- a/testsuite/tests/typecheck/should_fail/T5689.stderr +++ b/testsuite/tests/typecheck/should_fail/T5689.stderr @@ -6,8 +6,6 @@ T5689.hs:10:36: v :: t (bound at T5689.hs:10:28) In the expression: v In the expression: if v then False else True - In the second argument of ‛writeIORef’, namely - ‛(\ v -> if v then False else True)’ T5689.hs:10:43: Couldn't match expected type ‛t’ with actual type ‛Bool’ @@ -16,8 +14,6 @@ T5689.hs:10:43: v :: t (bound at T5689.hs:10:28) In the expression: False In the expression: if v then False else True - In the second argument of ‛writeIORef’, namely - ‛(\ v -> if v then False else True)’ T5689.hs:10:54: Couldn't match expected type ‛t’ with actual type ‛Bool’ @@ -26,8 +22,6 @@ T5689.hs:10:54: v :: t (bound at T5689.hs:10:28) In the expression: True In the expression: if v then False else True - In the second argument of ‛writeIORef’, namely - ‛(\ v -> if v then False else True)’ T5689.hs:14:23: Couldn't match expected type ‛t’ with actual type ‛Bool’ @@ -36,4 +30,3 @@ T5689.hs:14:23: c :: t -> t (bound at T5689.hs:12:13) In the first argument of ‛c’, namely ‛True’ In the second argument of ‛($)’, namely ‛c True’ - In a stmt of a 'do' block: print $ c True |