diff options
Diffstat (limited to 'html-test')
90 files changed, 540 insertions, 540 deletions
diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 8b79cd38..796ab6c3 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -187,6 +181,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/B.html b/html-test/ref/B.html index 0d19ef94..0932ca8a 100644 --- a/html-test/ref/B.html +++ b/html-test/ref/B.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -175,6 +169,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html index 9d41bf75..699c9e8c 100644 --- a/html-test/ref/Bold.html +++ b/html-test/ref/Bold.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -99,6 +93,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html index fcee0c1b..dee23b63 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -102,6 +96,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html index 9aafeb65..22aa0062 100644 --- a/html-test/ref/Bug195.html +++ b/html-test/ref/Bug195.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -185,6 +179,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html index 64b97d59..1288e8b2 100644 --- a/html-test/ref/Bug2.html +++ b/html-test/ref/Bug2.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -65,6 +59,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html index 0ef5de34..a45b35b0 100644 --- a/html-test/ref/Bug201.html +++ b/html-test/ref/Bug201.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -104,6 +98,12 @@ because there's a space before closing @ ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html index 1bc8ac47..8e40bc67 100644 --- a/html-test/ref/Bug253.html +++ b/html-test/ref/Bug253.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -99,6 +93,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index a108b481..7830ca4e 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -207,6 +201,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index 0727f604..49c3744a 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -81,6 +75,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index 2a1a890c..f1df4e9b 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -233,6 +227,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index b2efd014..d9c75fad 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -141,6 +135,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html index 72572244..3f8a5865 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -82,6 +76,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html index efbf4a9c..a1c67ae6 100644 --- a/html-test/ref/Bug308.html +++ b/html-test/ref/Bug308.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -113,6 +107,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html index 7395cc45..d722d724 100644 --- a/html-test/ref/Bug308CrossModule.html +++ b/html-test/ref/Bug308CrossModule.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -91,6 +85,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index b46b237f..f3e2f6b3 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -101,6 +95,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html index 6b9d8943..e5c17a3c 100644 --- a/html-test/ref/Bug313.html +++ b/html-test/ref/Bug313.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -134,6 +128,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index 0f273af5..b143c903 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -127,6 +121,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html index 90de2380..b1e30fd2 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -113,6 +107,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index 1c5a13cc..936382a2 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -81,6 +75,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html index 9d6926c4..6843d637 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -339,6 +333,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html index 6a202f6a..7bac01ee 100644 --- a/html-test/ref/Bug613.html +++ b/html-test/ref/Bug613.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -261,6 +255,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html index 0cceb1bc..357ac199 100644 --- a/html-test/ref/Bug647.html +++ b/html-test/ref/Bug647.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -115,6 +109,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index fd500091..352fcb2a 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -194,6 +188,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 759fb51e..9bb0f928 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -151,6 +145,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html index e8c60d9a..441a3c33 100644 --- a/html-test/ref/Bug85.html +++ b/html-test/ref/Bug85.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -149,6 +143,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index bb0bc93a..c1083f1a 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -195,6 +189,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index 83a5b90b..307fe811 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -215,6 +209,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index 582e24f6..a29d8a38 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -81,6 +75,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index a7c8c6d9..48091cb9 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -475,6 +469,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index 035afd2a..d21586c8 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -473,6 +467,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html index 5d939b65..4b4fa559 100644 --- a/html-test/ref/ConstructorPatternExport.html +++ b/html-test/ref/ConstructorPatternExport.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -125,6 +119,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html index 89a3e180..4484ba61 100644 --- a/html-test/ref/DeprecatedClass.html +++ b/html-test/ref/DeprecatedClass.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -169,6 +163,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html index c75ce440..929cb0d6 100644 --- a/html-test/ref/DeprecatedData.html +++ b/html-test/ref/DeprecatedData.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -191,6 +185,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html index 49596863..dd584b0c 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -109,6 +103,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index 0b726bec..92963b68 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -83,6 +77,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html index 0e27fd8a..e6a28442 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -83,6 +77,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index e8e0c8f1..5f4c1dc1 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -81,6 +75,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html index a3973b33..da66d4ef 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -75,6 +69,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index 30525f72..ce185be4 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -157,6 +151,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index 1acf5aa1..9fe8013a 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -124,6 +118,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index b936060e..f2583219 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -149,6 +143,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html index 2ffec6d1..28971655 100644 --- a/html-test/ref/DeprecatedTypeFamily.html +++ b/html-test/ref/DeprecatedTypeFamily.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -123,6 +117,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html index 64d18013..8a91396a 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -115,6 +109,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html index 1e2e6a97..f26f1b6b 100644 --- a/html-test/ref/DuplicateRecordFields.html +++ b/html-test/ref/DuplicateRecordFields.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -161,6 +155,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html index ebac7d66..be6a720a 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -174,6 +168,12 @@ bar ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html index 1d636b63..0eeced80 100644 --- a/html-test/ref/Extensions.html +++ b/html-test/ref/Extensions.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -89,6 +83,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index 57ca4102..099fc845 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -285,6 +279,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index dabe0818..8ca26c2a 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -215,6 +209,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index 9eff5a24..9c22a23b 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -412,6 +406,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index c6d88ac4..94bd3cd5 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -293,6 +287,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html index f652ddc3..0eab9268 100644 --- a/html-test/ref/HiddenInstancesB.html +++ b/html-test/ref/HiddenInstancesB.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -165,6 +159,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index 06300fc2..f295fc2c 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -87,6 +81,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html index 67623f00..9a0b505e 100644 --- a/html-test/ref/IgnoreExports.html +++ b/html-test/ref/IgnoreExports.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -101,6 +95,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index 479188c1..bd297998 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -117,6 +111,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index dc2a845b..13e6f6f5 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -1989,6 +1983,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html index 229e5e74..b9efb161 100644 --- a/html-test/ref/Math.html +++ b/html-test/ref/Math.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -101,6 +95,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index 9f820cd8..581985d0 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -329,6 +323,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html index fac79794..a15c680f 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -81,6 +75,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html index 5e574be6..b50d476b 100644 --- a/html-test/ref/NamedDoc.html +++ b/html-test/ref/NamedDoc.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -65,6 +59,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html index 3cbeda72..5b275ad9 100644 --- a/html-test/ref/Nesting.html +++ b/html-test/ref/Nesting.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -359,6 +353,12 @@ with more of the indented list content.</p ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html index 4d58d35b..5aaf89c5 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -85,6 +79,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html index 4e345fd7..8c411cce 100644 --- a/html-test/ref/NonGreedy.html +++ b/html-test/ref/NonGreedy.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -81,6 +75,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 2abf6076..25f6930b 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -537,6 +531,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html index 278adf7a..0384dbc9 100644 --- a/html-test/ref/OrphanInstances.html +++ b/html-test/ref/OrphanInstances.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -115,6 +109,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html index 0a47d37c..b4c7a7b6 100644 --- a/html-test/ref/OrphanInstancesClass.html +++ b/html-test/ref/OrphanInstancesClass.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -87,6 +81,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html index c9142e2f..e4cde460 100644 --- a/html-test/ref/OrphanInstancesType.html +++ b/html-test/ref/OrphanInstancesType.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -81,6 +75,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html index 14cd4402..21f46cb1 100644 --- a/html-test/ref/PR643.html +++ b/html-test/ref/PR643.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -81,6 +75,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/PR643_1.html b/html-test/ref/PR643_1.html index 883d1382..eb7e94f7 100644 --- a/html-test/ref/PR643_1.html +++ b/html-test/ref/PR643_1.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -81,6 +75,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 093649bf..de16cd8d 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -394,6 +388,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index d909ad13..ddbef022 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -221,6 +215,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index e6c73ca7..846be506 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -91,6 +85,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html index af2fbf8e..b5e0cad0 100644 --- a/html-test/ref/PruneWithWarning.html +++ b/html-test/ref/PruneWithWarning.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -68,6 +62,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html index 060f87fd..3c58a60b 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -325,6 +319,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index 44072e5a..1ef98212 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -65,6 +59,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index f7d46256..5eccdb51 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -233,6 +227,12 @@ Fix spurious superclass constraints bug.</pre ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html index 170e7e09..b5500ac4 100644 --- a/html-test/ref/TH.html +++ b/html-test/ref/TH.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -63,6 +57,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html index 2ce69f68..ac5ba3d7 100644 --- a/html-test/ref/TH2.html +++ b/html-test/ref/TH2.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -63,6 +57,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index a6b4ae7d..97299778 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -2289,6 +2283,12 @@ is at the beginning of the line).</pre ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html index be61864f..05f91d5f 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -94,6 +88,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html index 667fac2f..d109476b 100644 --- a/html-test/ref/Threaded_TH.html +++ b/html-test/ref/Threaded_TH.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -91,6 +85,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index 2e1eb17c..0651993a 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -81,6 +75,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html index 78bd3bda..89a030c1 100644 --- a/html-test/ref/Ticket61.html +++ b/html-test/ref/Ticket61.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -89,6 +83,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index 8ebeee24..27ab9562 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -117,6 +111,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html index 1b99c8c6..a90bde67 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -111,6 +105,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 3ef167e3..40e709d0 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -1829,6 +1823,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index c7f1e6e4..52dc7d46 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -347,6 +341,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index b5e1cb7e..8674bd3e 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -191,6 +185,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index 3a00ca1d..b2422125 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -81,6 +75,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html index 3ffc03a3..6f8f238e 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -6,12 +6,6 @@ ><link href="#" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript" ></script - ><script src="preact.js" type="text/javascript" - ></script - ><script src="fuse.js" type="text/javascript" - ></script - ><script src="index.js" type="text/javascript" - ></script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ><script type="text/javascript" @@ -67,6 +61,12 @@ window.onload = function () {pageLoad();}; ></div ><div id="footer" ></div + ><script src="preact.js" type="text/javascript" + ></script + ><script src="fuse.js" type="text/javascript" + ></script + ><script src="index.js" type="text/javascript" + ></script ></body ></html >
\ No newline at end of file |