1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail151.hs b/testsuite/tests/typecheck/should_fail/tcfail151.hs
new file mode 100644
index 0000000000..112973b71e
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/tcfail151.hs
@@ -0,0 +1,11 @@
+{-# LANGUAGE DatatypeContexts #-}
+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 = MkExp a
+-- The kind error should be reported here
+-- GHC 6.4 reported an error with the class decl
+