diff options
Diffstat (limited to 'html-test/ref/Bug294.html')
| -rw-r--r-- | html-test/ref/Bug294.html | 32 |
1 files changed, 24 insertions, 8 deletions
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index 8c0f2837..c5f62da9 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -49,8 +49,10 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug294.html" ><p class="src" ><span class="keyword" >data</span - > <a href="#" id="t:A" class="def" + > <a id="t:A" class="def" >A</a + > <a href="#" class="selflink" + >#</a ></p ><div class="subs instances" ><p id="control.i:A" class="caption collapser" onclick="toggleSection('i:A')" @@ -66,11 +68,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug294.html" >DP</a > <a href="#" >A</a - > = <a href="#" id="v:ProblemCtor-39-" class="def" + > = <a id="v:ProblemCtor-39-" class="def" >ProblemCtor'</a > <a href="#" >A</a ></span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -82,11 +86,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug294.html" >data</span > TP <a href="#" >A</a - > = <a href="#" id="v:ProblemCtor" class="def" + > = <a id="v:ProblemCtor" class="def" >ProblemCtor</a > <a href="#" >A</a ></span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td @@ -97,42 +103,50 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug294.html" ></div ><div class="top" ><p class="src" - ><a href="#" id="v:problemField" class="def" + ><a id="v:problemField" class="def" >problemField</a > :: TO <a href="#" >A</a > -> <a href="#" >A</a + > <a href="#" class="selflink" + >#</a ></p ></div ><div class="top" ><p class="src" - ><a href="#" id="v:problemField-39-" class="def" + ><a id="v:problemField-39-" class="def" >problemField'</a > :: DO <a href="#" >A</a > -> <a href="#" >A</a + > <a href="#" class="selflink" + >#</a ></p ></div ><div class="top" ><p class="src" - ><a href="#" id="v:gadtField" class="def" + ><a id="v:gadtField" class="def" >gadtField</a > :: ({..} -> GADT <a href="#" >A</a >) -> <a href="#" >A</a + > <a href="#" class="selflink" + >#</a ></p ></div ><div class="top" ><p class="src" ><span class="keyword" >data family</span - > <a href="#" id="t:DP" class="def" + > <a id="t:DP" class="def" >DP</a > t :: <a href="#" >*</a + > <a href="#" class="selflink" + >#</a ></p ><div class="subs instances" ><p id="control.i:DP" class="caption collapser" onclick="toggleSection('i:DP')" @@ -148,11 +162,13 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug294.html" >DP</a > <a href="#" >A</a - > = <a href="#" id="v:ProblemCtor-39-" class="def" + > = <a id="v:ProblemCtor-39-" class="def" >ProblemCtor'</a > <a href="#" >A</a ></span + > <a href="#" class="selflink" + >#</a ></td ><td class="doc empty" ></td |