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

Simon Peyton Jones simonpj at microsoft.com
Wed Nov 19 13:09:19 UTC 2014


Gergo

I've lost track.  Is this ready to commit?

Simon

| -----Original Message-----
| From: ghc-commits [mailto:ghc-commits-bounces at haskell.org] On Behalf Of
| git at git.haskell.org
| Sent: 19 November 2014 11:17
| To: ghc-commits at haskell.org
| Subject: [commit: ghc] wip/T8584: Add support for pattern synonym type
| signatures. Syntax is of the form (34acc90)
| 
| Repository : ssh://git@git.haskell.org/ghc
| 
| On branch  : wip/T8584
| Link       :
| http://ghc.haskell.org/trac/ghc/changeset/34acc90ccef765ca6a55b69437a7218
| 28a7fba6c/ghc
| 
| >---------------------------------------------------------------
| 
| commit 34acc90ccef765ca6a55b69437a721828a7fba6c
| 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)`.
| 
| 
| >---------------------------------------------------------------
| 
| 34acc90ccef765ca6a55b69437a721828a7fba6c
|  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 +-
|  testsuite/tests/ghci/scripts/T8776.stdout        |   2 +-
|  testsuite/tests/patsyn/should_compile/T8584-1.hs |   8 +
|  testsuite/tests/patsyn/should_compile/T8968-1.hs |   8 +
|  testsuite/tests/patsyn/should_compile/all.T      |   2 +
|  16 files changed, 351 insertions(+), 177 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
| 34acc90ccef765ca6a55b69437a721828a7fba6c
| _______________________________________________
| ghc-commits mailing list
| ghc-commits at haskell.org
| http://www.haskell.org/mailman/listinfo/ghc-commits


More information about the ghc-devs mailing list