[project @ 2000-12-12 17:21:40 by simonmar]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail070.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail070.stderr b/ghc/tests/typecheck/should_fail/tcfail070.stderr
index 0d43049..9682b5f 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail070.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail070.stderr
@@ -1,10 +1,7 @@
- 
-tcfail070.hs:13:
-    Couldn't match the kind * against * -> kaAl
-    Expected: *
-    Found:    * -> kaAl
-    In the type `[Int] Bool'
-    In the type declaration for `State'
 
-
-Compilation had errors
+tcfail070.hs:15:
+    Couldn't match `*' against `* -> k'
+       Expected kind: *
+       Inferred kind: * -> k
+    When checking kinds in `[Int] Bool'
+    In the type synonym declaration for `State'