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, 18 insertions, 18 deletions

diff --git a/testsuite/tests/typecheck/should_fail/T7748a.stderr b/testsuite/tests/typecheck/should_fail/T7748a.stderr
index 63cff4aa17..a8e2921a92 100644
--- a/testsuite/tests/typecheck/should_fail/T7748a.stderr
+++ b/testsuite/tests/typecheck/should_fail/T7748a.stderr
@@ -1,18 +1,18 @@
-

-T7748a.hs:16:24:

-    Couldn't match expected type ‘a’

-                with actual type ‘Maybe (Maybe (r -> ()))’

-      ‘a’ is a rigid type variable bound by

-          the type signature for test :: a -> r -> () at T7748a.hs:11:9

-    Relevant bindings include

-      g :: r -> () (bound at T7748a.hs:13:16)

-      f :: r -> () (bound at T7748a.hs:13:8)

-      zd :: a (bound at T7748a.hs:12:6)

-      test :: a -> r -> () (bound at T7748a.hs:12:1)

-    In the pattern: Just (Just p)

-    In a case alternative: Just (Just p) -> p

-    In the expression:

-      case zd of {

-        Nothing -> const ()

-        Just Nothing -> const ()

-        Just (Just p) -> p }

+
+T7748a.hs:16:24:
+    Couldn't match expected type ‘a’
+                with actual type ‘Maybe (Maybe (r -> ()))’
+      ‘a’ is a rigid type variable bound by
+          the type signature for: test :: a -> r -> () at T7748a.hs:11:9
+    Relevant bindings include
+      g :: r -> () (bound at T7748a.hs:13:16)
+      f :: r -> () (bound at T7748a.hs:13:8)
+      zd :: a (bound at T7748a.hs:12:6)
+      test :: a -> r -> () (bound at T7748a.hs:12:1)
+    In the pattern: Just (Just p)
+    In a case alternative: Just (Just p) -> p
+    In the expression:
+      case zd of {
+        Nothing -> const ()
+        Just Nothing -> const ()
+        Just (Just p) -> p }