diff options
Diffstat (limited to 'html-test/ref/Bug294.html')
| -rw-r--r-- | html-test/ref/Bug294.html | 154 |
1 files changed, 134 insertions, 20 deletions
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index 87a03731..ec0e2e9c 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -62,9 +62,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="Bug294" >DP</a - > <a href="#" + > <a href="#" title="Bug294" >A</a ></span > <a href="#" class="selflink" @@ -81,13 +81,13 @@ ><div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="Bug294" >DP</a - > <a href="#" + > <a href="#" title="Bug294" >A</a > = <a id="v:ProblemCtor-39-" class="def" >ProblemCtor'</a - > <a href="#" + > <a href="#" title="Bug294" >A</a ></div ></details @@ -100,7 +100,9 @@ ></span > <span class="keyword" >data</span - > TP <a href="#" + > <a href="#" title="Bug294" + >TP</a + > <a href="#" title="Bug294" >A</a ></span > <a href="#" class="selflink" @@ -117,11 +119,13 @@ ><div class="src" ><span class="keyword" >data</span - > TP <a href="#" + > <a href="#" title="Bug294" + >TP</a + > <a href="#" title="Bug294" >A</a > = <a id="v:ProblemCtor" class="def" >ProblemCtor</a - > <a href="#" + > <a href="#" title="Bug294" >A</a ></div ></details @@ -135,9 +139,9 @@ ><p class="src" ><a id="v:problemField" class="def" >problemField</a - > :: TO <a href="#" + > :: TO <a href="#" title="Bug294" >A</a - > -> <a href="#" + > -> <a href="#" title="Bug294" >A</a > <a href="#" class="selflink" >#</a @@ -147,9 +151,9 @@ ><p class="src" ><a id="v:problemField-39-" class="def" >problemField'</a - > :: DO <a href="#" + > :: DO <a href="#" title="Bug294" >A</a - > -> <a href="#" + > -> <a href="#" title="Bug294" >A</a > <a href="#" class="selflink" >#</a @@ -159,9 +163,9 @@ ><p class="src" ><a id="v:gadtField" class="def" >gadtField</a - > :: ({..} -> GADT <a href="#" + > :: ({..} -> GADT <a href="#" title="Bug294" >A</a - >) -> <a href="#" + >) -> <a href="#" title="Bug294" >A</a > <a href="#" class="selflink" >#</a @@ -171,9 +175,67 @@ ><p class="src" ><span class="keyword" >data family</span + > <a id="t:TP" class="def" + >TP</a + > t :: <a href="#" title="Data.Kind" + >*</a + > <a href="#" class="selflink" + >#</a + ></p + ><div class="subs instances" + ><details id="i:TP" open="open" + ><summary + >Instances</summary + ><table + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:if:TP:TP:1" + ></span + > <span class="keyword" + >data</span + > <a href="#" title="Bug294" + >TP</a + > <a href="#" title="Bug294" + >A</a + ></span + > <a href="#" class="selflink" + >#</a + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:if:TP:TP:1" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><div class="src" + ><span class="keyword" + >data</span + > <a href="#" title="Bug294" + >TP</a + > <a href="#" title="Bug294" + >A</a + > = <a id="v:ProblemCtor" class="def" + >ProblemCtor</a + > <a href="#" title="Bug294" + >A</a + ></div + ></details + ></td + ></tr + ></table + ></details + ></div + ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data family</span > <a id="t:DP" class="def" >DP</a - > t :: <a href="#" + > t :: <a href="#" title="Data.Kind" >*</a > <a href="#" class="selflink" >#</a @@ -190,9 +252,9 @@ ></span > <span class="keyword" >data</span - > <a href="#" + > <a href="#" title="Bug294" >DP</a - > <a href="#" + > <a href="#" title="Bug294" >A</a ></span > <a href="#" class="selflink" @@ -209,13 +271,13 @@ ><div class="src" ><span class="keyword" >data</span - > <a href="#" + > <a href="#" title="Bug294" >DP</a - > <a href="#" + > <a href="#" title="Bug294" >A</a > = <a id="v:ProblemCtor-39-" class="def" >ProblemCtor'</a - > <a href="#" + > <a href="#" title="Bug294" >A</a ></div ></details @@ -225,6 +287,58 @@ ></details ></div ></div + ><div class="top" + ><p class="src" + ><span class="keyword" + >data family</span + > <a id="t:TO-39-" class="def" + >TO'</a + > t :: <a href="#" title="Data.Kind" + >*</a + > <a href="#" class="selflink" + >#</a + ></p + ><div class="subs instances" + ><details id="i:TO-39-" open="open" + ><summary + >Instances</summary + ><table + ><tr + ><td class="src clearfix" + ><span class="inst-left" + ><span class="instance details-toggle-control details-toggle" data-details-id="i:if:TO-39-:TO-39-:1" + ></span + > <span class="keyword" + >data</span + > <a href="#" title="Bug294" + >TO'</a + > a</span + > <a href="#" class="selflink" + >#</a + ></td + ><td class="doc empty" + ></td + ></tr + ><tr + ><td colspan="2" + ><details id="i:if:TO-39-:TO-39-:1" + ><summary class="hide-when-js-enabled" + >Instance details</summary + ><div class="src" + ><span class="keyword" + >data</span + > <a href="#" title="Bug294" + >TO'</a + > a = <a id="v:PolyCtor" class="def" + >PolyCtor</a + ></div + ></details + ></td + ></tr + ></table + ></details + ></div + ></div ></div ></div ><div id="footer" |