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