[GHC] #7176: Failure to let kind variable remain uninstantiated when not needed

[GHC]

#7176: Failure to let kind variable remain uninstantiated when not needed
-------------------------------+--------------------------------------------
  Reporter:  goldfire          |          Owner:                        
      Type:  bug               |         Status:  closed                
  Priority:  normal            |      Milestone:                        
 Component:  Compiler          |        Version:  7.6.1-rc1             
Resolution:  fixed             |       Keywords:  PolyKinds TypeFamilies
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple      
   Failure:  None/Unknown      |     Difficulty:  Unknown               
  Testcase:  polykinds/T7176   |      Blockedby:                        
  Blocking:                    |        Related:                        
-------------------------------+--------------------------------------------
Changes (by simonpj):

  * status:  new => closed
  * testcase:  => polykinds/T7176
  * resolution:  => fixed


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