[commit: ghc] master: Two kind-polymorphism fixes (Trac #10122) (cabe174)

[git at git.haskell.org]

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

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

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

commit cabe174877d0c31535e224d69bd78434b2d28651
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Mar 2 16:29:39 2015 +0000

    Two kind-polymorphism fixes (Trac #10122)
    
    * The original fix was to improve the documentation, in
      line with the suggestions on Trac #10122
    
    * But in doing so I realised that the kind generalisation in
      TcRnDriver.tcRnType was completely wrong.  So I fixed that
      and updated Note [Kind-generalise in tcRnType] to explain.


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

cabe174877d0c31535e224d69bd78434b2d28651
 compiler/typecheck/TcRnDriver.hs                   | 44 +++++++++++-----
 compiler/types/TypeRep.hs                          |  2 +-
 docs/users_guide/glasgow_exts.xml                  | 59 +++++++++++++++++-----
 testsuite/tests/ghci/scripts/T10122.script         |  5 ++
 testsuite/tests/ghci/scripts/T10122.stdout         |  2 +
 testsuite/tests/ghci/scripts/all.T                 |  1 +
 .../should_run/GHCiWildcardKind.stdout             |  2 +-
 7 files changed, 86 insertions(+), 29 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 cabe174877d0c31535e224d69bd78434b2d28651