Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail208.stderr
index d3172b6..45642a7 100644 (file)
@@ -1,9 +1,9 @@
 
-tcfail208.hs:4:19:
-    Could not deduce (Eq (m a)) arising from a use of `=='
-    from the context (Monad m, Eq a)
-      bound by the type signature for
-                 f :: (Monad m, Eq a) => a -> m a -> Bool
-      at tcfail208.hs:3:6-40
-    In the expression: (return x == y)
-    In an equation for `f': f x y = (return x == y)
+tcfail208.hs:4:10: error:
+    • Could not deduce (Eq (m a)) arising from a use of ‘==’
+      from the context: (Monad m, Eq a)
+        bound by the type signature for:
+                   f :: (Monad m, Eq a) => a -> m a -> Bool
+        at tcfail208.hs:3:1-40
+    • In the expression: (return x == y)
+      In an equation for ‘f’: f x y = (return x == y)