diff options
author | Ben Gamari <ben@smart-cactus.org> | 2016-05-11 16:03:44 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-11 16:03:44 +0200 |
commit | 9760ee9efe22f0256d626bc567a7adfc754e9066 (patch) | |
tree | d46084df1738e4b72de461cac2b512f4da3e788e /html-test/ref/Instances.html | |
parent | 609018dd09c4ffe27f9248b2d8b50f6196cd42b9 (diff) | |
parent | 1f05bf72992f603c1fa19aff525d77bf26956c52 (diff) |
Merge remote-tracking branch 'origin/master' into ghc-head
Diffstat (limited to 'html-test/ref/Instances.html')
-rw-r--r-- | html-test/ref/Instances.html | 50 |
1 files changed, 34 insertions, 16 deletions
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index e3a2cb78..697bfa1b 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -1712,7 +1712,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="keyword" + ><span id="control.i:id:Quux:Thud:4" class="instance expander" onclick="toggleSection('i:id:Quux:Thud:4')" + ></span + > <span class="keyword" >data</span > <a href="#" >Thud</a @@ -1720,27 +1722,43 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a > (<a href="#" >Quux</a - > a [a] c) <ul class="inst" - ><li class="inst" - >= <a id="v:Thuud" class="def" - >Thuud</a - > a</li - ><li class="inst" - >| <a id="v:Thuuud" class="def" - >Thuuud</a - > <a href="#" - >Int</a - > <a href="#" - >Int</a - ></li - ></ul - ></span + > a [a] c)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" ></td ></tr + ><tr + ><td colspan="2" + ><div id="section.i:id:Quux:Thud:4" class="inst-details hide" + ><div class="src" + ><span class="keyword" + >data</span + > <a href="#" + >Thud</a + > <a href="#" + >Int</a + > (<a href="#" + >Quux</a + > a [a] c) <ul class="inst" + ><li class="inst" + >= <a id="v:Thuud" class="def" + >Thuud</a + > a</li + ><li class="inst" + >| <a id="v:Thuuud" class="def" + >Thuuud</a + > <a href="#" + >Int</a + > <a href="#" + >Int</a + ></li + ></ul + ></div + ></div + ></td + ></tr ></table ></div ></div |