diff options
Diffstat (limited to 'html-test/ref')
-rw-r--r-- | html-test/ref/Operators.html | 8 | ||||
-rw-r--r-- | html-test/ref/PatternSyns.html | 32 |
2 files changed, 30 insertions, 10 deletions
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 diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index f5842d79..00861b39 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -62,13 +62,17 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; >FooCtor</a > x</li ><li class="src short" - >pattern <a href="" + ><span class="keyword" + >pattern</span + > <a href="" >Foo</a > :: t -> <a href="" >FooType</a > t</li ><li class="src short" - >pattern <a href="" + ><span class="keyword" + >pattern</span + > <a href="" >Bar</a > :: t -> <a href="" >FooType</a @@ -76,7 +80,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; >FooType</a > t)</li ><li class="src short" - >pattern <a href="" + ><span class="keyword" + >pattern</span + > <a href="" >(:<->)</a > :: t -> t -> (<a href="" >FooType</a @@ -94,7 +100,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; >Empty</a ></li ><li class="src short" - >pattern <a href="" + ><span class="keyword" + >pattern</span + > <a href="" >E</a > :: <a href="" >(><)</a @@ -132,7 +140,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; ></div ><div class="top" ><p class="src" - >pattern <a name="v:Foo" class="def" + ><span class="keyword" + >pattern</span + > <a name="v:Foo" class="def" >Foo</a > :: t -> <a href="" >FooType</a @@ -148,7 +158,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; ></div ><div class="top" ><p class="src" - >pattern <a name="v:Bar" class="def" + ><span class="keyword" + >pattern</span + > <a name="v:Bar" class="def" >Bar</a > :: t -> <a href="" >FooType</a @@ -166,7 +178,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; ></div ><div class="top" ><p class="src" - >pattern <a name="v::-60--45--62-" class="def" + ><span class="keyword" + >pattern</span + > <a name="v::-60--45--62-" class="def" >(:<->)</a > :: t -> t -> (<a href="" >FooType</a @@ -214,7 +228,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html");}; ></div ><div class="top" ><p class="src" - >pattern <a name="v:E" class="def" + ><span class="keyword" + >pattern</span + > <a name="v:E" class="def" >E</a > :: <a href="" >(><)</a |