Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail097.stderr
index 2fabae4..b5be488 100644 (file)
@@ -1,6 +1,11 @@
-
-tcfail097.hs:5:6:
-    Ambiguous constraint `Eq a'
-      At least one of the forall'd type variables mentioned by the constraint
-      must be reachable from the type after the '=>'
-    In the type signature for `f': f :: Eq a => Int -> Int
+\r
+tcfail097.hs:5:6:\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
+      at tcfail097.hs:5:6-23\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