From d5bd2d37a84ec0fdb8a987ef58c3ad071a35afa3 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Mon, 29 Apr 2013 17:33:32 +0100 Subject: 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. --- testsuite/tests/typecheck/should_fail/T5689.stderr | 7 ------- 1 file changed, 7 deletions(-) (limited to 'testsuite/tests/typecheck/should_fail/T5689.stderr') 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 -- cgit v1.2.1