[commit: ghc] wip/T8584: Add support for pattern synonym type signatures. Syntax is of the form (17a5e28)

[git at git.haskell.org]

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

On branch  : wip/T8584
Link       : http://ghc.haskell.org/trac/ghc/changeset/17a5e28b2d64a06a7680a199878712dcf79a54eb/ghc

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

commit 17a5e28b2d64a06a7680a199878712dcf79a54eb
Author: Dr. ERDI Gergo <gergo at erdi.hu>
Date:   Fri Nov 7 19:29:06 2014 +0800

    Add support for pattern synonym type signatures.
    Syntax is of the form
    
        pattern P :: (Prov b) => (Req a) => a -> b -> Int -> T a
    
    which declares a pattern synonym called `P`, with argument types `a`, `b`,
    and `Int`, and result type `T a`, with provided context `(Prov b)` and required
    context `(Req a)`.


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

17a5e28b2d64a06a7680a199878712dcf79a54eb
 compiler/hsSyn/HsBinds.lhs           |  51 ++++-----
 compiler/hsSyn/HsTypes.lhs           |  16 +--
 compiler/iface/IfaceSyn.lhs          |  25 ++---
 compiler/iface/IfaceType.lhs         |  15 ++-
 compiler/parser/Parser.y             |  51 ++++++---
 compiler/parser/RdrHsSyn.hs          |  27 +----
 compiler/rename/RnBinds.lhs          |  42 ++++----
 compiler/typecheck/TcBinds.lhs       |  50 +++++++--
 compiler/typecheck/TcClassDcl.lhs    |   4 +-
 compiler/typecheck/TcPat.lhs         |  23 ++++-
 compiler/typecheck/TcPatSyn.lhs      | 195 ++++++++++++++++++++++++++---------
 compiler/typecheck/TcPatSyn.lhs-boot |   9 +-
 12 files changed, 332 insertions(+), 176 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 17a5e28b2d64a06a7680a199878712dcf79a54eb