Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T6022.stderr
index a85c628..e690095 100644 (file)
@@ -1,6 +1,6 @@
 
-T6022.hs:3:9: error:
-    No instance for (Eq ([a] -> a)) arising from a use of ‘==’
-      (maybe you haven't applied a function to enough arguments?)
-    In the expression: x == head
-    In an equation for ‘f’: f x = x == head
+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