aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/PatternSyns.html
diff options
context:
space:
mode:
authorAlex Biehl <alexbiehl@gmail.com>2017-06-03 20:37:28 +0200
committerGitHub <noreply@github.com>2017-06-03 20:37:28 +0200
commitbfb3563f730fd1c973a6611a0fba3435fb1df489 (patch)
tree78fe1e944e74c7840bc64cb03ea33b4e23e0ed7e /html-test/ref/PatternSyns.html
parent75e1e19d0d6c139c3c7d9b77b2928e6eb286dd48 (diff)
Allow user defined signatures for pattern synonyms (#631)
Diffstat (limited to 'html-test/ref/PatternSyns.html')
-rw-r--r--html-test/ref/PatternSyns.html29
1 files changed, 29 insertions, 0 deletions
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index 9f0caaa2..2cf936b3 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -118,6 +118,16 @@ window.onload = function () {pageLoad();};
> k a (b :: k). <a href="#"
>(&gt;&lt;)</a
> k a b</li
+ ><li class="src short"
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >PatWithExplicitSig</a
+ > :: <a href="#"
+ >Eq</a
+ > somex =&gt; somex -&gt; <a href="#"
+ >FooType</a
+ > somex</li
></ul
></div
><div id="interface"
@@ -279,6 +289,25 @@ window.onload = function () {pageLoad();};
></p
></div
></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:PatWithExplicitSig" class="def"
+ >PatWithExplicitSig</a
+ > :: <a href="#"
+ >Eq</a
+ > somex =&gt; somex -&gt; <a href="#"
+ >FooType</a
+ > somex <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Earlier ghc versions didn't allow explicit signatures
+ on pattern synonyms.</p
+ ></div
+ ></div
></div
></div
><div id="footer"