Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail097.stderr
index e7dadd4..b5be488 100644 (file)
@@ -1,9 +1,11 @@
 \r
 tcfail097.hs:5:6:\r
-    Could not deduce (Eq a0) arising from the ambiguity check for `f'\r
+    Could not deduce (Eq a0)\r
     from the context (Eq a)\r
-      bound by the type signature for f :: Eq a => Int -> Int\r
+      bound by the type signature for: f :: Eq a => Int -> Int\r
       at tcfail097.hs:5:6-23\r
-    The type variable `a0' is ambiguous\r
-    In the ambiguity check for: forall a. Eq a => Int -> Int\r
-    In the type signature for `f': f :: Eq a => Int -> Int\r
+    The type variable ‘a0’ is ambiguous\r
+    In the ambiguity check for the type signature for ‘f’:\r
+      f :: forall a. Eq a => Int -> Int\r
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes\r
+    In the type signature for ‘f’: f :: Eq a => Int -> Int\r