diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-12 10:04:22 +0100 | 
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-12 10:04:22 +0100 | 
| commit | e18d166b39cdc8c6672b626b4b840c1c383a9685 (patch) | |
| tree | 43aa1526b9980fdf9f6fc8cbd5a6027b9e82970c /html-test/ref/Bug298.html | |
| parent | 57a5dcfd3d2a7e01229a2c3a79b1f99cd95d5de1 (diff) | |
| parent | 6a6029f1fc7b2cfeea8e231c8806d293d6644004 (diff) | |
Merge remote-tracking branch 'origin/master' into ghc-head
Diffstat (limited to 'html-test/ref/Bug298.html')
| -rw-r--r-- | html-test/ref/Bug298.html | 73 | 
1 files changed, 40 insertions, 33 deletions
| diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index 9e52da5e..6204819e 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -1,32 +1,33 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">  <html xmlns="http://www.w3.org/1999/xhtml"  ><head    ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"       /><title      >Bug298</title -    ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" +    ><link href="#" rel="stylesheet" type="text/css" title="Ocean"       /><script src="haddock-util.js" type="text/javascript"      ></script +    ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" +    ></script      ><script type="text/javascript" -    >//<![CDATA[ -window.onload = function () {pageLoad();setSynopsis("mini_Bug298.html");}; -//]]> +    >// +window.onload = function () {pageLoad();setSynopsis("mini_Bug298.html");}; +//  </script      ></head    ><body    ><div id="package-header"      ><ul class="links" id="page-menu"        ><li -	><a href="" +	><a href="#"  	  >Contents</a  	  ></li  	><li -	><a href="" +	><a href="#"  	  >Index</a  	  ></li  	></ul        ><p class="caption empty" -      > </p +      ></p        ></div      ><div id="content"      ><div id="module-header" @@ -46,23 +47,23 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug298.html");};  	>Synopsis</p  	><ul id="section.syn" class="hide" onclick="toggleSection('syn')"  	><li class="src short" -	  ><a href="" +	  ><a href="#"  	    >(<^>)</a  	    > :: (a -> a) -> a -> a</li  	  ><li class="src short" -	  ><a href="" +	  ><a href="#"  	    >(<^)</a  	    > :: a -> a -> a</li  	  ><li class="src short" -	  ><a href="" +	  ><a href="#"  	    >(^>)</a  	    > :: a -> a -> a</li  	  ><li class="src short" -	  ><a href="" +	  ><a href="#"  	    >(⋆^)</a  	    > :: a -> a -> a</li  	  ><li class="src short" -	  ><a href="" +	  ><a href="#"  	    >f</a  	    > :: ()</li  	  ></ul @@ -72,49 +73,59 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug298.html");};  	>Documentation</h1  	><div class="top"  	><p class="src" -	  ><a href="" id="v:-60--94--62-" class="def" +	  ><a id="v:-60--94--62-" class="def"  	    >(<^>)</a -	    > :: (a -> a) -> a -> a</p +	    > :: (a -> a) -> a -> a <a href="#" class="selflink" +	    >#</a +	    ></p  	  ></div  	><div class="top"  	><p class="src" -	  ><a href="" id="v:-60--94-" class="def" +	  ><a id="v:-60--94-" class="def"  	    >(<^)</a -	    > :: a -> a -> a</p +	    > :: a -> a -> a <a href="#" class="selflink" +	    >#</a +	    ></p  	  ></div  	><div class="top"  	><p class="src" -	  ><a href="" id="v:-94--62-" class="def" +	  ><a id="v:-94--62-" class="def"  	    >(^>)</a -	    > :: a -> a -> a</p +	    > :: a -> a -> a <a href="#" class="selflink" +	    >#</a +	    ></p  	  ></div  	><div class="top"  	><p class="src" -	  ><a href="" id="v:-8902--94-" class="def" +	  ><a id="v:-8902--94-" class="def"  	    >(⋆^)</a -	    > :: a -> a -> a</p +	    > :: a -> a -> a <a href="#" class="selflink" +	    >#</a +	    ></p  	  ></div  	><div class="top"  	><p class="src" -	  ><a href="" id="v:f" class="def" +	  ><a id="v:f" class="def"  	    >f</a -	    > :: ()</p +	    > :: () <a href="#" class="selflink" +	    >#</a +	    ></p  	  ><div class="doc"  	  ><p  	    >Links to <code -	      ><a href="" +	      ><a href="#"  		><^></a  		></code  	      > and <code -	      ><a href="" +	      ><a href="#"  		>^></a  		></code  	      >, <code -	      ><a href="" +	      ><a href="#"  		><^</a  		></code  	      > and <code -	      ><a href="" +	      ><a href="#"  		>⋆^</a  		></code  	      >.</p @@ -123,11 +134,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug298.html");};  	></div        ></div      ><div id="footer" -    ><p -      >Produced by <a href="" -	>Haddock</a -	> version 2.16.2</p -      ></div +    ></div      ></body    ></html -> +>
\ No newline at end of file | 
