Lots of error message wibbling, following the

major TcErrors refactoring

1 files changed, 20 insertions, 19 deletions

diff --git a/testsuite/tests/gadt/rw.stderr b/testsuite/tests/gadt/rw.stderr
index 4c0c0ce6cd..752d0fd8a3 100644
--- a/testsuite/tests/gadt/rw.stderr
+++ b/testsuite/tests/gadt/rw.stderr
@@ -1,19 +1,20 @@
-

-rw.hs:14:47:

-    Couldn't match type `a' with `Int'

-      `a' is a rigid type variable bound by

-          the type signature for writeInt :: T a -> IORef a -> IO ()

-          at rw.hs:13:1

-    In the second argument of `writeIORef', namely `(1 :: Int)'

-    In the expression: writeIORef ref (1 :: Int)

-    In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int)

-

-rw.hs:19:51:

-    Couldn't match type `a' with `Bool'

-      `a' is a rigid type variable bound by

-          the type signature for readBool :: T a -> IORef a -> IO ()

-          at rw.hs:17:1

-    Expected type: a -> Bool

-      Actual type: Bool -> Bool

-    In the second argument of `(.)', namely `not'

-    In the second argument of `(>>=)', namely `(print . not)'

+
+rw.hs:14:47:
+    Couldn't match expected type `a' with actual type `Int'
+      `a' is a rigid type variable bound by
+          the type signature for writeInt :: T a -> IORef a -> IO ()
+          at rw.hs:13:1
+    In the second argument of `writeIORef', namely `(1 :: Int)'
+    In the expression: writeIORef ref (1 :: Int)
+    In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int)
+
+rw.hs:19:51:
+    Couldn't match type `a' with `Bool'
+      `a' is a rigid type variable bound by
+          the type signature for readBool :: T a -> IORef a -> IO ()
+          at rw.hs:17:1
+    Expected type: a -> Bool
+      Actual type: Bool -> Bool
+    In the second argument of `(.)', namely `not'
+    In the second argument of `(>>=)', namely `(print . not)'
+    In the expression: readIORef ref >>= (print . not)