[commit: ghc] wip/T14880: Fix #14880. (aa1ee00)

[git at git.haskell.org]

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

On branch  : wip/T14880
Link       : http://ghc.haskell.org/trac/ghc/changeset/aa1ee003df880618643e91da87344b6d9400207b/ghc

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

commit aa1ee003df880618643e91da87344b6d9400207b
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.


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

aa1ee003df880618643e91da87344b6d9400207b
 compiler/typecheck/TcType.hs                       | 86 +++++++++++++++++-----
 .../tests/dependent/should_compile/T14066a.stderr  |  2 +-
 testsuite/tests/dependent/should_compile/T14880.hs | 15 ++++
 testsuite/tests/dependent/should_compile/all.T     |  1 +
 testsuite/tests/ghci/should_run/T12549.stdout      |  2 +-
 5 files changed, 84 insertions(+), 22 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 aa1ee003df880618643e91da87344b6d9400207b