X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Ftypecheck%2Fshould_fail%2Ftcfail028.stderr;h=ef349d4245d13ceb9da8d4229849f68c48f7696f;hb=06776c85fdffa4a9295aa8bb5bfa27f7f19cd51e;hp=2639267ccf3961e1b656b214a00937d1451c993b;hpb=dbf71170c5a24389293e15a06f2606b23207c0fd;p=ghc-hetmet.git

diff --git a/ghc/tests/typecheck/should_fail/tcfail028.stderr b/ghc/tests/typecheck/should_fail/tcfail028.stderr
index 2639267..ef349d4 100644
--- a/ghc/tests/typecheck/should_fail/tcfail028.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail028.stderr
@@ -1,10 +1,7 @@
- 
-tcfail028.hs:4:
-    Couldn't match `*?' against `$0 -> *'
-	Expected kind: *?
-	Inferred kind: $0 -> *
-    In the type `A a'
-    In the data declaration for `A'
-
 
-Compilation had errors
+tcfail028.hs:4:
+    Couldn't match `k -> k1' against `Type bx'
+	Expected kind: k -> k1
+	Inferred kind: Type bx
+    When checking that `A a' is a type
+    In the data type declaration for `A'