diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-03-21 17:21:15 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-03-21 17:34:52 +0000 |
| commit | 411a97e2c0083529b4259d0cad8f453bae110dee (patch) | |
| tree | c84731b7c3bb2513910da88a2e782edd6dcce5c9 /compiler/codeGen | |
| parent | 49ac3f0f2a13f66fea31a258fa98b0de39bfbf10 (diff) | |
| download | haskell-411a97e2c0083529b4259d0cad8f453bae110dee.tar.gz | |
Allow as-patterns in unidirectional patttern synonyms
This patch implements GHC Proposal #94, described here
https://github.com/ghc-proposals/ghc-proposals/pull/94
The effect is simply to lift a totally-undocumented restriction to
unidirecional pattern synonyms, namely that they can't have as-patterns
or n+k patterns.
The fix is easy: just remove the checks.
I also took the opportunity to improve the manual entry for
the semantics of pattern matching for pattern synonyms.
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions