Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T9612.stderr
index bffceb0..462edc3 100644 (file)
@@ -5,16 +5,16 @@ T9612.hs:16:9: error:
       constraint ‘MonadWriter (Int, a) (WriterT [(Int, a)] Identity)’
         arising from a use of ‘tell’
       instance ‘MonadWriter w (WriterT w m)’ at T9612.hs:20:10-59
+    In a stmt of a 'do' block: tell (n, x)
+    In the expression:
+      do tell (n, x)
+         return (1, y)
+    In an equation for ‘f’:
+        f y (n, x)
+          = do tell (n, x)
+               return (1, y)
     Relevant bindings include
       x :: a (bound at T9612.hs:14:8)
       y :: a (bound at T9612.hs:14:3)
       f :: a -> (Int, a) -> Writer [(Int, a)] (Int, a)
         (bound at T9612.hs:14:1)
-    In a stmt of a 'do' block: tell (n, x)
-    In the expression:
-      do { tell (n, x);
-           return (1, y) }
-    In an equation for ‘f’:
-        f y (n, x)
-          = do { tell (n, x);
-                 return (1, y) }