diff options
| author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-20 22:35:38 +0800 |
|---|---|---|
| committer | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-20 22:35:38 +0800 |
| commit | bf80e2f594777c0c32fae092454bff0c13ae6181 (patch) | |
| tree | 17b1299b2c43f1cb7b08e09ec817c9cfc51f082b /html-test/ref/Operators.html | |
| parent | 9cdf19bad54a6cc4b322396fdd06f4c1ee045b22 (diff) | |
Update Haddock to new pattern synonym type signature syntax
Diffstat (limited to 'html-test/ref/Operators.html')
| -rw-r--r-- | html-test/ref/Operators.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index bfecfb38..dc06e3b5 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -92,7 +92,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");}; ><li class="src short" >pattern <a href="" >(:+)</a - > t t :: [t]</li + > :: t -> t -> [t]</li ><li class="src short" ><span class="keyword" >data</span @@ -268,7 +268,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Operators.html");}; ><p class="src" >pattern <a name="v::-43-" class="def" >(:+)</a - > t t :: [t] <span class="fixity" + > :: t -> t -> [t] <span class="fixity" >infixr 3</span ><span class="rightedge" ></span |