[commit: ghc] master: Allow (unparenthesized) kind signatures (bace26a)

[git at git.haskell.org]

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

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

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

commit bace26aadaafa4064e78f9ed088c1e2217221acc
Author: Alec Theriault <alec.theriault at gmail.com>
Date:   Thu Oct 4 18:10:21 2018 -0400

    Allow (unparenthesized) kind signatures
    
    Summary: This allows for things like `[t :: MyKind]`, `(a :: k, b)`, and so on.
    
    Test Plan: make TEST=T11622 && make TEST=T8708
    
    Reviewers: RyanGlScott, bgamari, simonpj, goldfire, alanz
    
    Reviewed By: RyanGlScott, simonpj
    
    Subscribers: alanz, simonpj, rwbarton, mpickering, carter
    
    GHC Trac Issues: #11622, #8708
    
    Differential Revision: https://phabricator.haskell.org/D5173


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

bace26aadaafa4064e78f9ed088c1e2217221acc
 compiler/hsSyn/Convert.hs                          |   2 +-
 compiler/hsSyn/HsExpr.hs                           |   2 +-
 compiler/hsSyn/HsPat.hs                            |   2 +-
 compiler/hsSyn/HsTypes.hs                          |   4 +-
 compiler/hsSyn/HsUtils.hs                          |   2 +-
 compiler/parser/Parser.y                           |  32 +-
 compiler/parser/RdrHsSyn.hs                        |  52 +-
 docs/users_guide/8.8.1-notes.rst                   |   4 +
 testsuite/tests/ghc-api/annotations/T11018.stdout  |   8 +-
 testsuite/tests/ghc-api/annotations/T11321.stdout  |   2 +-
 .../tests/indexed-types/should_fail/T7938.stderr   |   4 +-
 .../parser/should_compile/DumpParsedAst.stderr     |   2 +-
 .../parser/should_compile/DumpRenamedAst.stderr    |  33 +-
 testsuite/tests/parser/should_compile/KindSigs.hs  |  32 ++
 .../tests/parser/should_compile/KindSigs.stderr    | 577 +++++++++++++++++++++
 testsuite/tests/parser/should_compile/T11622.hs    |   7 +
 testsuite/tests/parser/should_compile/T8708.hs     |   7 +
 testsuite/tests/parser/should_compile/all.T        |   4 +
 testsuite/tests/polykinds/T14450.stderr            |   4 +-
 testsuite/tests/polykinds/T14580.stderr            |   4 +-
 .../tests/typecheck/should_fail/T15629.stderr      |   4 +-
 21 files changed, 723 insertions(+), 65 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 bace26aadaafa4064e78f9ed088c1e2217221acc