[project @ 1998-08-09 21:09:58 by sof]

[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 804bde1..475c96b 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 `* -> ka1937'
-    When unifying two kinds `*' and `* -> ka1937'
+tcfail070.hs:13:
+    Couldn't match the kind * against * -> kaAD
+    Expected: *
+    Found:    * -> kaAD
+    In the type `[Int] Bool'
     In the type declaration for `State'
 
+
 Compilation had errors