Lots of error message wibbling, following the

major TcErrors refactoring

2 files changed, 31 insertions, 20 deletions

diff --git a/testsuite/tests/annotations/should_fail/annfail08.stderr b/testsuite/tests/annotations/should_fail/annfail08.stderr
index a97ca4e2b5..7e9b112dca 100644
--- a/testsuite/tests/annotations/should_fail/annfail08.stderr
+++ b/testsuite/tests/annotations/should_fail/annfail08.stderr
@@ -1,15 +1,19 @@
-

-annfail08.hs:9:1:

-    No instance for (Data.Data.Data (a0 -> a0))

-      arising from an annotation

-    Possible fix:

-      add an instance declaration for (Data.Data.Data (a0 -> a0))

-    In the expression: (id + 1)

-    In the annotation: {-# ANN f (id + 1) #-}

-

-annfail08.hs:9:15:

-    No instance for (Num (a0 -> a0))

-      arising from a use of `+'

-    Possible fix: add an instance declaration for (Num (a0 -> a0))

-    In the expression: (id + 1)

-    In the annotation: {-# ANN f (id + 1) #-}

+
+annfail08.hs:9:1:
+    No instance for (Data.Data.Data (a0 -> a0))
+      arising from an annotation
+    The type variable `a0' is ambiguous
+    Possible fix: add a type signature that fixes these type variable(s)
+    Possible fix:
+      add an instance declaration for (Data.Data.Data (a0 -> a0))
+    In the expression: (id + 1)
+    In the annotation: {-# ANN f (id + 1) #-}
+
+annfail08.hs:9:15:
+    No instance for (Num (a0 -> a0))
+      arising from a use of `+'
+    The type variable `a0' is ambiguous
+    Possible fix: add a type signature that fixes these type variable(s)
+    Possible fix: add an instance declaration for (Num (a0 -> a0))
+    In the expression: (id + 1)
+    In the annotation: {-# ANN f (id + 1) #-}
diff --git a/testsuite/tests/annotations/should_fail/annfail10.stderr b/testsuite/tests/annotations/should_fail/annfail10.stderr
index eac3002efa..33a4c16a9b 100644
--- a/testsuite/tests/annotations/should_fail/annfail10.stderr
+++ b/testsuite/tests/annotations/should_fail/annfail10.stderr
@@ -1,9 +1,16 @@
 
 annfail10.hs:9:1:
-    Ambiguous type variable `a0' in the constraints:
-      (Data.Data.Data a0) arising from an annotation
-                          at annfail10.hs:9:1-15
-      (Num a0) arising from the literal `1' at annfail10.hs:9:11
-    Probable fix: add a type signature that fixes these type variable(s)
+    No instance for (Data.Data.Data a0)
+      arising from an annotation
+    The type variable `a0' is ambiguous
+    Possible fix: add a type signature that fixes these type variable(s)
+    In the expression: 1
+    In the annotation: {-# ANN f 1 #-}
+
+annfail10.hs:9:11:
+    No instance for (Num a0)
+      arising from the literal `1'
+    The type variable `a0' is ambiguous
+    Possible fix: add a type signature that fixes these type variable(s)
     In the expression: 1
     In the annotation: {-# ANN f 1 #-}