[project @ 1998-04-17 15:58:37 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 7083356..0d43049 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail070.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail070.stderr
@@ -1,6 +1,9 @@
  
-tcfail070.hs:13: Couldn't match the kind `*' against `* -> ka1932'
-    When unifying two kinds `*' and `* -> ka1932'
+tcfail070.hs:13:
+    Couldn't match the kind * against * -> kaAl
+    Expected: *
+    Found:    * -> kaAl
+    In the type `[Int] Bool'
     In the type declaration for `State'