diff options
| author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-29 15:39:09 +0800 |
|---|---|---|
| committer | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-29 15:39:09 +0800 |
| commit | b94ab9034367f51b978904d60f2604db10abbd9f (patch) | |
| tree | f7bebc14edfffd5dd640b065dd64d02443819408 /html-test/ref/Operators.html | |
| parent | 1a9dcfef033dd66514015d4a942ba67d21f95482 (diff) | |
For pattern synonyms, render "pattern" as a keyword
Diffstat (limited to 'html-test/ref/Operators.html')
| -rw-r--r-- | html-test/ref/Operators.html | 8 |
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 -> 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 |