Re: #16188: GHC HEAD-only panic (buildKindCoercion)

#16188: GHC HEAD-only panic (buildKindCoercion)
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  goldfire
            Type:  bug               |               Status:  merge
        Priority:  highest           |            Milestone:  8.8.1
       Component:  Compiler (Type    |              Version:  8.7
  checker)                           |
      Resolution:                    |             Keywords:  TypeInType
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Compile-time      |            Test Case:
  crash or panic                     |  typecheck/should_compile/T16188
      Blocked By:                    |             Blocking:
 Related Tickets:  #16204, #16225    |  Differential Rev(s):
       Wiki Page:                    |  https://gitlab.haskell.org/ghc/ghc/merge_requests/207
-------------------------------------+-------------------------------------

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

 In [changeset:"4a4ae70f09009c5d32696445a06eacb273f364b5/ghc" 4a4ae70/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="4a4ae70f09009c5d32696445a06eacb273f364b5"
 Fix #16188

 There was an awful lot of zipping going on in
 canDecomposableTyConAppOK, and one of the lists being zipped
 was too short, causing the result to be too short. Easily
 fixed.

 Also fixes #16204 and #16225

 test case: typecheck/should_compile/T16188
            typecheck/should_compile/T16204[ab]
            typecheck/should_fail/T16204c
            typecheck/should_compile/T16225
 }}}

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16188#comment:9>