[commit: ghc] wip/T16188: Fix #16188 (ec0e10d)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/T16188
Link       : http://ghc.haskell.org/trac/ghc/changeset/ec0e10ddb93e3c8663ec3ebdd8ded91d87597d05/ghc

>---------------------------------------------------------------

commit ec0e10ddb93e3c8663ec3ebdd8ded91d87597d05
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Thu Jan 17 17:17:02 2019 -0700

    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


>---------------------------------------------------------------

ec0e10ddb93e3c8663ec3ebdd8ded91d87597d05
 compiler/typecheck/TcCanonical.hs                  | 40 +++++++++------
 compiler/types/Coercion.hs                         |  3 ++
 .../tests/indexed-types/should_fail/T2544.stderr   | 12 -----
 testsuite/tests/polykinds/T14172.stderr            | 15 ------
 testsuite/tests/typecheck/should_compile/T16188.hs | 48 ++++++++++++++++++
 .../tests/typecheck/should_compile/T16204a.hs      | 58 ++++++++++++++++++++++
 .../tests/typecheck/should_compile/T16204b.hs      | 58 ++++++++++++++++++++++
 testsuite/tests/typecheck/should_compile/T16225.hs | 25 ++++++++++
 testsuite/tests/typecheck/should_compile/all.T     |  4 ++
 testsuite/tests/typecheck/should_fail/T16204c.hs   | 16 ++++++
 .../tests/typecheck/should_fail/T16204c.stderr     | 12 +++++
 testsuite/tests/typecheck/should_fail/all.T        |  1 +
 12 files changed, 251 insertions(+), 41 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc ec0e10ddb93e3c8663ec3ebdd8ded91d87597d05