blob: 51cf65d5cd2ee14625eeaf31a72257ed065c133a (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE DatatypeContexts, MultiParamTypeClasses #-}
module ShouldFail where
class (Show a, Eq a, Monad m) => Name m a where
hashName :: a -> m 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
|