From 360b215a25c2d496565d96357dd7be6892ccf221 Mon Sep 17 00:00:00 2001 From: alexbiehl <alex.biehl@gmail.com> Date: Mon, 28 Aug 2017 18:49:22 +0200 Subject: [PATCH] Accept tests --- html-test/ref/A.html | 12 ++++++------ html-test/ref/B.html | 12 ++++++------ html-test/ref/Bold.html | 12 ++++++------ html-test/ref/Bug1.html | 12 ++++++------ html-test/ref/Bug195.html | 12 ++++++------ html-test/ref/Bug2.html | 12 ++++++------ html-test/ref/Bug201.html | 12 ++++++------ html-test/ref/Bug253.html | 12 ++++++------ html-test/ref/Bug26.html | 12 ++++++------ html-test/ref/Bug280.html | 12 ++++++------ html-test/ref/Bug294.html | 12 ++++++------ html-test/ref/Bug298.html | 12 ++++++------ html-test/ref/Bug3.html | 12 ++++++------ html-test/ref/Bug308.html | 12 ++++++------ html-test/ref/Bug308CrossModule.html | 12 ++++++------ html-test/ref/Bug310.html | 12 ++++++------ html-test/ref/Bug313.html | 12 ++++++------ html-test/ref/Bug335.html | 12 ++++++------ html-test/ref/Bug387.html | 12 ++++++------ html-test/ref/Bug4.html | 12 ++++++------ html-test/ref/Bug6.html | 12 ++++++------ html-test/ref/Bug613.html | 12 ++++++------ html-test/ref/Bug647.html | 12 ++++++------ html-test/ref/Bug7.html | 12 ++++++------ html-test/ref/Bug8.html | 12 ++++++------ html-test/ref/Bug85.html | 12 ++++++------ html-test/ref/BugDeprecated.html | 12 ++++++------ html-test/ref/BugExportHeadings.html | 12 ++++++------ html-test/ref/Bugs.html | 12 ++++++------ html-test/ref/BundledPatterns.html | 12 ++++++------ html-test/ref/BundledPatterns2.html | 12 ++++++------ html-test/ref/ConstructorPatternExport.html | 12 ++++++------ html-test/ref/DeprecatedClass.html | 12 ++++++------ html-test/ref/DeprecatedData.html | 12 ++++++------ html-test/ref/DeprecatedFunction.html | 12 ++++++------ html-test/ref/DeprecatedFunction2.html | 12 ++++++------ html-test/ref/DeprecatedFunction3.html | 12 ++++++------ html-test/ref/DeprecatedModule.html | 12 ++++++------ html-test/ref/DeprecatedModule2.html | 12 ++++++------ html-test/ref/DeprecatedNewtype.html | 12 ++++++------ html-test/ref/DeprecatedReExport.html | 12 ++++++------ html-test/ref/DeprecatedRecord.html | 12 ++++++------ html-test/ref/DeprecatedTypeFamily.html | 12 ++++++------ html-test/ref/DeprecatedTypeSynonym.html | 12 ++++++------ html-test/ref/DuplicateRecordFields.html | 12 ++++++------ html-test/ref/Examples.html | 12 ++++++------ html-test/ref/Extensions.html | 12 ++++++------ html-test/ref/FunArgs.html | 12 ++++++------ html-test/ref/GADTRecords.html | 12 ++++++------ html-test/ref/Hash.html | 12 ++++++------ html-test/ref/HiddenInstances.html | 12 ++++++------ html-test/ref/HiddenInstancesB.html | 12 ++++++------ html-test/ref/Hyperlinks.html | 12 ++++++------ html-test/ref/IgnoreExports.html | 12 ++++++------ html-test/ref/ImplicitParams.html | 12 ++++++------ html-test/ref/Instances.html | 12 ++++++------ html-test/ref/Math.html | 12 ++++++------ html-test/ref/Minimal.html | 12 ++++++------ html-test/ref/ModuleWithWarning.html | 12 ++++++------ html-test/ref/NamedDoc.html | 12 ++++++------ html-test/ref/Nesting.html | 12 ++++++------ html-test/ref/NoLayout.html | 12 ++++++------ html-test/ref/NonGreedy.html | 12 ++++++------ html-test/ref/Operators.html | 12 ++++++------ html-test/ref/OrphanInstances.html | 12 ++++++------ html-test/ref/OrphanInstancesClass.html | 12 ++++++------ html-test/ref/OrphanInstancesType.html | 12 ++++++------ html-test/ref/PR643.html | 12 ++++++------ html-test/ref/PR643_1.html | 12 ++++++------ html-test/ref/PatternSyns.html | 12 ++++++------ html-test/ref/PromotedTypes.html | 12 ++++++------ html-test/ref/Properties.html | 12 ++++++------ html-test/ref/PruneWithWarning.html | 12 ++++++------ html-test/ref/QuasiExpr.html | 12 ++++++------ html-test/ref/QuasiQuote.html | 12 ++++++------ html-test/ref/SpuriousSuperclassConstraints.html | 12 ++++++------ html-test/ref/TH.html | 12 ++++++------ html-test/ref/TH2.html | 12 ++++++------ html-test/ref/Test.html | 12 ++++++------ html-test/ref/Threaded.html | 12 ++++++------ html-test/ref/Threaded_TH.html | 12 ++++++------ html-test/ref/Ticket112.html | 12 ++++++------ html-test/ref/Ticket61.html | 12 ++++++------ html-test/ref/Ticket75.html | 12 ++++++------ html-test/ref/TitledPicture.html | 12 ++++++------ html-test/ref/TypeFamilies.html | 12 ++++++------ html-test/ref/TypeFamilies2.html | 12 ++++++------ html-test/ref/TypeOperators.html | 12 ++++++------ html-test/ref/Unicode.html | 12 ++++++------ html-test/ref/Visible.html | 12 ++++++------ 90 files changed, 540 insertions(+), 540 deletions(-) diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 8b79cd38d4..796ab6c3ea 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 0d19ef940d..0932ca8a06 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 9d41bf757b..699c9e8cb1 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 fcee0c1bd4..dee23b6398 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 9aafeb6521..22aa0062f4 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 64b97d598a..1288e8b236 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 0ef5de34db..a45b35b002 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 1bc8ac479b..8e40bc672e 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 a108b481f8..7830ca4efb 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 0727f604ee..49c3744ac7 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 2a1a890c04..f1df4e9bb4 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 b2efd014ee..d9c75fadf3 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 725722447b..3f8a586526 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 efbf4a9cf4..a1c67ae609 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 7395cc45ff..d722d724b9 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 b46b237f78..f3e2f6b3a7 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 6b9d894330..e5c17a3c3a 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 0f273af5c1..b143c903ca 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 90de238071..b1e30fd246 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 1c5a13cc09..936382a25e 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 9d6926c456..6843d63749 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 6a202f6a9e..7bac01eeee 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 0cceb1bc84..357ac199bb 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 fd500091d5..352fcb2a03 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 759fb51e83..9bb0f9288f 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 e8c60d9aee..441a3c3323 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 bb0bc93abd..c1083f1ad9 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 83a5b90bd0..307fe81182 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 582e24f6ca..a29d8a381e 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 a7c8c6d994..48091cb984 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 035afd2a8d..d21586c8b2 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 5d939b6597..4b4fa559a9 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 89a3e180d8..4484ba61ba 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 c75ce440b7..929cb0d624 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 49596863ab..dd584b0cff 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 0b726bec91..92963b68ca 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 0e27fd8a3b..e6a28442b8 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 e8e0c8f1d8..5f4c1dc19f 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 a3973b333f..da66d4ef53 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 30525f729c..ce185be42a 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 1acf5aa132..9fe8013ab5 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 b936060e9c..f258321989 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 2ffec6d1ef..28971655dd 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 64d1801301..8a91396a25 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 1e2e6a97c8..f26f1b6b75 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 ebac7d66d6..be6a720ab2 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 1d636b6386..0eeced801b 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 57ca4102fe..099fc84585 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 dabe08187d..8ca26c2a30 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 9eff5a24fc..9c22a23bab 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 c6d88ac417..94bd3cd56f 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 f652ddc3b2..0eab926812 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 06300fc2a5..f295fc2cd8 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 67623f00bd..9a0b505e4f 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 479188c192..bd297998b1 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 dc2a845bf5..13e6f6f55e 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 229e5e743e..b9efb16173 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 9f820cd86c..581985d068 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 fac79794f7..a15c680f22 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 5e574be626..b50d476bd3 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 3cbeda72a2..5b275ad914 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 4d58d35b4b..5aaf89c59a 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 4e345fd76c..8c411cce67 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 2abf60766d..25f6930bf8 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 278adf7a8a..0384dbc923 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 0a47d37cfa..b4c7a7b639 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 c9142e2fa2..e4cde460b3 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 14cd44024d..21f46cb182 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 883d138285..eb7e94f72a 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 093649bff7..de16cd8da0 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 d909ad13c1..ddbef02288 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 e6c73ca702..846be5060b 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 af2fbf8e10..b5e0cad05f 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 060f87fda9..3c58a60b48 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 44072e5a77..1ef98212ef 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 f7d4625615..5eccdb51bc 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 170e7e0908..b5500ac43f 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 2ce69f68b4..ac5ba3d746 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 a6b4ae7d92..9729977884 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 be61864fed..05f91d5f41 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 667fac2fc5..d109476be5 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 2e1eb17ce9..0651993a88 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 78bd3bda92..89a030c162 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 8ebeee241d..27ab9562b1 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 1b99c8c6fa..a90bde67f1 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 3ef167e3cd..40e709d032 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 c7f1e6e4be..52dc7d4663 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 b5e1cb7ef5..8674bd3e60 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 3a00ca1da3..b242212543 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 3ffc03a3a8..6f8f238e68 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 -- GitLab