[project @ 1998-02-03 11:24:18 by simonm]

[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 a332f23..6516284 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail070.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail070.stderr
@@ -1,6 +1,10 @@
  
-tcfail070.hs:13: Couldn't match the kind `*' against `* -> ka1998'
-    When unifying two kinds `*' and `* -> ka1998'
-    In the type declaration for `State'
+tcfail070.hs:13:
+    Couldn't match the kind * against * -> kawG
+       Expected: *
+       Found:    * -> kawG
+       In the type `[Int] Bool'
+       In the type declaration for `State'
+
 
 Compilation had errors