[commit: ghc] wip/T11224: WIP for Trac #11224 (a729ac8)

[git at git.haskell.org]

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

On branch  : wip/T11224
Link       : http://ghc.haskell.org/trac/ghc/changeset/a729ac8c091cbcc8c3b456836dbcdea5c20b0af5/ghc

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

commit a729ac8c091cbcc8c3b456836dbcdea5c20b0af5
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Dec 16 12:00:58 2015 +0000

    WIP for Trac #11224
    
    Not right yet.
    
    But the fix in Match.hs is solid; could be cherry-picked.


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

a729ac8c091cbcc8c3b456836dbcdea5c20b0af5
 compiler/basicTypes/PatSyn.hs                      |   2 +-
 compiler/deSugar/Match.hs                          |  86 +++++----
 compiler/typecheck/TcBinds.hs                      |  25 +--
 compiler/typecheck/TcHsType.hs                     |   2 +-
 compiler/typecheck/TcPatSyn.hs                     | 209 +++++++++++----------
 compiler/typecheck/TcRnTypes.hs                    |   7 +-
 testsuite/tests/patsyn/should_compile/T11224b.hs   |  16 ++
 testsuite/tests/patsyn/should_compile/all.T        |   1 +
 .../tests/patsyn/should_fail/as-pattern.stderr     |   7 +-
 testsuite/tests/patsyn/should_run/T11224.hs        |  28 +++
 testsuite/tests/patsyn/should_run/T11224.stdout    |   6 +
 testsuite/tests/patsyn/should_run/all.T            |   1 +
 12 files changed, 231 insertions(+), 159 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 a729ac8c091cbcc8c3b456836dbcdea5c20b0af5