diff options
Diffstat (limited to 'html-test/ref/FunArgs.html')
| -rw-r--r-- | html-test/ref/FunArgs.html | 16 | 
1 files changed, 4 insertions, 12 deletions
| diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index 485f7e28..ae890105 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -54,17 +54,13 @@  	    ><table  	    ><tr  	      ><td class="src" -		>:: <a href="#" -		  >Ord</a -		  > a</td +		>:: Ord a</td  		><td class="doc empty"  		></td  		></tr  	      ><tr  	      ><td class="src" -		>=> <a href="#" -		  >Int</a -		  ></td +		>=> Int</td  		><td class="doc"  		><p  		  >First argument</p @@ -80,9 +76,7 @@  		></tr  	      ><tr  	      ><td class="src" -		>-> <a href="#" -		  >Bool</a -		  ></td +		>-> Bool</td  		><td class="doc"  		><p  		  >Third argument</p @@ -214,9 +208,7 @@  	      ><td class="src"  		>:: <span class="keyword"  		  >forall</span -		  > (b :: ()). d ~ <a href="#" -		  >()</a -		  ></td +		  > (b :: ()). d ~ ()</td  		><td class="doc empty"  		></td  		></tr | 
