diff options
Diffstat (limited to 'html-test/ref/GADTRecords.html')
-rw-r--r-- | html-test/ref/GADTRecords.html | 64 |
1 files changed, 32 insertions, 32 deletions
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index a5f86a50..b5b60d0f 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -110,7 +110,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");}; ><p class="src" ><span class="keyword" >data</span - > <a name="t:H1" class="def" + > <a href="" id="t:H1" class="def" >H1</a > a b <span class="keyword" >where</span @@ -125,7 +125,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");}; ><table ><tr ><td class="src" - ><a name="v:C1" class="def" + ><a href="" id="v:C1" class="def" >C1</a > :: <a href="" >H1</a @@ -135,7 +135,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");}; ></tr ><tr ><td class="src" - ><a name="v:C2" class="def" + ><a href="" id="v:C2" class="def" >C2</a > :: <a href="" >Ord</a @@ -147,7 +147,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");}; ></tr ><tr ><td class="src" - ><a name="v:C3" class="def" + ><a href="" id="v:C3" class="def" >C3</a > :: <a href="" >Int</a @@ -166,26 +166,26 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");}; ><div class="subs fields" ><p class="caption" >Fields</p - ><dl - ><dt class="src" - ><a name="v:field" class="def" - >field</a - > :: <a href="" - >Int</a - ></dt - ><dd class="doc" - ><p - >hello docs</p - ></dd - ></dl - ><div class="clear" - ></div + ><ul + ><li + ><dfn class="src" + ><a href="" id="v:field" class="def" + >field</a + > :: <a href="" + >Int</a + ></dfn + ><div class="doc" + ><p + >hello docs</p + ></div + ></li + ></ul ></div ></td ></tr ><tr ><td class="src" - ><a name="v:C4" class="def" + ><a href="" id="v:C4" class="def" >C4</a > :: a -> <a href="" >H1</a @@ -200,18 +200,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");}; ><div class="subs fields" ><p class="caption" >Fields</p - ><dl - ><dt class="src" - ><a name="v:field2" class="def" - >field2</a - > :: a</dt - ><dd class="doc" - ><p - >hello2 docs</p - ></dd - ></dl - ><div class="clear" - ></div + ><ul + ><li + ><dfn class="src" + ><a href="" id="v:field2" class="def" + >field2</a + > :: a</dfn + ><div class="doc" + ><p + >hello2 docs</p + ></div + ></li + ></ul ></div ></td ></tr @@ -224,7 +224,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");}; ><p >Produced by <a href="" >Haddock</a - > version 2.15.0</p + > version 2.16.2</p ></div ></body ></html |