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.html4
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 -&gt; t -&gt; [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 -&gt; t -&gt; [t] <span class="fixity"
>infixr 3</span
><span class="rightedge"
></span