aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/ConstructorPatternExport.html
diff options
context:
space:
mode:
authorTim Baumann <tim@timbaumann.info>2017-08-06 11:33:38 +0200
committerAlexander Biehl <alexbiehl@gmail.com>2017-08-06 11:33:38 +0200
commit3fddb62913c72f29843335aa796c2e444ded1608 (patch)
treea3cccdacd8e546e527488009ebd5d9c815be46d3 /html-test/ref/ConstructorPatternExport.html
parent4d765e3cd0a735f9a7e8d13fb6633f9ee534fbfb (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 'html-test/ref/ConstructorPatternExport.html')
-rw-r--r--html-test/ref/ConstructorPatternExport.html124
1 files changed, 124 insertions, 0 deletions
diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html
new file mode 100644
index 00000000..20f00d0f
--- /dev/null
+++ b/html-test/ref/ConstructorPatternExport.html
@@ -0,0 +1,124 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><title
+ >ConstructorPatternExport</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><script src="haddock-util.js" type="text/javascript"
+ ></script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ></script
+ ><script type="text/javascript"
+ >//
+window.onload = function () {pageLoad();};
+//
+</script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >Safe</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >ConstructorPatternExport</p
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:FooCons" class="def"
+ >FooCons</a
+ > :: <a href="#"
+ >String</a
+ > -&gt; a -&gt; Foo a <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:MyRecCons" class="def"
+ >MyRecCons</a
+ > :: <a href="#"
+ >Bool</a
+ > -&gt; <a href="#"
+ >Int</a
+ > -&gt; MyRec <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v::-43-" class="def"
+ >(:+)</a
+ > :: <a href="#"
+ >String</a
+ > -&gt; a -&gt; MyInfix a <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:BlubCons" class="def"
+ >BlubCons</a
+ > :: () =&gt; <a href="#"
+ >Show</a
+ > b =&gt; b -&gt; Blub <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:MyGADTCons" class="def"
+ >MyGADTCons</a
+ > :: () =&gt; <span class="keyword"
+ >forall</span
+ > a. <a href="#"
+ >Eq</a
+ > a =&gt; a -&gt; <a href="#"
+ >Int</a
+ > -&gt; MyGADT (<a href="#"
+ >Maybe</a
+ > <a href="#"
+ >String</a
+ >) <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+> \ No newline at end of file