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.

1 files changed, 0 insertions, 6 deletions

diff --git a/testsuite/tests/indexed-types/should_fail/T2693.stderr b/testsuite/tests/indexed-types/should_fail/T2693.stderr
index 8c02ea263d..34fdfbde74 100644
--- a/testsuite/tests/indexed-types/should_fail/T2693.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T2693.stderr
@@ -20,7 +20,6 @@ T2693.hs:19:15:
     Relevant bindings include n :: a2 (bound at T2693.hs:19:7)
     In the first argument of ‛fst’, namely ‛x’
     In the first argument of ‛(+)’, namely ‛fst x’
-    In the expression: fst x + snd x
 
 T2693.hs:19:23:
     Couldn't match expected type ‛(a4, a2)’ with actual type ‛TFn a5’
@@ -28,7 +27,6 @@ T2693.hs:19:23:
     Relevant bindings include n :: a2 (bound at T2693.hs:19:7)
     In the first argument of ‛snd’, namely ‛x’
     In the second argument of ‛(+)’, namely ‛snd x’
-    In the expression: fst x + snd x
 
 T2693.hs:29:20:
     Couldn't match type ‛TFn a0’ with ‛PVR a1’
@@ -37,7 +35,3 @@ T2693.hs:29:20:
       Actual type: () -> Maybe (TFn a0)
     In the first argument of ‛mapM’, namely ‛g’
     In a stmt of a 'do' block: pvs <- mapM g undefined
-    In the expression:
-      do { pvs <- mapM g undefined;
-           let n = (map pvrX pvs) `min` (map pvrX pvs);
-           undefined }