diff options
| author | Tim Baumann <tim@timbaumann.info> | 2017-08-06 11:33:38 +0200 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2017-08-06 11:33:38 +0200 |
| commit | 3fddb62913c72f29843335aa796c2e444ded1608 (patch) | |
| tree | a3cccdacd8e546e527488009ebd5d9c815be46d3 /latex-test/src/Simple | |
| parent | 4d765e3cd0a735f9a7e8d13fb6633f9ee534fbfb (diff) | |
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
Diffstat (limited to 'latex-test/src/Simple')
0 files changed, 0 insertions, 0 deletions