Add kind equalities to GHC.
[ghc.git] / testsuite / tests / indexed-types / should_fail / SimpleFail14.stderr
index 666f725..7079d8c 100644 (file)
@@ -1,6 +1,6 @@
 
-SimpleFail14.hs:5:15:
-    Expected a type, but ‘a ~ a’ has kind ‘Constraint’
-    In the type ‘a ~ a’
-    In the definition of data constructor ‘T’
-    In the data declaration for ‘T’
+SimpleFail14.hs:5:15: error:
+    • Expected a type, but ‘a ~ a’ has kind ‘Constraint’
+    • In the type ‘a ~ a’
+      In the definition of data constructor ‘T’
+      In the data declaration for ‘T’