aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/PatternSyns.html
diff options
context:
space:
mode:
authorHerbert Valerio Riedel <hvr@gnu.org>2017-04-25 15:21:45 +0200
committerAlex Biehl <alexbiehl@gmail.com>2017-04-25 17:02:20 +0200
commite41e21e6caccfe18c5a291c8c0f8be143552cc27 (patch)
tree46ad62b914088e68a045720567b7e6d869a9c4d4 /html-test/ref/PatternSyns.html
parentce3647ea278606f43615817ecb2865d96ca8b39e (diff)
`html-test --accept` deltas to reference samples
Diffstat (limited to 'html-test/ref/PatternSyns.html')
-rw-r--r--html-test/ref/PatternSyns.html46
1 files changed, 25 insertions, 21 deletions
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index 242803c2..2052d87c 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -69,9 +69,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>Foo</a
> :: <span class="keyword"
>forall</span
- > t. t -&gt; <a href="#"
+ > x. x -&gt; <a href="#"
>FooType</a
- > t</li
+ > x</li
><li class="src short"
><span class="keyword"
>pattern</span
@@ -79,11 +79,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>Bar</a
> :: <span class="keyword"
>forall</span
- > t. t -&gt; <a href="#"
+ > x. x -&gt; <a href="#"
>FooType</a
> (<a href="#"
>FooType</a
- > t)</li
+ > x)</li
><li class="src short"
><span class="keyword"
>pattern</span
@@ -91,17 +91,19 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>(:&lt;-&gt;)</a
> :: <span class="keyword"
>forall</span
- > t t1. t -&gt; t1 -&gt; (<a href="#"
+ > x x1. x -&gt; x1 -&gt; (<a href="#"
>FooType</a
- > t, <a href="#"
+ > x, <a href="#"
>FooType</a
> (<a href="#"
>FooType</a
- > t1))</li
+ > x1))</li
><li class="src short"
><span class="keyword"
>data</span
- > a <a href="#"
+ > (a :: <a href="#"
+ >*</a
+ >) <a href="#"
>&gt;&lt;</a
> b = <a href="#"
>Empty</a
@@ -113,9 +115,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>E</a
> :: <span class="keyword"
>forall</span
- > k t t1. <a href="#"
+ > k a (b :: k). <a href="#"
>(&gt;&lt;)</a
- > k t t1</li
+ > k a b</li
></ul
></div
><div id="interface"
@@ -157,9 +159,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>Foo</a
> :: <span class="keyword"
>forall</span
- > t. t -&gt; <a href="#"
+ > x. x -&gt; <a href="#"
>FooType</a
- > t <a href="#" class="selflink"
+ > x <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -179,11 +181,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>Bar</a
> :: <span class="keyword"
>forall</span
- > t. t -&gt; <a href="#"
+ > x. x -&gt; <a href="#"
>FooType</a
> (<a href="#"
>FooType</a
- > t) <a href="#" class="selflink"
+ > x) <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -203,13 +205,13 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>(:&lt;-&gt;)</a
> :: <span class="keyword"
>forall</span
- > t t1. t -&gt; t1 -&gt; (<a href="#"
+ > x x1. x -&gt; x1 -&gt; (<a href="#"
>FooType</a
- > t, <a href="#"
+ > x, <a href="#"
>FooType</a
> (<a href="#"
>FooType</a
- > t1)) <a href="#" class="selflink"
+ > x1)) <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -225,7 +227,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
><p class="src"
><span class="keyword"
>data</span
- > a <a id="t:-62--60-" class="def"
+ > (a :: <a href="#"
+ >*</a
+ >) <a id="t:-62--60-" class="def"
>&gt;&lt;</a
> b <a href="#" class="selflink"
>#</a
@@ -261,9 +265,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>E</a
> :: <span class="keyword"
>forall</span
- > k t t1. <a href="#"
+ > k a (b :: k). <a href="#"
>(&gt;&lt;)</a
- > k t t1 <a href="#" class="selflink"
+ > k a b <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -281,4 +285,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
></div
></body
></html
->
+> \ No newline at end of file