diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-07-19 05:39:57 -0700 | 
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-07-19 14:39:57 +0200 | 
| commit | c04f44e29f38784e0e958abc683164e33f851c86 (patch) | |
| tree | 3d169d4b5b521cc1a77794632aac50ffef02c724 /html-test/ref/GADTRecords.html | |
| parent | e3926b50ab8a7269fd6904b06e881745f08bc5d6 (diff) | |
Fix HEAD html-test (#860)
* Update tests for 'StarIsType'
* Accept tests
* Revert "Update tests for 'StarIsType'"
This reverts commit 7f0c01383bbba6dc5af554ee82988d2cf44e407a.
Diffstat (limited to 'html-test/ref/GADTRecords.html')
| -rw-r--r-- | html-test/ref/GADTRecords.html | 32 | 
1 files changed, 25 insertions, 7 deletions
| diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index 1f0c87e8..5f6141db 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -60,7 +60,9 @@  		><li  		><a href="#"  		  >C2</a -		  > :: Ord a => [a] -> <a href="#" title="GADTRecords" +		  > :: <a href="#" title="Data.Ord" +		  >Ord</a +		  > a => [a] -> <a href="#" title="GADTRecords"  		  >H1</a  		  > a a</li  		><li @@ -68,13 +70,19 @@  		  >C3</a  		  > :: {..} -> <a href="#" title="GADTRecords"  		  >H1</a -		  > Int Int</li +		  > <a href="#" title="Data.Int" +		  >Int</a +		  > <a href="#" title="Data.Int" +		  >Int</a +		  ></li  		><li  		><a href="#"  		  >C4</a  		  > :: {..} -> <a href="#" title="GADTRecords"  		  >H1</a -		  > Int a</li +		  > <a href="#" title="Data.Int" +		  >Int</a +		  > a</li  		></ul  	      ></li  	    ></ul @@ -116,7 +124,9 @@  	      ><td class="src"  		><a id="v:C2" class="def"  		  >C2</a -		  > :: Ord a => [a] -> <a href="#" title="GADTRecords" +		  > :: <a href="#" title="Data.Ord" +		  >Ord</a +		  > a => [a] -> <a href="#" title="GADTRecords"  		  >H1</a  		  > a a</td  		><td class="doc empty" @@ -140,7 +150,9 @@  		      ><dfn class="src"  			>:: { <a id="v:field" class="def"  			  >field</a -			  > :: Int</dfn +			  > :: <a href="#" title="Data.Int" +			  >Int</a +			  ></dfn  			><div class="doc"  			><p  			  >hello docs</p @@ -150,7 +162,11 @@  		      ><dfn class="src"  			>} -> <a href="#" title="GADTRecords"  			  >H1</a -			  > Int Int</dfn +			  > <a href="#" title="Data.Int" +			  >Int</a +			  > <a href="#" title="Data.Int" +			  >Int</a +			  ></dfn  			><div class="doc empty"  			></div  			></li @@ -186,7 +202,9 @@  		      ><dfn class="src"  			>} -> <a href="#" title="GADTRecords"  			  >H1</a -			  > Int a</dfn +			  > <a href="#" title="Data.Int" +			  >Int</a +			  > a</dfn  			><div class="doc empty"  			></div  			></li | 
