[GHC] #9264: Scoped kind variables do not work with default associated types

[GHC]

#9264: Scoped kind variables do not work with default associated types
-------------------------------------+-------------------------------------
              Reporter:  goldfire    |             Owner:  simonpj
                  Type:  bug         |            Status:  closed
              Priority:  normal      |         Milestone:
             Component:  Compiler    |           Version:  7.8.2
            Resolution:  fixed       |          Keywords:
Differential Revisions:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  None/Unknown
  Unknown/Multiple                   |         Test Case:  polykinds/T9264
            Difficulty:  Unknown     |          Blocking:
            Blocked By:              |
       Related Tickets:              |
-------------------------------------+-------------------------------------
Changes (by simonpj):

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


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