[GHC] #7095: Kind-polymorphic typechecking requires better documentation.

[GHC]

#7095: Kind-polymorphic typechecking requires better documentation.
-------------------------------+--------------------------------------------
  Reporter:  schernichkin      |          Owner:                   
      Type:  feature request   |         Status:  closed           
  Priority:  normal            |      Milestone:                   
 Component:  Documentation     |        Version:  7.4.2            
Resolution:  fixed             |       Keywords:  Kind polymorphism
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple 
   Failure:  None/Unknown      |     Difficulty:  Unknown          
  Testcase:  polykinds/T7095   |      Blockedby:                   
  Blocking:                    |        Related:                   
-------------------------------+--------------------------------------------
Changes (by simonpj):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => fixed
  * testcase:  => polykinds/T7095


Comment:

 I think this is just a bug.  Kind polymorphism was not an advertised
 feature of 7.4 and does not work properly. Your code typechecks fine in
 HEAD (and I hope in 7.6rc).  Re-open if you disagree.

 I'll add your examle as a regression test.

 Simon

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