id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
460	reporting the origin of kind errors	nokta_kanto	nobody	"{{{
This code produces a kind error in the class declaration.  
There is indeed a kind error, but I think the error message 
is somewhat misleading.  It reports a kind error in the class 
declaration.  The kind error is due to an inconsistency 
between usage of ""Name"" in the class and data 
declarations. 
 
It would make more sense to me if the kind error were 
reported in the data declaration, or if it contained some 
information on how the expected kind was inferred. 
 
-- beginning of code 
class (Show a, Eq a, Monad m) => Name m a where 
    hashName :: a -> Int 
    newName :: m a 
 
data Name a => Exp a 
-- end of code 
 
The error reported is: 
test2.hs:1:0: 
    Couldn't match kind `*' against `k_a16S -> *' 
    In the class declaration for `Name' 
 
}}}"	bug	closed	normal		Compiler (Type checker)	6.4	Fixed