Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail132.stderr
index 9ec35d7..3f8f226 100644 (file)
@@ -1,15 +1,15 @@
 
 tcfail132.hs:17:37: error:
-    Expecting one fewer argument to ‘Object f' f t’
-    Expected kind ‘* -> * -> * -> *’,
-      but ‘Object f' f t’ has kind ‘* -> * -> *’
-    In the first argument of ‘T’, namely ‘Object f' f t
-    In the type ‘T (Object f' f t) (DUnit t)’
-    In the type declaration for ‘LiftObject’
+    • Expecting one fewer arguments to ‘Object f' f t’
+      Expected kind ‘* -> * -> * -> *’,
+        but ‘Object f' f t’ has kind ‘* -> * -> *’
+    • In the first argument of ‘T’, namely ‘(Object f' f t)
+      In the type ‘T (Object f' f t) (DUnit t)’
+      In the type declaration for ‘LiftObject’
 
 tcfail132.hs:17:53: error:
-    Expected kind ‘* -> * -> * -> *’,
-      but ‘DUnit t’ has kind ‘* -> * -> *’
-    In the second argument of ‘T’, namely ‘DUnit t
-    In the type ‘T (Object f' f t) (DUnit t)’
-    In the type declaration for ‘LiftObject’
+    • Expected kind ‘* -> * -> * -> *’,
+        but ‘DUnit t’ has kind ‘* -> * -> *’
+    • In the second argument of ‘T’, namely ‘(DUnit t)
+      In the type ‘T (Object f' f t) (DUnit t)’
+      In the type declaration for ‘LiftObject’