Add kind equalities to GHC.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail057.stderr
index 07a8116..945c81c 100644 (file)
@@ -1,5 +1,5 @@
 
 tcfail057.hs:5:7: error:
-    • Constraint ‘RealFrac a’ used as a type
+    • Expected a type, but ‘RealFrac a’ has kind ‘Constraint’
     • In the type signature:
         f :: (RealFrac a) -> a -> a