[project @ 2005-09-19 09:34:47 by simonpj]

Another kind-error test

testsuite/tests/ghc-regress/typecheck/should_fail/all.T

@@ -135,3 +135,4 @@ test('tcfail147', normal, compile_fail, [''])
 test('tcfail148', normal, compile_fail, [''])
 test('tcfail149', normal, compile_fail, [''])
 test('tcfail150', normal, compile_fail, [''])
+test('tcfail151', normal, compile_fail, [''])

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail151.hs

+module ShouldFail where
+
+class (Show a, Eq a, Monad m) => Name m a where 
+    hashName :: a -> Int 
+    newName :: m a 
+ 
+data Name a => Exp a 
+-- The kind error should be reported here
+-- GHC 6.4 reported an error with the class decl
+

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail151.stderr

+
+tcfail151.hs:7:5:
+    `Name a' is not applied to enough type arguments
+    Expected kind `*', but `Name a' has kind `k -> *'
+    In the data type declaration for `Exp'