[commit: ghc] master: Allow scoped type variables refer to types (4d91cab)

[git at git.haskell.org]

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

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

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

commit 4d91cabcd5e3c603997d9876f6d30204a9b029c6
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Sun Aug 5 20:56:21 2018 -0400

    Allow scoped type variables refer to types
    
    This patch implements GHC proposal 29:
    (sorry, URL is too long for the commit message linter)
    and fixess #15050.
    
    The change is simple: Just use a different meta variable form.
    
    Test suite and documentation updated.
    
    Differential Revision: https://phabricator.haskell.org/D4980


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

4d91cabcd5e3c603997d9876f6d30204a9b029c6
 compiler/typecheck/TcHsType.hs                     | 53 +++++++++-------------
 compiler/typecheck/TcMType.hs                      | 40 ++++++++++++----
 docs/users_guide/glasgow_exts.rst                  |  5 --
 .../{should_fail => should_compile}/T7786.hs       |  0
 testsuite/tests/indexed-types/should_compile/all.T |  2 +-
 .../tests/indexed-types/should_fail/T7786.stderr   | 48 --------------------
 testsuite/tests/indexed-types/should_fail/all.T    |  1 -
 testsuite/tests/typecheck/should_compile/all.T     |  2 +-
 .../tests/typecheck/should_compile/tc141.stderr    | 16 +++----
 testsuite/tests/typecheck/should_fail/T5689.stderr | 14 ++----
 testsuite/tests/typecheck/should_fail/T5691.stderr |  9 ----
 11 files changed, 68 insertions(+), 122 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 4d91cabcd5e3c603997d9876f6d30204a9b029c6