Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail001.stderr
index 3c67882..56c28d9 100644 (file)
@@ -1,7 +1,8 @@
 
-tcfail001.hs:9:2:
-    Couldn't match expected type ‘[t0] -> [t1]’ with actual type ‘[a]’
-    Relevant bindings include op :: [a] (bound at tcfail001.hs:9:2)
-    The equation(s) for ‘op’ have one argument,
-    but its type ‘[a]’ has none
-    In the instance declaration for ‘A [a]’
+tcfail001.hs:9:2: error:
+    • Couldn't match expected type ‘[a]’
+                  with actual type ‘[a0] -> [a1]’
+    • The equation(s) for ‘op’ have one argument,
+      but its type ‘[a]’ has none
+      In the instance declaration for ‘A [a]’
+    • Relevant bindings include op :: [a] (bound at tcfail001.hs:9:2)