Re: [GHC] #16204: GHC HEAD-only Core Lint error (Argument value doesn't match argument type)

5 Mar 2019

      #16204: GHC HEAD-only Core Lint error (Argument value doesn't match argument type)
-------------------------------------+-------------------------------------
        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:  Compile-time      |            Test Case:
  crash or panic                     |  typecheck/should_compile/T16204{a,b},
                                     |  typecheck/should_fail/T16204c
      Blocked By:                    |             Blocking:
 Related Tickets:  #16188, #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/16204#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler