Add kind equalities to GHC.
[ghc.git] / testsuite / tests / polykinds / T7404.stderr
index d9d4288..a8b953e 100644 (file)
@@ -1,4 +1,5 @@
 
-T7404.hs:4:1:
-    Kind variable also used as type variable: ‘x’
-    In the declaration for type family ‘Foo’
+T7404.hs:4:32: error:
+    Type variable ‘x’ used in a kind.
+    Did you mean to use TypeInType?
+    the declaration for type family ‘Foo’