aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Operators.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/Operators.html')
-rw-r--r--html-test/ref/Operators.html8
1 files changed, 6 insertions, 2 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