[GHC] #7938: Unbound kind variable can appear in RHS of associated type

[GHC]

#7938: Unbound kind variable can appear in RHS of associated type
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |            Owner:  goldfire
            Type:  bug               |           Status:  closed
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.7
      Resolution:  fixed             |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  GHC accepts       |       Difficulty:  Easy (less than 1
  invalid program                    |  hour)
       Test Case:  indexed-          |       Blocked By:
  types/should_fail/T7938            |  Related Tickets:
        Blocking:                    |
-------------------------------------+-------------------------------------
Changes (by goldfire):

 * status:  new => closed
 * testcase:   => indexed-types/should_fail/T7938
 * resolution:   => fixed


Comment:

 Ack. I got caught in the same misunderstanding about return kinds as
 documented in #7939. The original file in the description of this bug
 should not compile, and it now doesn't. The modification I made in my
 previous comment (to add a `:: k`) to the declaration for `Bar` really
 ''should'' compile.

 I've added a test case for the original bug, but otherwise, no changes
 necessary.

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