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