[GHC] #7420: mis-attributed kind in the explict type/kind signature

[GHC]

#7420: mis-attributed kind in the explict type/kind signature
----------------------------------------+-----------------------------------
  Reporter:  guest                      |          Owner:                
      Type:  bug                        |         Status:  closed        
  Priority:  normal                     |      Milestone:                
 Component:  Compiler                   |        Version:  7.4.2         
Resolution:  fixed                      |       Keywords:                
        Os:  FreeBSD                    |   Architecture:  x86_64 (amd64)
   Failure:  GHC rejects valid program  |     Difficulty:  Unknown       
  Testcase:                             |      Blockedby:                
  Blocking:                             |        Related:                
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * status:  new => closed
  * resolution:  => fixed


Comment:

 Thanks.  Polymorphic kinds were not an advertised feature of GH 7.4; the
 flags existed but they didn't work properly.  Kind polymorphism does work
 in 7.6, and indeed happily this program works fine in 7.6 and HEAD.

 Simon

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