Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail028.stderr
index 592fffe..38791e6 100644 (file)
@@ -1,6 +1,7 @@
 
 tcfail028.hs:4:17:
-    Expecting one more argument to `A a'
-    In the type `A a'
-    In the definition of data constructor `B'
-    In the data type declaration for `A'
+    Expecting one more argument to ‘A a’
+    Expected a type, but ‘A a’ has kind ‘k0 -> *’
+    In the type ‘A a’
+    In the definition of data constructor ‘B’
+    In the data declaration for ‘A’