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 |