diff options
Diffstat (limited to 'html-test/ref/Bug8.html')
| -rw-r--r-- | html-test/ref/Bug8.html | 24 | 
1 files changed, 13 insertions, 11 deletions
diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 288ee9f5..6f0bc654 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};  	  ><th  	    >Safe Haskell</th  	    ><td -	    >Safe-Inferred</td +	    >Safe</td  	    ></tr  	  ></table  	><p class="caption" @@ -48,7 +48,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};  	><p class="src"  	  ><span class="keyword"  	    >data</span -	    > <a name="t:Typ" class="def" +	    > <a href="" id="t:Typ" class="def"  	    >Typ</a  	    ></p  	  ><div class="subs constructors" @@ -57,7 +57,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};  	    ><table  	    ><tr  	      ><td class="src" -		><a name="v:Type" class="def" +		><a href="" id="v:Type" class="def"  		  >Type</a  		  > (<a href=""  		  >Typ</a @@ -69,7 +69,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};  		></tr  	      ><tr  	      ><td class="src" -		><a name="v:TFree" class="def" +		><a href="" id="v:TFree" class="def"  		  >TFree</a  		  > (<a href=""  		  >Typ</a @@ -84,7 +84,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};  	  ></div  	><div class="top"  	><p class="src" -	  ><a name="v:-45--45--62-" class="def" +	  ><a href="" id="v:-45--45--62-" class="def"  	    >(-->)</a  	    > :: t -> t1 -> <a href=""  	    >Typ</a @@ -96,9 +96,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};  	  ></div  	><div class="top"  	><p class="src" -	  ><a name="v:-45--45--45--62-" class="def" +	  ><a href="" id="v:-45--45--45--62-" class="def"  	    >(--->)</a -	    > :: [a] -> <a href="" +	    > :: <a href="" +	    >Foldable</a +	    > t0 => t0 t -> <a href=""  	    >Typ</a  	    > -> <a href=""  	    >Typ</a @@ -110,19 +112,19 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};  	  ></div  	><div class="top"  	><p class="src" -	  ><a name="v:s" class="def" +	  ><a href="" id="v:s" class="def"  	    >s</a  	    > :: t</p  	  ></div  	><div class="top"  	><p class="src" -	  ><a name="v:t" class="def" +	  ><a href="" id="v:t" class="def"  	    >t</a  	    > :: t</p  	  ></div  	><div class="top"  	><p class="src" -	  ><a name="v:main" class="def" +	  ><a href="" id="v:main" class="def"  	    >main</a  	    > :: t</p  	  ></div @@ -132,7 +134,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};      ><p        >Produced by <a href=""  	>Haddock</a -	> version 2.15.0</p +	> version 2.16.2</p        ></div      ></body    ></html  | 
