[commit: ghc] ghc-8.0: Implement scoped type variables in pattern synonyms (8c10ee3)

[git at git.haskell.org]

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

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/8c10ee3cacdd4f88561751e96831435397aef4e9/ghc

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

commit 8c10ee3cacdd4f88561751e96831435397aef4e9
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Jan 15 17:45:02 2016 +0000

    Implement scoped type variables in pattern synonyms
    
    This fixes Trac #11351.   The implementation is pretty
    simple, happily.
    
    I took the opportunity to re-order the prov/req context
    in builder-ids, which was confusingly backwards.
    
    (cherry picked from commit e2c7b7ee976dcabf12002265ddbe58017b794cb8)


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

8c10ee3cacdd4f88561751e96831435397aef4e9
 compiler/basicTypes/PatSyn.hs                   |  4 +-
 compiler/deSugar/DsExpr.hs                      |  6 +-
 compiler/rename/RnBinds.hs                      | 29 +++++----
 compiler/typecheck/TcBinds.hs                   |  9 ++-
 compiler/typecheck/TcHsType.hs                  |  2 +-
 compiler/typecheck/TcPat.hs                     |  3 +-
 compiler/typecheck/TcPatSyn.hs                  | 82 +++++++++++++++++--------
 compiler/typecheck/TcPatSyn.hs-boot             |  4 +-
 compiler/typecheck/TcRnTypes.hs                 |  8 ++-
 testsuite/tests/patsyn/should_compile/T11351.hs | 23 +++++++
 testsuite/tests/patsyn/should_compile/all.T     |  1 +
 11 files changed, 120 insertions(+), 51 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 8c10ee3cacdd4f88561751e96831435397aef4e9