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/TypeFamilies.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/TypeFamilies.html')
| -rw-r--r-- | html-test/ref/TypeFamilies.html | 68 |
1 files changed, 51 insertions, 17 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 2195a05a..3a93a270 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -280,7 +280,9 @@ >AssocD</a > <a href="#" title="TypeFamilies" >X</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -290,7 +292,9 @@ >AssocT</a > <a href="#" title="TypeFamilies" >X</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -489,7 +493,9 @@ >Foo</a > <a href="#" title="TypeFamilies" >X</a - > :: *)</div + > :: <a href="#" title="Data.Kind" + >Type</a + >)</div ></details ></td ></tr @@ -610,7 +616,9 @@ >X</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *)</span + > (a :: <a href="#" title="Data.Kind" + >Type</a + >)</span > <a href="#" class="selflink" >#</a ></td @@ -633,7 +641,9 @@ >X</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *) = <a href="#" title="TypeFamilies" + > (a :: <a href="#" title="Data.Kind" + >Type</a + >) = <a href="#" title="TypeFamilies" >X</a ></div ></details @@ -698,7 +708,9 @@ >AssocD</a > <a href="#" title="TypeFamilies" >Y</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -708,7 +720,9 @@ >AssocT</a > <a href="#" title="TypeFamilies" >Y</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -960,7 +974,9 @@ >Y</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *)</span + > (a :: <a href="#" title="Data.Kind" + >Type</a + >)</span > <a href="#" class="selflink" >#</a ></td @@ -983,7 +999,9 @@ >Y</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *) = a</div + > (a :: <a href="#" title="Data.Kind" + >Type</a + >) = a</div ></details ></td ></tr @@ -1574,7 +1592,9 @@ >AssocD</a > <a href="#" title="TypeFamilies" >Y</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1584,7 +1604,9 @@ >AssocT</a > <a href="#" title="TypeFamilies" >Y</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -1628,7 +1650,9 @@ >AssocD</a > <a href="#" title="TypeFamilies" >X</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ><p class="src" @@ -1638,7 +1662,9 @@ >AssocT</a > <a href="#" title="TypeFamilies" >X</a - > :: * <a href="#" class="selflink" + > :: <a href="#" title="Data.Kind" + >Type</a + > <a href="#" class="selflink" >#</a ></p ></div @@ -1762,7 +1788,9 @@ >Y</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *)</span + > (a :: <a href="#" title="Data.Kind" + >Type</a + >)</span > <a href="#" class="selflink" >#</a ></td @@ -1785,7 +1813,9 @@ >Y</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *) = a</div + > (a :: <a href="#" title="Data.Kind" + >Type</a + >) = a</div ></details ></td ></tr @@ -1800,7 +1830,9 @@ >X</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *)</span + > (a :: <a href="#" title="Data.Kind" + >Type</a + >)</span > <a href="#" class="selflink" >#</a ></td @@ -1823,7 +1855,9 @@ >X</a > <a href="#" title="TypeFamilies" ><></a - > (a :: *) = <a href="#" title="TypeFamilies" + > (a :: <a href="#" title="Data.Kind" + >Type</a + >) = <a href="#" title="TypeFamilies" >X</a ></div ></details |