Error messsage wibbles

2 files changed, 5 insertions, 37 deletions

diff --git a/testsuite/tests/parser/should_compile/T2245.stderr b/testsuite/tests/parser/should_compile/T2245.stderr
index 00025924bd..4d9e04dc7c 100644
--- a/testsuite/tests/parser/should_compile/T2245.stderr
+++ b/testsuite/tests/parser/should_compile/T2245.stderr
@@ -11,12 +11,12 @@ T2245.hs:5:10: Warning:
       ‛fromRational’ and (either ‛recip’ or ‛/’)
     In the instance declaration for ‛Fractional T’
 
-T2245.hs:7:29: Warning:
+T2245.hs:7:38: Warning:
     Defaulting the following constraint(s) to type ‛T’
+      (Read b0) arising from a use of ‛read’ at T2245.hs:7:38-41
+      (Ord b0) arising from a use of ‛<’ at T2245.hs:7:27
       (Fractional b0)
         arising from the literal ‛1e400’ at T2245.hs:7:29-33
-      (Ord b0) arising from a use of ‛<’ at T2245.hs:7:27
-      (Read b0) arising from a use of ‛read’ at T2245.hs:7:38-41
-    In the second argument of ‛(<)’, namely ‛1e400’
-    In the first argument of ‛(.)’, namely ‛(< 1e400)’
+    In the second argument of ‛(.)’, namely ‛read’
     In the second argument of ‛(.)’, namely ‛(< 1e400) . read’
+    In the second argument of ‛($)’, namely ‛show . (< 1e400) . read’
diff --git a/testsuite/tests/parser/should_fail/readFail003.stderr b/testsuite/tests/parser/should_fail/readFail003.stderr
index 03a60eff13..e90fbb455d 100644
--- a/testsuite/tests/parser/should_fail/readFail003.stderr
+++ b/testsuite/tests/parser/should_fail/readFail003.stderr
@@ -14,35 +14,3 @@ readFail003.hs:4:27:
         | otherwise = a
         where
             nullity = null
-
-readFail003.hs:5:27:
-    Occurs check: cannot construct the infinite type:
-      t ~ (t, [a], [a1])
-    Relevant bindings include
-      a :: t (bound at readFail003.hs:4:3)
-      b :: [a] (bound at readFail003.hs:4:5)
-      c :: [a1] (bound at readFail003.hs:4:7)
-    In the expression: a
-    In a pattern binding:
-      ~(a, b, c)
-        | nullity b = a
-        | nullity c = a
-        | otherwise = a
-        where
-            nullity = null
-
-readFail003.hs:6:27:
-    Occurs check: cannot construct the infinite type:
-      t ~ (t, [a], [a1])
-    Relevant bindings include
-      a :: t (bound at readFail003.hs:4:3)
-      b :: [a] (bound at readFail003.hs:4:5)
-      c :: [a1] (bound at readFail003.hs:4:7)
-    In the expression: a
-    In a pattern binding:
-      ~(a, b, c)
-        | nullity b = a
-        | nullity c = a
-        | otherwise = a
-        where
-            nullity = null