[GHC] #10141: Kind inference regression in closed type families

[GHC]

#10141: Kind inference regression in closed type families
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  highest           |               Milestone:  7.10.1
       Component:  Compiler          |                 Version:  7.10.1-rc2
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by jstolarek):

 * owner:  goldfire =>
 * status:  closed => new
 * resolution:  invalid =>


Comment:

 Replying to [comment:2 goldfire]:
 > So, closing as invalid.
 I believe we should create a test case so that any accidental change of
 semantics does not go unnoticed (like it seems to have between 7.8.3 and
 7.10.1?). Richard, I'm re-opening and assigning to you but if you don't
 have the time please re-assign it to me  - I'll take care of that in due
 time.

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