From 3fd4c8c0b1be302d209e580d7190aef7c923a2ee Mon Sep 17 00:00:00 2001
From: "Dr. ERDI Gergo" <gergo@erdi.hu>
Date: Sat, 29 Nov 2014 15:39:09 +0800
Subject: For pattern synonyms, render "pattern" as a keyword
---
html-test/ref/Operators.html | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
(limited to 'html-test/ref/Operators.html')
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index 516fe602..e9be655f 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 -> t -> [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 -> t -> [t] <span class="fixity"
>infixr 3</span
--
cgit v1.2.3