aboutsummaryrefslogtreecommitdiff
path: root/html-test
diff options
context:
space:
mode:
authorDr. ERDI Gergo <gergo@erdi.hu>2014-11-29 15:39:09 +0800
committerDr. ERDI Gergo <gergo@erdi.hu>2014-11-29 15:39:09 +0800
commitb94ab9034367f51b978904d60f2604db10abbd9f (patch)
treef7bebc14edfffd5dd640b065dd64d02443819408 /html-test
parent1a9dcfef033dd66514015d4a942ba67d21f95482 (diff)
For pattern synonyms, render "pattern" as a keyword
Diffstat (limited to 'html-test')
-rw-r--r--html-test/ref/Operators.html8
-rw-r--r--html-test/ref/PatternSyns.html32
2 files changed, 30 insertions, 10 deletions
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index dc06e3b5..b076206d 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -90,7 +90,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");};
></ul
></li
><li class="src short"
- >pattern <a href=""
+ ><span class="keyword"
+ >pattern</span
+ > <a href=""
>(:+)</a
> :: t -&gt; t -&gt; [t]</li
><li class="src short"
@@ -266,7 +268,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");};
></div
><div class="top"
><p class="src"
- >pattern <a name="v::-43-" class="def"
+ ><span class="keyword"
+ >pattern</span
+ > <a name="v::-43-" class="def"
>(:+)</a
> :: t -&gt; t -&gt; [t] <span class="fixity"
>infixr 3</span
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index f5842d79..00861b39 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -62,13 +62,17 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
>FooCtor</a
> x</li
><li class="src short"
- >pattern <a href=""
+ ><span class="keyword"
+ >pattern</span
+ > <a href=""
>Foo</a
> :: t -&gt; <a href=""
>FooType</a
> t</li
><li class="src short"
- >pattern <a href=""
+ ><span class="keyword"
+ >pattern</span
+ > <a href=""
>Bar</a
> :: t -&gt; <a href=""
>FooType</a
@@ -76,7 +80,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
>FooType</a
> t)</li
><li class="src short"
- >pattern <a href=""
+ ><span class="keyword"
+ >pattern</span
+ > <a href=""
>(:&lt;-&gt;)</a
> :: t -&gt; t -&gt; (<a href=""
>FooType</a
@@ -94,7 +100,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
>Empty</a
></li
><li class="src short"
- >pattern <a href=""
+ ><span class="keyword"
+ >pattern</span
+ > <a href=""
>E</a
> :: <a href=""
>(&gt;&lt;)</a
@@ -132,7 +140,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
></div
><div class="top"
><p class="src"
- >pattern <a name="v:Foo" class="def"
+ ><span class="keyword"
+ >pattern</span
+ > <a name="v:Foo" class="def"
>Foo</a
> :: t -&gt; <a href=""
>FooType</a
@@ -148,7 +158,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
></div
><div class="top"
><p class="src"
- >pattern <a name="v:Bar" class="def"
+ ><span class="keyword"
+ >pattern</span
+ > <a name="v:Bar" class="def"
>Bar</a
> :: t -&gt; <a href=""
>FooType</a
@@ -166,7 +178,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
></div
><div class="top"
><p class="src"
- >pattern <a name="v::-60--45--62-" class="def"
+ ><span class="keyword"
+ >pattern</span
+ > <a name="v::-60--45--62-" class="def"
>(:&lt;-&gt;)</a
> :: t -&gt; t -&gt; (<a href=""
>FooType</a
@@ -214,7 +228,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");};
></div
><div class="top"
><p class="src"
- >pattern <a name="v:E" class="def"
+ ><span class="keyword"
+ >pattern</span
+ > <a name="v:E" class="def"
>E</a
> :: <a href=""
>(&gt;&lt;)</a