Define TyCoRep.ppSuggestExplicitKinds, and use it

[ghc.git] / testsuite / tests / typecheck / should_fail / T6022.stderr

diff --git a/testsuite/tests/typecheck/should_fail/T6022.stderr b/testsuite/tests/typecheck/should_fail/T6022.stderr
index a3cd78e..e690095 100644 (file)
--- a/testsuite/tests/typecheck/should_fail/T6022.stderr
+++ b/testsuite/tests/typecheck/should_fail/T6022.stderr
@@ -1,6 +1,6 @@
-\r
-T6022.hs:3:1: error:\r
-    Non type-variable argument in the constraint: Eq ([a] -> a)\r
-    (Use FlexibleContexts to permit this)\r
-    When checking that ‘f’ has the inferred type\r
-      f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool\r
+
+T6022.hs:3:1: error:
+    • Non type-variable argument in the constraint: Eq ([a] -> a)
+      (Use FlexibleContexts to permit this)
+    • When checking the inferred type
+        f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool