[commit: ghc] ghc-8.6: Warn about implicit kind variables with -Wcompat (8df2447)

[git at git.haskell.org]

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

On branch  : ghc-8.6
Link       : http://ghc.haskell.org/trac/ghc/changeset/8df24474d0194d28b8273c1539af05793156e23f/ghc

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

commit 8df24474d0194d28b8273c1539af05793156e23f
Author: Vladislav Zavialov <vlad.z.4096 at gmail.com>
Date:   Sat Jun 16 23:44:39 2018 -0400

    Warn about implicit kind variables with -Wcompat
    
    According to an accepted proposal
    https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/002
    4-no-kind-vars.rst
    
        With -Wcompat, warn if a kind variable is brought into scope
        implicitly in a type with an explicit forall. This applies to type
        signatures and to other contexts that allow a forall with the
        forall-or-nothing rule in effect (for example, class instances).
    
    Test Plan: Validate
    
    Reviewers: goldfire, hvr, bgamari, RyanGlScott
    
    Reviewed By: goldfire
    
    Subscribers: RyanGlScott, rwbarton, thomie, carter
    
    GHC Trac Issues: #15264
    
    Differential Revision: https://phabricator.haskell.org/D4834


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

8df24474d0194d28b8273c1539af05793156e23f
 compiler/main/DynFlags.hs                          |  3 ++
 compiler/rename/RnTypes.hs                         | 15 ++++++
 docs/users_guide/8.6.1-notes.rst                   |  6 +++
 docs/users_guide/using-warnings.rst                | 53 ++++++++++++++++++++++
 libraries/base/Data/Typeable/Internal.hs           |  9 ++--
 testsuite/tests/dependent/should_compile/T15264.hs | 15 ++++++
 .../tests/dependent/should_compile/T15264.stderr   | 10 ++++
 testsuite/tests/dependent/should_compile/all.T     |  1 +
 8 files changed, 108 insertions(+), 4 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 8df24474d0194d28b8273c1539af05793156e23f