[project @ 2001-04-05 11:48:59 by simonpj]

[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail028.stderr

diff --git a/ghc/tests/typecheck/should_fail/tcfail028.stderr b/ghc/tests/typecheck/should_fail/tcfail028.stderr
index 6393495..ef349d4 100644 (file)
--- a/ghc/tests/typecheck/should_fail/tcfail028.stderr
+++ b/ghc/tests/typecheck/should_fail/tcfail028.stderr
@@ -1,10 +1,7 @@
 
-tcfail028.hs:5:
-    Couldn't match `Type t' against `k -> *'
-       Expected kind: Type t
-       Inferred kind: k -> *
+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 newtype declaration for `A'
-
-Compilation had errors
-
+    In the data type declaration for `A'