[GHC] #7328: Seemingly inappropriate "expecting one more argument" error in polykinded class

[GHC]

#7328: Seemingly inappropriate "expecting one more argument" error in polykinded
class
---------------------------------------+------------------------------------
 Reporter:  illissius                  |          Owner:                  
     Type:  bug                        |         Status:  new             
 Priority:  normal                     |      Component:  Compiler        
  Version:  7.6.1                      |       Keywords:                  
       Os:  Unknown/Multiple           |   Architecture:  Unknown/Multiple
  Failure:  GHC rejects valid program  |       Testcase:                  
Blockedby:                             |       Blocking:                  
  Related:                             |  
---------------------------------------+------------------------------------

Comment(by simonpj@…):

 commit 8691041c8360aba98d3e1489b7804a5d83dcab70
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Mon Oct 15 15:52:02 2012 +0100

     Improve error reporting for kind occurs-checks

     Fixes Trac #7328.

  compiler/typecheck/TcHsType.lhs |   36 +++++++++++++++++-------
  compiler/typecheck/TcUnify.lhs  |   57
 +++++++++++++++++++++-----------------
  2 files changed, 56 insertions(+), 37 deletions(-)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7328#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler