X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail070.stderr;h=65162846870043f6d55963aeda2c20f13854a095;hb=26e677fd40e5dd967f0271a9232dfd5e3cd1ee29;hp=a332f23b0ef1dcbccc651a90a21241661f6f8ceb;hpb=29f917b1bf425195f092df7872b064cf5b357cfb;p=ghc-hetmet.git

diff --git a/ghc/tests/typecheck/should_fail/tcfail070.stderr b/ghc/tests/typecheck/should_fail/tcfail070.stderr
index a332f23..6516284 100644
--- 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