Re: [GHC] #312: Poor error message for kind error

#312: Poor error message for kind error
-------------------------------------+--------------------------------------
 Reporter:  simonpj                  |          Owner:  simonpj
     Type:  bug                      |         Status:  closed 
 Priority:  low                      |      Milestone:         
Component:  Compiler (Type checker)  |        Version:  6.4.1  
 Severity:  normal                   |     Resolution:  fixed  
 Keywords:                           |     Difficulty:  Unknown
 Testcase:                           |   Architecture:  Unknown
       Os:  Unknown                  |  
-------------------------------------+--------------------------------------
Changes (by igloo):

  * resolution:  None => fixed
  * testcase:  =>
  * status:  assigned => closed

Comment:

 We now get the nicer:
 {{{
 312.hs:7:35:
     Kind mis-match
     Expected kind `k -> k1 -> k2 -> *',
     but `Object f' f t' has kind `k -> k1 -> *'
     In the type synonym declaration for `LiftObject'
 }}}
 Test is tcfail132.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/312>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs