Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail175.stderr
index 623aab2..6fbb6d4 100644 (file)
@@ -1,10 +1,12 @@
 
-tcfail175.hs:11:1:
-    Couldn't match expected type ‘String -> String -> String
-                with actual type ‘a
+tcfail175.hs:11:1: error:
+    • Couldn't match expected type ‘a
+                  with actual type ‘String -> String -> String
       ‘a’ is a rigid type variable bound by
-          the type signature for evalRHS :: Int -> a at tcfail175.hs:10:12
-    Relevant bindings include
-      evalRHS :: Int -> a (bound at tcfail175.hs:11:1)
-    The equation(s) for ‘evalRHS’ have three arguments,
-    but its type ‘Int -> a’ has only one
+        the type signature for:
+          evalRHS :: forall a. Int -> a
+        at tcfail175.hs:10:1-19
+    • The equation(s) for ‘evalRHS’ have three arguments,
+      but its type ‘Int -> a’ has only one
+    • Relevant bindings include
+        evalRHS :: Int -> a (bound at tcfail175.hs:11:1)