[commit: ghc] master: Pattern synonyms: swap provided/required (04b0a73)

[git at git.haskell.org]

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

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

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

commit 04b0a73a2a418e1ca9c282ab3f2b4fe216911fdd
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Oct 28 09:41:27 2015 +0000

    Pattern synonyms: swap provided/required
    
    This patch swaps the order of provided and required constraints in
    a pattern signature, so it now goes
    
          pattern P :: req => prov => t1 -> ... tn -> res_ty
    
    See the long discussion in Trac #10928.
    
    I think I have found all the places, but I could have missed something
    particularly in comments.
    
    There is a Haddock changes; so a submodule update.


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

04b0a73a2a418e1ca9c282ab3f2b4fe216911fdd
 compiler/basicTypes/PatSyn.hs                      | 45 ++++++++++++++++++++--
 compiler/hsSyn/HsBinds.hs                          | 16 ++++----
 compiler/iface/IfaceSyn.hs                         |  2 +-
 compiler/iface/MkIface.hs                          |  2 +-
 compiler/rename/RnBinds.hs                         |  8 ++--
 compiler/typecheck/TcBinds.hs                      | 15 +++++++-
 compiler/typecheck/TcPat.hs                        |  2 +-
 docs/users_guide/glasgow_exts.rst                  | 18 ++++-----
 testsuite/tests/ghci/scripts/T8776.stdout          |  3 +-
 testsuite/tests/patsyn/should_compile/T10997_1a.hs |  2 +-
 testsuite/tests/patsyn/should_compile/T10997a.hs   |  2 +-
 testsuite/tests/patsyn/should_compile/T8584-2.hs   |  2 +-
 testsuite/tests/patsyn/should_fail/T11010.hs       | 18 +++++++++
 testsuite/tests/patsyn/should_fail/T11010.stderr   |  8 ++++
 testsuite/tests/patsyn/should_fail/all.T           |  1 +
 utils/haddock                                      |  2 +-
 16 files changed, 112 insertions(+), 34 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 04b0a73a2a418e1ca9c282ab3f2b4fe216911fdd