[commit: haddock] ghc-head, ghc-head1, ie_avails, master, wip/revert-ttg-2017-11-20, wip/ttg-2017-10-13, wip/ttg-2017-10-31, wip/ttg-2017-11-06, wip/ttg2-2017-11-10, wip/ttg3-2017-11-12, wip/ttg4-constraints-2017-11-13: Fix: Generate pattern signatures for constructors exported as patterns (#663) (3fddb62)
git at git.haskell.org
git at git.haskell.org
Mon Nov 20 21:09:44 UTC 2017
- Previous message: [commit: haddock] ghc-head, ghc-head1, ie_avails, master, wip/revert-ttg-2017-11-20, wip/ttg-2017-10-13, wip/ttg-2017-10-31, wip/ttg-2017-11-06, wip/ttg2-2017-11-10, wip/ttg3-2017-11-12, wip/ttg4-constraints-2017-11-13: Fix renaming after instance signature specializing (#660) (4d765e3)
- Next message: [commit: haddock] ghc-head, ghc-head1, ie_avails, master, wip/revert-ttg-2017-11-20, wip/ttg-2017-10-13, wip/ttg-2017-10-31, wip/ttg-2017-11-06, wip/ttg2-2017-11-10, wip/ttg3-2017-11-12, wip/ttg4-constraints-2017-11-13: Bump haddock-library (1732b91)
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Repository : ssh://git@git.haskell.org/haddock
On branches: ghc-head,ghc-head1,ie_avails,master,wip/revert-ttg-2017-11-20,wip/ttg-2017-10-13,wip/ttg-2017-10-31,wip/ttg-2017-11-06,wip/ttg2-2017-11-10,wip/ttg3-2017-11-12,wip/ttg4-constraints-2017-11-13
Link : http://git.haskell.org/haddock.git/commitdiff/3fddb62913c72f29843335aa796c2e444ded1608
>---------------------------------------------------------------
commit 3fddb62913c72f29843335aa796c2e444ded1608
Author: Tim Baumann <tim at timbaumann.info>
Date: Sun Aug 6 11:33:38 2017 +0200
Fix: Generate pattern signatures for constructors exported as patterns (#663)
* Fix pretty-printing of pattern signatures
Pattern synonyms can have up to two contexts, both having a
different semantic meaning: The first holds the constraints
required to perform the matching, the second contains the
constraints provided by a successful pattern match. When the
first context is empty but the second is not it is necessary
to render the first, empty context.
* Generate pattern synonym signatures for ctors exported as patterns
This fixes #653.
* Simplify extractPatternSyn
It is not necessary to generate the simplest type signature since
it will be simplified when pretty-printed.
* Add changelog entries for PR #663
* Fix extractPatternSyn error message
>---------------------------------------------------------------
3fddb62913c72f29843335aa796c2e444ded1608
CHANGES.md | 5 +
haddock-api/src/Haddock/Backends/Xhtml/Decl.hs | 240 ++++++++++++---------
haddock-api/src/Haddock/Interface/Create.hs | 34 ++-
haddock-api/src/Haddock/Types.hs | 6 +
...itParams.html => ConstructorPatternExport.html} | 94 ++++----
html-test/ref/PatternSyns.html | 76 +++++++
html-test/src/ConstructorPatternExport.hs | 26 +++
html-test/src/PatternSyns.hs | 8 +-
8 files changed, 338 insertions(+), 151 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 3fddb62913c72f29843335aa796c2e444ded1608
- Previous message: [commit: haddock] ghc-head, ghc-head1, ie_avails, master, wip/revert-ttg-2017-11-20, wip/ttg-2017-10-13, wip/ttg-2017-10-31, wip/ttg-2017-11-06, wip/ttg2-2017-11-10, wip/ttg3-2017-11-12, wip/ttg4-constraints-2017-11-13: Fix renaming after instance signature specializing (#660) (4d765e3)
- Next message: [commit: haddock] ghc-head, ghc-head1, ie_avails, master, wip/revert-ttg-2017-11-20, wip/ttg-2017-10-13, wip/ttg-2017-10-31, wip/ttg-2017-11-06, wip/ttg2-2017-11-10, wip/ttg3-2017-11-12, wip/ttg4-constraints-2017-11-13: Bump haddock-library (1732b91)
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the ghc-commits
mailing list