blob: 00578a1eb2f7160bf0112fd759a3d9225c4e4eb4 (
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 -> 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
|