[commit: ghc] master: Fix tcTyClTyVars to handle SigTvs (ae86eb9)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/ae86eb9f72fa7220fe47ac54d6d21395691c1308/ghc

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

commit ae86eb9f72fa7220fe47ac54d6d21395691c1308
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Tue Dec 15 13:47:14 2015 -0500

    Fix tcTyClTyVars to handle SigTvs
    
    Previously, tcTyClTyVars required that the names of the LHsQTyVars
    matched up exactly with the names of the kind of the given TyCon.
    It now does a bit of matching up when necessary to relax this
    restriction.
    
    This commit enables a few tests that had previously been disabled.
    
    The shortcoming this addresses is discussed in #11203, but that
    ticket is not directly addressed here.
    
    Test case: polykinds/SigTvKinds, perf/compiler/T9872d


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

ae86eb9f72fa7220fe47ac54d6d21395691c1308
 compiler/typecheck/TcHsType.hs      | 179 +++++++++++++++++++++++++-----------
 testsuite/tests/perf/compiler/all.T |  12 +--
 testsuite/tests/polykinds/all.T     |   2 +-
 3 files changed, 130 insertions(+), 63 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 ae86eb9f72fa7220fe47ac54d6d21395691c1308