aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/GADTRecords.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/GADTRecords.html')
-rw-r--r--html-test/ref/GADTRecords.html22
1 files changed, 10 insertions, 12 deletions
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index a551f29c..77202f99 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -10,14 +10,14 @@
/><script src="haddock-bundle.min.js" async="async" type="text/javascript"
></script
><script type="text/x-mathjax-config"
- >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script
><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></head
><body
><div id="package-header"
><span class="caption empty"
- ></span
+ >&nbsp;</span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -122,7 +122,7 @@
>H1</a
> a b</td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td class="src"
@@ -134,7 +134,7 @@
>H1</a
> a a</td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td class="src"
@@ -142,7 +142,7 @@
>C3</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -164,7 +164,7 @@
></li
><li
><dfn class="src"
- >} -&gt; <a href="#" title="GADTRecords"
+ >&nbsp;&nbsp;&nbsp;} -&gt; <a href="#" title="GADTRecords"
>H1</a
> <a href="#" title="Data.Int"
>Int</a
@@ -172,7 +172,7 @@
>Int</a
></dfn
><div class="doc empty"
- ></div
+ >&nbsp;</div
></li
></ul
></div
@@ -184,7 +184,7 @@
>C4</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -204,13 +204,13 @@
></li
><li
><dfn class="src"
- >} -&gt; <a href="#" title="GADTRecords"
+ >&nbsp;&nbsp;&nbsp;} -&gt; <a href="#" title="GADTRecords"
>H1</a
> <a href="#" title="Data.Int"
>Int</a
> a</dfn
><div class="doc empty"
- ></div
+ >&nbsp;</div
></li
></ul
></div
@@ -221,8 +221,6 @@
></div
></div
></div
- ><div id="footer"
- ></div
></body
></html
>