Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / gadt10.stderr
index b931288..cc5230e 100644 (file)
@@ -1,6 +1,7 @@
 
 gadt10.hs:6:24:
-    Expecting one more argument to `RInt'
-    In the type `RInt'
-    In the definition of data constructor `R'
-    In the data type declaration for `RInt'
+    Expecting one more argument to ‘RInt’
+    Expected kind ‘*’, but ‘RInt’ has kind ‘k0 -> *’
+    In the type ‘RInt’
+    In the definition of data constructor ‘R’
+    In the data declaration for ‘RInt’