Modify a couple of error messages slightly

In particular
  In the type signature for:
     f :: Int -> Int
I added the colon

Also reword the "maybe you haven't applied a function to enough arguments?"
suggestion to make grammatical sense.

These tiny changes affect a lot of error messages.

1 files changed, 20 insertions, 20 deletions

diff --git a/testsuite/tests/typecheck/should_fail/tcfail201.stderr b/testsuite/tests/typecheck/should_fail/tcfail201.stderr
index 1270315a19..1414ceabb3 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail201.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail201.stderr
@@ -1,20 +1,20 @@
-

-tcfail201.hs:18:28:

-    Couldn't match expected type ‘a’ with actual type ‘HsDoc id1’

-      ‘a’ is a rigid type variable bound by

-          the type signature for

-            gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)

-                       -> (forall g. g -> c g) -> a -> c a

-          at tcfail201.hs:15:12

-    Relevant bindings include

-      hsDoc :: a (bound at tcfail201.hs:16:13)

-      gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)

-                 -> (forall g. g -> c g) -> a -> c a

-        (bound at tcfail201.hs:16:1)

-    In the pattern: DocParagraph hsDoc

-    In a case alternative:

-        (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc

-    In the expression:

-      case hsDoc of {

-        DocEmpty -> z DocEmpty

-        (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc }

+
+tcfail201.hs:18:28:
+    Couldn't match expected type ‘a’ with actual type ‘HsDoc id1’
+      ‘a’ is a rigid type variable bound by
+          the type signature for:
+            gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)
+                       -> (forall g. g -> c g) -> a -> c a
+          at tcfail201.hs:15:12
+    Relevant bindings include
+      hsDoc :: a (bound at tcfail201.hs:16:13)
+      gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)
+                 -> (forall g. g -> c g) -> a -> c a
+        (bound at tcfail201.hs:16:1)
+    In the pattern: DocParagraph hsDoc
+    In a case alternative:
+        (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc
+    In the expression:
+      case hsDoc of {
+        DocEmpty -> z DocEmpty
+        (DocParagraph hsDoc) -> z DocParagraph `k` hsDoc }