[commit: ghc] master: Fix SigTvs at the kind level (8361b2c)

[git at git.haskell.org]

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

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

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

commit 8361b2c5a9f7a00f0024f44a43b851998ae41e33
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Dec 11 15:53:32 2017 +0000

    Fix SigTvs at the kind level
    
    This patch fixes two bugs in the treatment of SigTvs at the
    kind level:
    
    - We should always generalise them, never default them
      (Trac #14555, #14563)
    
    - We should check if they get unified with each other
      (Trac #11203)
    
    Both are described in TcHsType
       Note [Kind generalisation and SigTvs]


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

8361b2c5a9f7a00f0024f44a43b851998ae41e33
 compiler/typecheck/TcBinds.hs                      | 20 +++---
 compiler/typecheck/TcHsType.hs                     | 79 ++++++++++++++++------
 compiler/typecheck/TcMType.hs                      | 30 +++++---
 compiler/typecheck/TcSimplify.hs                   |  3 +
 compiler/typecheck/TcTyClsDecls.hs                 | 76 +++++++++++++++++----
 compiler/typecheck/TcType.hs                       | 18 ++++-
 compiler/types/TyCon.hs                            | 56 ++-------------
 .../tests/polykinds/{SigTvKinds2.hs => T11203.hs}  |  4 +-
 testsuite/tests/polykinds/T11203.stderr            |  4 ++
 testsuite/tests/polykinds/T11821a.stderr           |  4 ++
 testsuite/tests/polykinds/T14555.hs                | 12 ++++
 testsuite/tests/polykinds/T14555.stderr            |  6 ++
 testsuite/tests/polykinds/T14563.hs                |  9 +++
 testsuite/tests/polykinds/T14563.stderr            |  7 ++
 testsuite/tests/polykinds/all.T                    |  6 +-
 15 files changed, 228 insertions(+), 106 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 8361b2c5a9f7a00f0024f44a43b851998ae41e33