Re: [GHC] #16225: GHC HEAD-only Core Lint error (Trans coercion mis-match)

4 Mar 2019

      #16225: GHC HEAD-only Core Lint error (Trans coercion mis-match)
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            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:  None/Unknown      |            Test Case:
                                     |  typecheck/should_compile/T16225
      Blocked By:                    |             Blocking:
 Related Tickets:  #16188, #16204    |  Differential Rev(s):
       Wiki Page:                    |  https://gitlab.haskell.org/ghc/ghc/merge_requests/207
-------------------------------------+-------------------------------------

Comment (by 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/16225#comment:3
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler