[GHC] #14729: normaliseType is not well-kinded

[GHC]

#14729: normaliseType is not well-kinded
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:  (none)
            Type:  bug               |               Status:  merge
        Priority:  normal            |            Milestone:  8.8.1
       Component:  Compiler          |              Version:  8.2.2
      Resolution:  fixed             |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
                                     |  dependent/should_compile/T14729{,kind}
      Blocked By:                    |             Blocking:
 Related Tickets:  #15549            |  Differential Rev(s):
       Wiki Page:                    |  https://gitlab.haskell.org/ghc/ghc/merge_requests/208
-------------------------------------+-------------------------------------

Comment (by Marge Bot <ben+marge-bot@…>):

 In [changeset:"2b90356d26b4699227816ad9424e766eccdb6c36/ghc"
 2b90356d/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="2b90356d26b4699227816ad9424e766eccdb6c36"
 Fix #14729 by making the normaliser homogeneous

 This ports the fix to #12919 to the normaliser. (#12919 was about
 the flattener.) Because the fix is involved, this is done by
 moving the critical piece of code to Coercion, and then calling
 this from both the flattener and the normaliser.

 The key bit is: simplifying type families in a type is always
 a *homogeneous* operation. See #12919 for a discussion of why
 this is the Right Way to simplify type families.

 Also fixes #15549.

 test case: dependent/should_compile/T14729{,kind}
            typecheck/should_compile/T15549[ab]
 }}}

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