[commit: ghc] wip/T14880-2-step3: Fix #14880. (62ca12f)

[git at git.haskell.org]

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

On branch  : wip/T14880-2-step3
Link       : http://ghc.haskell.org/trac/ghc/changeset/62ca12fb5e097d123d916495f1511af98cba173d/ghc

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

commit 62ca12fb5e097d123d916495f1511af98cba173d
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Mon Apr 23 12:18:26 2018 -0400

    Fix #14880.
    
    This fix is described in Note [Removing variables with bound kinds]
    in TcType. This commit also changes split_dvs to close over kinds
    at the end, which seems more performant than walking over the kind
    of every tyvar occurrence.


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

62ca12fb5e097d123d916495f1511af98cba173d
 compiler/typecheck/TcType.hs                       | 84 +++++++++++++++++-----
 testsuite/tests/dependent/should_compile/T14880.hs | 15 ++++
 testsuite/tests/dependent/should_compile/all.T     |  2 +
 testsuite/tests/ghci/should_run/T12549.stdout      |  2 +-
 4 files changed, 83 insertions(+), 20 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 62ca12fb5e097d123d916495f1511af98cba173d