diff options
Diffstat (limited to 'html-test/ref/Bug8.html')
| -rw-r--r-- | html-test/ref/Bug8.html | 34 |
1 files changed, 23 insertions, 11 deletions
diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 3b91dfc7..d32e0dbb 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -49,8 +49,10 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html"); ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:Typ" class="def" + > <a id="t:Typ" class="def" >Typ</a + > <a href="#" class="selflink" + >#</a ></p ><div class="subs constructors" ><p class="caption" @@ -58,7 +60,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html"); ><table ><tr ><td class="src" - ><a href="#" id="v:Type" class="def" + ><a id="v:Type" class="def" >Type</a > (<a href="#" >Typ</a @@ -70,7 +72,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html"); ></tr ><tr ><td class="src" - ><a href="#" id="v:TFree" class="def" + ><a id="v:TFree" class="def" >TFree</a > (<a href="#" >Typ</a @@ -85,7 +87,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html"); ></div ><div class="top" ><p class="src" - ><a href="#" id="v:-45--45--62-" class="def" + ><a id="v:-45--45--62-" class="def" >(-->)</a > :: t -> t1 -> <a href="#" >Typ</a @@ -93,11 +95,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html"); >infix 9</span ><span class="rightedge" ></span + > <a href="#" class="selflink" + >#</a ></p ></div ><div class="top" ><p class="src" - ><a href="#" id="v:-45--45--45--62-" class="def" + ><a id="v:-45--45--45--62-" class="def" >(--->)</a > :: <a href="#" >Foldable</a @@ -109,25 +113,33 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html"); >infix 9</span ><span class="rightedge" ></span + > <a href="#" class="selflink" + >#</a ></p ></div ><div class="top" ><p class="src" - ><a href="#" id="v:s" class="def" + ><a id="v:s" class="def" >s</a - > :: a</p + > :: a <a href="#" class="selflink" + >#</a + ></p ></div ><div class="top" ><p class="src" - ><a href="#" id="v:t" class="def" + ><a id="v:t" class="def" >t</a - > :: a</p + > :: a <a href="#" class="selflink" + >#</a + ></p ></div ><div class="top" ><p class="src" - ><a href="#" id="v:main" class="def" + ><a id="v:main" class="def" >main</a - > :: a</p + > :: a <a href="#" class="selflink" + >#</a + ></p ></div ></div ></div |