[ ghc-Bugs-1151767 ] Poor error message for kind error

Bugs item #1151767, was opened at 2005-02-25 13:15
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1151767&group_id=8032

Category: Compiler (Type checker)
Group: None
Status: Open
Resolution: None
Priority: 4
Submitted By: Simon Peyton Jones (simonpj)
Assigned to: Simon Peyton Jones (simonpj)
Summary: Poor error message for kind error

Initial Comment:
A kind error can lead to the following poor error msg:

tcfail132.hs:30:51:
    Kind error: Expecting kind `k_a18s -> k_a18w -> 
k_a18A -> *',
                but `DUnit t' has kind `k_a18s -> 
k_a18w -> *'
    In the type synonym declaration for `LiftObject'


The source program is

newtype Object f' f t o1 o2  = Object (f' t o1 -> f t o2)
type DUnit t o1 o2       = ()

type T f g t o1 o2  = Either (f t o1 o2) (g t o1 o2)

type LiftObject t f' f         = T (Object f' f t) (DUnit t)


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1151767&group_id=8032