Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail175.stderr
index ded6ea6..6fbb6d4 100644 (file)
@@ -1,8 +1,12 @@
 
-tcfail175.hs:11:1:
-    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:19
-    The equation(s) for `evalRHS' have three arguments,
-    but its type `Int -> a' has only one
+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)