Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T6022.stderr
index a3cd78e..e690095 100644 (file)
@@ -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