aboutsummaryrefslogtreecommitdiff
path: root/html-test
diff options
context:
space:
mode:
Diffstat (limited to 'html-test')
-rw-r--r--html-test/ref/A.html4
-rw-r--r--html-test/ref/B.html4
-rw-r--r--html-test/ref/Bold.html4
-rw-r--r--html-test/ref/Bug1.html4
-rw-r--r--html-test/ref/Bug195.html4
-rw-r--r--html-test/ref/Bug2.html4
-rw-r--r--html-test/ref/Bug201.html4
-rw-r--r--html-test/ref/Bug253.html4
-rw-r--r--html-test/ref/Bug26.html4
-rw-r--r--html-test/ref/Bug280.html23
-rw-r--r--html-test/ref/Bug294.html4
-rw-r--r--html-test/ref/Bug298.html4
-rw-r--r--html-test/ref/Bug3.html4
-rw-r--r--html-test/ref/Bug308.html4
-rw-r--r--html-test/ref/Bug308CrossModule.html4
-rw-r--r--html-test/ref/Bug310.html4
-rw-r--r--html-test/ref/Bug313.html4
-rw-r--r--html-test/ref/Bug335.html4
-rw-r--r--html-test/ref/Bug387.html4
-rw-r--r--html-test/ref/Bug4.html4
-rw-r--r--html-test/ref/Bug6.html4
-rw-r--r--html-test/ref/Bug613.html260
-rw-r--r--html-test/ref/Bug647.html114
-rw-r--r--html-test/ref/Bug7.html4
-rw-r--r--html-test/ref/Bug8.html6
-rw-r--r--html-test/ref/Bug85.html4
-rw-r--r--html-test/ref/BugDeprecated.html4
-rw-r--r--html-test/ref/BugExportHeadings.html4
-rw-r--r--html-test/ref/Bugs.html4
-rw-r--r--html-test/ref/BundledPatterns.html474
-rw-r--r--html-test/ref/BundledPatterns2.html472
-rw-r--r--html-test/ref/ConstructorPatternExport.html124
-rw-r--r--html-test/ref/DeprecatedClass.html4
-rw-r--r--html-test/ref/DeprecatedData.html4
-rw-r--r--html-test/ref/DeprecatedFunction.html4
-rw-r--r--html-test/ref/DeprecatedFunction2.html4
-rw-r--r--html-test/ref/DeprecatedFunction3.html4
-rw-r--r--html-test/ref/DeprecatedModule.html4
-rw-r--r--html-test/ref/DeprecatedModule2.html4
-rw-r--r--html-test/ref/DeprecatedNewtype.html4
-rw-r--r--html-test/ref/DeprecatedReExport.html4
-rw-r--r--html-test/ref/DeprecatedRecord.html4
-rw-r--r--html-test/ref/DeprecatedTypeFamily.html4
-rw-r--r--html-test/ref/DeprecatedTypeSynonym.html4
-rw-r--r--html-test/ref/DuplicateRecordFields.html160
-rw-r--r--html-test/ref/Examples.html4
-rw-r--r--html-test/ref/Extensions.html4
-rw-r--r--html-test/ref/FunArgs.html4
-rw-r--r--html-test/ref/GADTRecords.html4
-rw-r--r--html-test/ref/Hash.html4
-rw-r--r--html-test/ref/HiddenInstances.html4
-rw-r--r--html-test/ref/HiddenInstancesB.html4
-rw-r--r--html-test/ref/Hyperlinks.html4
-rw-r--r--html-test/ref/IgnoreExports.html4
-rw-r--r--html-test/ref/ImplicitParams.html4
-rw-r--r--html-test/ref/Instances.html312
-rw-r--r--html-test/ref/Math.html4
-rw-r--r--html-test/ref/Minimal.html24
-rw-r--r--html-test/ref/ModuleWithWarning.html4
-rw-r--r--html-test/ref/NamedDoc.html4
-rw-r--r--html-test/ref/Nesting.html4
-rw-r--r--html-test/ref/NoLayout.html4
-rw-r--r--html-test/ref/NonGreedy.html4
-rw-r--r--html-test/ref/Operators.html68
-rw-r--r--html-test/ref/OrphanInstances.html4
-rw-r--r--html-test/ref/OrphanInstancesClass.html4
-rw-r--r--html-test/ref/OrphanInstancesType.html4
-rw-r--r--html-test/ref/PR643.html80
-rw-r--r--html-test/ref/PatternSyns.html153
-rw-r--r--html-test/ref/PromotedTypes.html4
-rw-r--r--html-test/ref/Properties.html4
-rw-r--r--html-test/ref/PruneWithWarning.html4
-rw-r--r--html-test/ref/QuasiExpr.html4
-rw-r--r--html-test/ref/QuasiQuote.html4
-rw-r--r--html-test/ref/SpuriousSuperclassConstraints.html26
-rw-r--r--html-test/ref/TH.html4
-rw-r--r--html-test/ref/TH2.html6
-rw-r--r--html-test/ref/Test.html4
-rw-r--r--html-test/ref/Threaded.html4
-rw-r--r--html-test/ref/Threaded_TH.html6
-rw-r--r--html-test/ref/Ticket112.html4
-rw-r--r--html-test/ref/Ticket61.html4
-rw-r--r--html-test/ref/Ticket75.html4
-rw-r--r--html-test/ref/TitledPicture.html4
-rw-r--r--html-test/ref/TypeFamilies.html12
-rw-r--r--html-test/ref/TypeFamilies2.html4
-rw-r--r--html-test/ref/TypeOperators.html4
-rw-r--r--html-test/ref/Unicode.html4
-rw-r--r--html-test/ref/Visible.html4
-rw-r--r--html-test/ref/haddock-util.js132
-rw-r--r--html-test/ref/mini_A.html2
-rw-r--r--html-test/ref/mini_AdvanceTypes.html2
-rw-r--r--html-test/ref/mini_B.html2
-rw-r--r--html-test/ref/mini_Bug1.html2
-rw-r--r--html-test/ref/mini_Bug2.html2
-rw-r--r--html-test/ref/mini_Bug3.html2
-rw-r--r--html-test/ref/mini_Bug4.html2
-rw-r--r--html-test/ref/mini_Bug6.html2
-rw-r--r--html-test/ref/mini_Bug7.html2
-rw-r--r--html-test/ref/mini_Bug8.html2
-rw-r--r--html-test/ref/mini_BugDeprecated.html2
-rw-r--r--html-test/ref/mini_BugExportHeadings.html2
-rw-r--r--html-test/ref/mini_Bugs.html2
-rw-r--r--html-test/ref/mini_DeprecatedClass.html2
-rw-r--r--html-test/ref/mini_DeprecatedData.html2
-rw-r--r--html-test/ref/mini_DeprecatedFunction.html2
-rw-r--r--html-test/ref/mini_DeprecatedFunction2.html2
-rw-r--r--html-test/ref/mini_DeprecatedFunction3.html2
-rw-r--r--html-test/ref/mini_DeprecatedModule.html2
-rw-r--r--html-test/ref/mini_DeprecatedModule2.html2
-rw-r--r--html-test/ref/mini_DeprecatedNewtype.html2
-rw-r--r--html-test/ref/mini_DeprecatedReExport.html2
-rw-r--r--html-test/ref/mini_DeprecatedRecord.html2
-rw-r--r--html-test/ref/mini_DeprecatedTypeFamily.html2
-rw-r--r--html-test/ref/mini_DeprecatedTypeSynonym.html2
-rw-r--r--html-test/ref/mini_Examples.html2
-rw-r--r--html-test/ref/mini_FunArgs.html2
-rw-r--r--html-test/ref/mini_GADTRecords.html2
-rw-r--r--html-test/ref/mini_Hash.html2
-rw-r--r--html-test/ref/mini_HiddenInstances.html2
-rw-r--r--html-test/ref/mini_HiddenInstancesB.html2
-rw-r--r--html-test/ref/mini_Hyperlinks.html2
-rw-r--r--html-test/ref/mini_IgnoreExports.html2
-rw-r--r--html-test/ref/mini_Math.html2
-rw-r--r--html-test/ref/mini_ModuleWithWarning.html2
-rw-r--r--html-test/ref/mini_NamedDoc.html2
-rw-r--r--html-test/ref/mini_NoLayout.html2
-rw-r--r--html-test/ref/mini_NonGreedy.html2
-rw-r--r--html-test/ref/mini_Properties.html2
-rw-r--r--html-test/ref/mini_PruneWithWarning.html2
-rw-r--r--html-test/ref/mini_QuasiExpr.html2
-rw-r--r--html-test/ref/mini_QuasiQuote.html2
-rw-r--r--html-test/ref/mini_SpuriousSuperclassConstraints.html2
-rw-r--r--html-test/ref/mini_TH.html2
-rw-r--r--html-test/ref/mini_TH2.html2
-rw-r--r--html-test/ref/mini_Test.html2
-rw-r--r--html-test/ref/mini_Ticket112.html2
-rw-r--r--html-test/ref/mini_Ticket61.html2
-rw-r--r--html-test/ref/mini_Ticket75.html2
-rw-r--r--html-test/ref/mini_TitledPicture.html2
-rw-r--r--html-test/ref/mini_TypeFamilies.html2
-rw-r--r--html-test/ref/mini_TypeOperators.html2
-rw-r--r--html-test/ref/mini_Unicode.html2
-rw-r--r--html-test/ref/mini_Visible.html2
-rw-r--r--html-test/src/Bug613.hs16
-rw-r--r--html-test/src/Bug647.hs6
-rw-r--r--html-test/src/BundledPatterns.hs110
-rw-r--r--html-test/src/BundledPatterns2.hs10
-rw-r--r--html-test/src/ConstructorPatternExport.hs26
-rw-r--r--html-test/src/DuplicateRecordFields.hs25
-rw-r--r--html-test/src/PR643.hs3
-rw-r--r--html-test/src/PR643_1.hs7
-rw-r--r--html-test/src/PatternSyns.hs13
-rw-r--r--html-test/src/SpuriousSuperclassConstraints.hs2
154 files changed, 2505 insertions, 561 deletions
diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index b58845e5..edd95fe8 100644
--- a/html-test/ref/A.html
+++ b/html-test/ref/A.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_A.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/B.html b/html-test/ref/B.html
index d82cf2cc..f4ce89d4 100644
--- a/html-test/ref/B.html
+++ b/html-test/ref/B.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_B.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html
index 8325419c..a7cb4e7f 100644
--- a/html-test/ref/Bold.html
+++ b/html-test/ref/Bold.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bold.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html
index 4bedbb86..37a37527 100644
--- a/html-test/ref/Bug1.html
+++ b/html-test/ref/Bug1.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug1.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html
index c6af235a..ca5c2cc0 100644
--- a/html-test/ref/Bug195.html
+++ b/html-test/ref/Bug195.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug195.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html
index 9ae26bcd..5b88feae 100644
--- a/html-test/ref/Bug2.html
+++ b/html-test/ref/Bug2.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug2.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html
index c84b55b1..04cb0991 100644
--- a/html-test/ref/Bug201.html
+++ b/html-test/ref/Bug201.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug201.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html
index 36640332..28482b24 100644
--- a/html-test/ref/Bug253.html
+++ b/html-test/ref/Bug253.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug253.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html
index 16251c0b..8b0644aa 100644
--- a/html-test/ref/Bug26.html
+++ b/html-test/ref/Bug26.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug26.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html
index 92eb61b0..6c533a28 100644
--- a/html-test/ref/Bug280.html
+++ b/html-test/ref/Bug280.html
@@ -1,4 +1,3 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml"
><head
><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
@@ -7,12 +6,12 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
- >//<![CDATA[
-window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");};
-//]]>
+ >//
+window.onload = function () {pageLoad();};
+//
</script
></head
><body
@@ -28,7 +27,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");};
></li
></ul
><p class="caption empty"
- >&nbsp;</p
+ ></p
></div
><div id="content"
><div id="module-header"
@@ -38,8 +37,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");};
>Copyright</th
><td
>Foo<br
- />Bar<br
- />Baz</td
+ />Bar<br
+ />Baz</td
></tr
><tr
><th
@@ -55,9 +54,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");};
><p class="caption"
>Description</p
><div class="doc"
- ><p
- >The module description</p
- ></div
+ ><p
+ >The module description</p
+ ></div
></div
><div id="interface"
><h1
@@ -78,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug280.html");};
></div
></body
></html
->
+> \ No newline at end of file
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html
index 1d7e0b32..3a82af80 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug294.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html
index 6204819e..cba626b6 100644
--- a/html-test/ref/Bug298.html
+++ b/html-test/ref/Bug298.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug298.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html
index eaa16f97..4a9cf8bc 100644
--- a/html-test/ref/Bug3.html
+++ b/html-test/ref/Bug3.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug3.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html
index 915aec4c..d816fef5 100644
--- a/html-test/ref/Bug308.html
+++ b/html-test/ref/Bug308.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug308.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html
index b2ae2adf..60f371af 100644
--- a/html-test/ref/Bug308CrossModule.html
+++ b/html-test/ref/Bug308CrossModule.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug308CrossModule.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index 8c5b45b8..468e64eb 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug310.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html
index 131b3382..4fc1682c 100644
--- a/html-test/ref/Bug313.html
+++ b/html-test/ref/Bug313.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug313.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html
index ea760d41..d1602c7b 100644
--- a/html-test/ref/Bug335.html
+++ b/html-test/ref/Bug335.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug335.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html
index 25d6d989..27d47e75 100644
--- a/html-test/ref/Bug387.html
+++ b/html-test/ref/Bug387.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug387.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html
index 22792fc1..fe6f47d1 100644
--- a/html-test/ref/Bug4.html
+++ b/html-test/ref/Bug4.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug4.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html
index 27e5251d..678f4070 100644
--- a/html-test/ref/Bug6.html
+++ b/html-test/ref/Bug6.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug6.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html
new file mode 100644
index 00000000..924f37d4
--- /dev/null
+++ b/html-test/ref/Bug613.html
@@ -0,0 +1,260 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><title
+ >Bug613</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><script src="haddock-util.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"
+ >//
+window.onload = function () {pageLoad();};
+//
+</script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >Safe</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >Bug613</p
+ ></div
+ ><div id="synopsis"
+ ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')"
+ >Synopsis</p
+ ><ul id="section.syn" class="hide" onclick="toggleSection('syn')"
+ ><li class="src short"
+ ><span class="keyword"
+ >class</span
+ > <a href="#"
+ >Functor</a
+ > f <span class="keyword"
+ >where</span
+ ><ul class="subs"
+ ></ul
+ ></li
+ ><li class="src short"
+ ><span class="keyword"
+ >data</span
+ > <a href="#"
+ >ThreeVars</a
+ > a0 a b = <a href="#"
+ >ThreeVars</a
+ > a b</li
+ ></ul
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >class</span
+ > <a id="t:Functor" class="def"
+ >Functor</a
+ > f <span class="keyword"
+ >where</span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="subs minimal"
+ ><p class="caption"
+ >Minimal complete definition</p
+ ><p class="src"
+ ><a href="#"
+ >fmap</a
+ ></p
+ ></div
+ ><div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a id="v:fmap" class="def"
+ >fmap</a
+ > :: (a -&gt; b) -&gt; f a -&gt; f b <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ><div class="subs instances"
+ ><p id="control.i:Functor" class="caption collapser" onclick="toggleSection('i:Functor')"
+ >Instances</p
+ ><div id="section.i:Functor" class="show"
+ ><table
+ ><tr
+ ><td class="src clearfix"
+ ><span class="inst-left"
+ ><span id="control.i:ic:Functor:Functor:1" class="instance expander" onclick="toggleSection('i:ic:Functor:Functor:1')"
+ ></span
+ > <a href="#"
+ >Functor</a
+ > (<a href="#"
+ >Either</a
+ > a)</span
+ > <a href="#" class="selflink"
+ >#</a
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div id="section.i:ic:Functor:Functor:1" class="inst-details hide"
+ ><div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a href="#"
+ >fmap</a
+ > :: (a0 -&gt; b) -&gt; <a href="#"
+ >Either</a
+ > a a0 -&gt; <a href="#"
+ >Either</a
+ > a b <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ></div
+ ></td
+ ></tr
+ ><tr
+ ><td class="src clearfix"
+ ><span class="inst-left"
+ ><span id="control.i:ic:Functor:Functor:2" class="instance expander" onclick="toggleSection('i:ic:Functor:Functor:2')"
+ ></span
+ > <a href="#"
+ >Functor</a
+ > (<a href="#"
+ >ThreeVars</a
+ > a0 a)</span
+ > <a href="#" class="selflink"
+ >#</a
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div id="section.i:ic:Functor:Functor:2" class="inst-details hide"
+ ><div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a href="#"
+ >fmap</a
+ > :: (a1 -&gt; b) -&gt; <a href="#"
+ >ThreeVars</a
+ > a0 a a1 -&gt; <a href="#"
+ >ThreeVars</a
+ > a0 a b <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ></div
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >data</span
+ > <a id="t:ThreeVars" class="def"
+ >ThreeVars</a
+ > a0 a b <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Phantom type a0 is added to block the first renaming from a to a0. This ensures that the renamer doesn't create a new conflict</p
+ ></div
+ ><div class="subs constructors"
+ ><p class="caption"
+ >Constructors</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><a id="v:ThreeVars" class="def"
+ >ThreeVars</a
+ > a b</td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ></table
+ ></div
+ ><div class="subs instances"
+ ><p id="control.i:ThreeVars" class="caption collapser" onclick="toggleSection('i:ThreeVars')"
+ >Instances</p
+ ><div id="section.i:ThreeVars" class="show"
+ ><table
+ ><tr
+ ><td class="src clearfix"
+ ><span class="inst-left"
+ ><span id="control.i:id:ThreeVars:Functor:1" class="instance expander" onclick="toggleSection('i:id:ThreeVars:Functor:1')"
+ ></span
+ > <a href="#"
+ >Functor</a
+ > (<a href="#"
+ >ThreeVars</a
+ > a0 a)</span
+ > <a href="#" class="selflink"
+ >#</a
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div id="section.i:id:ThreeVars:Functor:1" class="inst-details hide"
+ ><div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a href="#"
+ >fmap</a
+ > :: (a1 -&gt; b) -&gt; <a href="#"
+ >ThreeVars</a
+ > a0 a a1 -&gt; <a href="#"
+ >ThreeVars</a
+ > a0 a b <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ></div
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+> \ No newline at end of file
diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html
new file mode 100644
index 00000000..086840ab
--- /dev/null
+++ b/html-test/ref/Bug647.html
@@ -0,0 +1,114 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><title
+ >Bug647</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><script src="haddock-util.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"
+ >//
+window.onload = function () {pageLoad();};
+//
+</script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >Safe</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >Bug647</p
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >class</span
+ > <a id="t:Bug647" class="def"
+ >Bug647</a
+ > a <span class="keyword"
+ >where</span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="subs minimal"
+ ><p class="caption"
+ >Minimal complete definition</p
+ ><p class="src"
+ ><a href="#"
+ >f</a
+ ></p
+ ></div
+ ><div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a id="v:f" class="def"
+ >f</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="subs arguments"
+ ><p class="caption"
+ >Arguments</p
+ ><table
+ ><tr
+ ><td class="src"
+ >:: a</td
+ ><td class="doc"
+ ><p
+ >doc for arg1</p
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ >-&gt; a</td
+ ><td class="doc"
+ ><p
+ >doc for arg2</p
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ >-&gt; a</td
+ ><td class="doc"
+ ><p
+ >doc for arg3</p
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+> \ No newline at end of file
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index fe9e4569..ef26d62f 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug7.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html
index d32e0dbb..1b6c1525 100644
--- a/html-test/ref/Bug8.html
+++ b/html-test/ref/Bug8.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug8.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
@@ -89,7 +89,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug8.html&quot;);
><p class="src"
><a id="v:-45--45--62-" class="def"
>(--&gt;)</a
- > :: t -&gt; t1 -&gt; <a href="#"
+ > :: p1 -&gt; p2 -&gt; <a href="#"
>Typ</a
> <span class="fixity"
>infix 9</span
diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html
index 90042380..467dda0e 100644
--- a/html-test/ref/Bug85.html
+++ b/html-test/ref/Bug85.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug85.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html
index a6da413e..96fdab34 100644
--- a/html-test/ref/BugDeprecated.html
+++ b/html-test/ref/BugDeprecated.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_BugDeprecated.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index e8fd6fa6..2a05bed9 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_BugExportHeadings.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html
index cf87d82f..c29004f3 100644
--- a/html-test/ref/Bugs.html
+++ b/html-test/ref/Bugs.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bugs.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html
new file mode 100644
index 00000000..bf6c073c
--- /dev/null
+++ b/html-test/ref/BundledPatterns.html
@@ -0,0 +1,474 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><title
+ >BundledPatterns</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><script src="haddock-util.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"
+ >//
+window.onload = function () {pageLoad();};
+//
+</script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >None</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >BundledPatterns</p
+ ></div
+ ><div id="synopsis"
+ ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')"
+ >Synopsis</p
+ ><ul id="section.syn" class="hide" onclick="toggleSection('syn')"
+ ><li class="src short"
+ ><span class="keyword"
+ >data</span
+ > <a href="#"
+ >Vec</a
+ > :: <a href="#"
+ >Nat</a
+ > -&gt; <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ > <span class="keyword"
+ >where</span
+ ><ul class="subs"
+ ><li
+ ><a href="#"
+ >Nil</a
+ > :: <a href="#"
+ >Vec</a
+ > 0 a</li
+ ><li
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >(:&gt;)</a
+ > :: a -&gt; <a href="#"
+ >Vec</a
+ > n a -&gt; <a href="#"
+ >Vec</a
+ > (n <a href="#"
+ >+</a
+ > 1) a</li
+ ></ul
+ ></li
+ ><li class="src short"
+ ><span class="keyword"
+ >data</span
+ > <a href="#"
+ >RTree</a
+ > :: <a href="#"
+ >Nat</a
+ > -&gt; <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ > <span class="keyword"
+ >where</span
+ ><ul class="subs"
+ ><li
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >LR</a
+ > :: a -&gt; <a href="#"
+ >RTree</a
+ > 0 a</li
+ ><li
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >BR</a
+ > :: <a href="#"
+ >RTree</a
+ > d a -&gt; <a href="#"
+ >RTree</a
+ > d a -&gt; <a href="#"
+ >RTree</a
+ > (d <a href="#"
+ >+</a
+ > 1) a</li
+ ></ul
+ ></li
+ ></ul
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >data</span
+ > <a id="t:Vec" class="def"
+ >Vec</a
+ > :: <a href="#"
+ >Nat</a
+ > -&gt; <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ > <span class="keyword"
+ >where</span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Fixed size vectors.</p
+ ><ul
+ ><li
+ >Lists with their length encoded in their type</li
+ ><li
+ ><code
+ ><a href="#"
+ >Vec</a
+ ></code
+ >tor elements have an <strong
+ >ASCENDING</strong
+ > subscript starting from 0 and
+ ending at <code
+ ><code
+ ><a href="#"
+ >length</a
+ ></code
+ > - 1</code
+ >.</li
+ ></ul
+ ></div
+ ><div class="subs constructors"
+ ><p class="caption"
+ >Constructors</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><a id="v:Nil" class="def"
+ >Nil</a
+ > :: <a href="#"
+ >Vec</a
+ > 0 a</td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ></table
+ ></div
+ ><div class="subs bundled-patterns"
+ ><p class="caption"
+ >Bundled Patterns</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v::-62-" class="def"
+ >(:&gt;)</a
+ > :: a -&gt; <a href="#"
+ >Vec</a
+ > n a -&gt; <a href="#"
+ >Vec</a
+ > (n <a href="#"
+ >+</a
+ > 1) a <span class="fixity"
+ >infixr 5</span
+ ><span class="rightedge"
+ ></span
+ ></td
+ ><td class="doc"
+ ><p
+ >Add an element to the head of a vector.</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >3:&gt;4:&gt;5:&gt;Nil
+</code
+ ></strong
+ >&lt;3,4,5&gt;
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let x = 3:&gt;4:&gt;5:&gt;Nil
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t x
+</code
+ ></strong
+ >x :: Num a =&gt; Vec 3 a
+</pre
+ ><p
+ >Can be used as a pattern:</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let f (x :&gt; y :&gt; _) = x + y
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t f
+</code
+ ></strong
+ >f :: Num a =&gt; Vec ((n + 1) + 1) a -&gt; a
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >f (3:&gt;4:&gt;5:&gt;6:&gt;7:&gt;Nil)
+</code
+ ></strong
+ >7
+</pre
+ ><p
+ >Also in conjunctions with (<code
+ >:&lt;</code
+ >):</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let g (a :&gt; b :&gt; (_ :&lt; y :&lt; x)) = a + b + x + y
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t g
+</code
+ ></strong
+ >g :: Num a =&gt; Vec ((((n + 1) + 1) + 1) + 1) a -&gt; a
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >g (1:&gt;2:&gt;3:&gt;4:&gt;5:&gt;Nil)
+</code
+ ></strong
+ >12
+</pre
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >data</span
+ > <a id="t:RTree" class="def"
+ >RTree</a
+ > :: <a href="#"
+ >Nat</a
+ > -&gt; <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ > <span class="keyword"
+ >where</span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Perfect depth binary tree.</p
+ ><ul
+ ><li
+ >Only has elements at the leaf of the tree</li
+ ><li
+ >A tree of depth <em
+ >d</em
+ > has <em
+ >2^d</em
+ > elements.</li
+ ></ul
+ ></div
+ ><div class="subs bundled-patterns"
+ ><p class="caption"
+ >Bundled Patterns</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:LR" class="def"
+ >LR</a
+ > :: a -&gt; <a href="#"
+ >RTree</a
+ > 0 a</td
+ ><td class="doc"
+ ><p
+ >Leaf of a perfect depth tree</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >LR 1
+</code
+ ></strong
+ >1
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let x = LR 1
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t x
+</code
+ ></strong
+ >x :: Num a =&gt; RTree 0 a
+</pre
+ ><p
+ >Can be used as a pattern:</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let f (LR a) (LR b) = a + b
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t f
+</code
+ ></strong
+ >f :: Num a =&gt; RTree 0 a -&gt; RTree 0 a -&gt; a
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >f (LR 1) (LR 2)
+</code
+ ></strong
+ >3
+</pre
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:BR" class="def"
+ >BR</a
+ > :: <a href="#"
+ >RTree</a
+ > d a -&gt; <a href="#"
+ >RTree</a
+ > d a -&gt; <a href="#"
+ >RTree</a
+ > (d <a href="#"
+ >+</a
+ > 1) a</td
+ ><td class="doc"
+ ><p
+ >Branch of a perfect depth tree</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >BR (LR 1) (LR 2)
+</code
+ ></strong
+ >&lt;1,2&gt;
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let x = BR (LR 1) (LR 2)
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t x
+</code
+ ></strong
+ >x :: Num a =&gt; RTree 1 a
+</pre
+ ><p
+ >Case be used a pattern:</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let f (BR (LR a) (LR b)) = LR (a + b)
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t f
+</code
+ ></strong
+ >f :: Num a =&gt; RTree 1 a -&gt; RTree 0 a
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >f (BR (LR 1) (LR 2))
+</code
+ ></strong
+ >3
+</pre
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+> \ No newline at end of file
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html
new file mode 100644
index 00000000..3d1d4da0
--- /dev/null
+++ b/html-test/ref/BundledPatterns2.html
@@ -0,0 +1,472 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><title
+ >BundledPatterns2</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><script src="haddock-util.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"
+ >//
+window.onload = function () {pageLoad();};
+//
+</script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >None</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >BundledPatterns2</p
+ ></div
+ ><div id="synopsis"
+ ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')"
+ >Synopsis</p
+ ><ul id="section.syn" class="hide" onclick="toggleSection('syn')"
+ ><li class="src short"
+ ><span class="keyword"
+ >data</span
+ > <a href="#"
+ >Vec</a
+ > :: <a href="#"
+ >Nat</a
+ > -&gt; <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ > <span class="keyword"
+ >where</span
+ ><ul class="subs"
+ ><li
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >Empty</a
+ > :: <a href="#"
+ >Vec</a
+ > 0 a</li
+ ><li
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >(:&gt;)</a
+ > :: a -&gt; <a href="#"
+ >Vec</a
+ > n a -&gt; <a href="#"
+ >Vec</a
+ > (n <a href="#"
+ >+</a
+ > 1) a</li
+ ></ul
+ ></li
+ ><li class="src short"
+ ><span class="keyword"
+ >data</span
+ > <a href="#"
+ >RTree</a
+ > :: <a href="#"
+ >Nat</a
+ > -&gt; <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ > <span class="keyword"
+ >where</span
+ ><ul class="subs"
+ ><li
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >LR</a
+ > :: a -&gt; <a href="#"
+ >RTree</a
+ > 0 a</li
+ ><li
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >BR</a
+ > :: <a href="#"
+ >RTree</a
+ > d a -&gt; <a href="#"
+ >RTree</a
+ > d a -&gt; <a href="#"
+ >RTree</a
+ > (d <a href="#"
+ >+</a
+ > 1) a</li
+ ></ul
+ ></li
+ ></ul
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >data</span
+ > <a id="t:Vec" class="def"
+ >Vec</a
+ > :: <a href="#"
+ >Nat</a
+ > -&gt; <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ > <span class="keyword"
+ >where</span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Fixed size vectors.</p
+ ><ul
+ ><li
+ >Lists with their length encoded in their type</li
+ ><li
+ ><code
+ ><a href="#"
+ >Vec</a
+ ></code
+ >tor elements have an <strong
+ >ASCENDING</strong
+ > subscript starting from 0 and
+ ending at <code
+ ><code
+ ><a href="#"
+ >length</a
+ ></code
+ > - 1</code
+ >.</li
+ ></ul
+ ></div
+ ><div class="subs bundled-patterns"
+ ><p class="caption"
+ >Bundled Patterns</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:Empty" class="def"
+ >Empty</a
+ > :: <a href="#"
+ >Vec</a
+ > 0 a</td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v::-62-" class="def"
+ >(:&gt;)</a
+ > :: a -&gt; <a href="#"
+ >Vec</a
+ > n a -&gt; <a href="#"
+ >Vec</a
+ > (n <a href="#"
+ >+</a
+ > 1) a <span class="fixity"
+ >infixr 5</span
+ ><span class="rightedge"
+ ></span
+ ></td
+ ><td class="doc"
+ ><p
+ >Add an element to the head of a vector.</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >3:&gt;4:&gt;5:&gt;Nil
+</code
+ ></strong
+ >&lt;3,4,5&gt;
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let x = 3:&gt;4:&gt;5:&gt;Nil
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t x
+</code
+ ></strong
+ >x :: Num a =&gt; Vec 3 a
+</pre
+ ><p
+ >Can be used as a pattern:</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let f (x :&gt; y :&gt; _) = x + y
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t f
+</code
+ ></strong
+ >f :: Num a =&gt; Vec ((n + 1) + 1) a -&gt; a
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >f (3:&gt;4:&gt;5:&gt;6:&gt;7:&gt;Nil)
+</code
+ ></strong
+ >7
+</pre
+ ><p
+ >Also in conjunctions with (<code
+ >:&lt;</code
+ >):</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let g (a :&gt; b :&gt; (_ :&lt; y :&lt; x)) = a + b + x + y
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t g
+</code
+ ></strong
+ >g :: Num a =&gt; Vec ((((n + 1) + 1) + 1) + 1) a -&gt; a
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >g (1:&gt;2:&gt;3:&gt;4:&gt;5:&gt;Nil)
+</code
+ ></strong
+ >12
+</pre
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >data</span
+ > <a id="t:RTree" class="def"
+ >RTree</a
+ > :: <a href="#"
+ >Nat</a
+ > -&gt; <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ > <span class="keyword"
+ >where</span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Perfect depth binary tree.</p
+ ><ul
+ ><li
+ >Only has elements at the leaf of the tree</li
+ ><li
+ >A tree of depth <em
+ >d</em
+ > has <em
+ >2^d</em
+ > elements.</li
+ ></ul
+ ></div
+ ><div class="subs bundled-patterns"
+ ><p class="caption"
+ >Bundled Patterns</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:LR" class="def"
+ >LR</a
+ > :: a -&gt; <a href="#"
+ >RTree</a
+ > 0 a</td
+ ><td class="doc"
+ ><p
+ >Leaf of a perfect depth tree</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >LR 1
+</code
+ ></strong
+ >1
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let x = LR 1
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t x
+</code
+ ></strong
+ >x :: Num a =&gt; RTree 0 a
+</pre
+ ><p
+ >Can be used as a pattern:</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let f (LR a) (LR b) = a + b
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t f
+</code
+ ></strong
+ >f :: Num a =&gt; RTree 0 a -&gt; RTree 0 a -&gt; a
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >f (LR 1) (LR 2)
+</code
+ ></strong
+ >3
+</pre
+ ></td
+ ></tr
+ ><tr
+ ><td class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:BR" class="def"
+ >BR</a
+ > :: <a href="#"
+ >RTree</a
+ > d a -&gt; <a href="#"
+ >RTree</a
+ > d a -&gt; <a href="#"
+ >RTree</a
+ > (d <a href="#"
+ >+</a
+ > 1) a</td
+ ><td class="doc"
+ ><p
+ >Branch of a perfect depth tree</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >BR (LR 1) (LR 2)
+</code
+ ></strong
+ >&lt;1,2&gt;
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let x = BR (LR 1) (LR 2)
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t x
+</code
+ ></strong
+ >x :: Num a =&gt; RTree 1 a
+</pre
+ ><p
+ >Case be used a pattern:</p
+ ><pre class="screen"
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >let f (BR (LR a) (LR b)) = LR (a + b)
+</code
+ ></strong
+ ><code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >:t f
+</code
+ ></strong
+ >f :: Num a =&gt; RTree 1 a -&gt; RTree 0 a
+<code class="prompt"
+ >&gt;&gt;&gt; </code
+ ><strong class="userinput"
+ ><code
+ >f (BR (LR 1) (LR 2))
+</code
+ ></strong
+ >3
+</pre
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+> \ No newline at end of file
diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html
new file mode 100644
index 00000000..20f00d0f
--- /dev/null
+++ b/html-test/ref/ConstructorPatternExport.html
@@ -0,0 +1,124 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><title
+ >ConstructorPatternExport</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><script src="haddock-util.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"
+ >//
+window.onload = function () {pageLoad();};
+//
+</script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >Safe</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >ConstructorPatternExport</p
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:FooCons" class="def"
+ >FooCons</a
+ > :: <a href="#"
+ >String</a
+ > -&gt; a -&gt; Foo a <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:MyRecCons" class="def"
+ >MyRecCons</a
+ > :: <a href="#"
+ >Bool</a
+ > -&gt; <a href="#"
+ >Int</a
+ > -&gt; MyRec <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v::-43-" class="def"
+ >(:+)</a
+ > :: <a href="#"
+ >String</a
+ > -&gt; a -&gt; MyInfix a <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:BlubCons" class="def"
+ >BlubCons</a
+ > :: () =&gt; <a href="#"
+ >Show</a
+ > b =&gt; b -&gt; Blub <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:MyGADTCons" class="def"
+ >MyGADTCons</a
+ > :: () =&gt; <span class="keyword"
+ >forall</span
+ > a. <a href="#"
+ >Eq</a
+ > a =&gt; a -&gt; <a href="#"
+ >Int</a
+ > -&gt; MyGADT (<a href="#"
+ >Maybe</a
+ > <a href="#"
+ >String</a
+ >) <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+> \ No newline at end of file
diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html
index 43e1a255..f055f36f 100644
--- a/html-test/ref/DeprecatedClass.html
+++ b/html-test/ref/DeprecatedClass.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedClass.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html
index 2e53f3ea..aeb2a7c8 100644
--- a/html-test/ref/DeprecatedData.html
+++ b/html-test/ref/DeprecatedData.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedData.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html
index 8ac2218a..f4381d96 100644
--- a/html-test/ref/DeprecatedFunction.html
+++ b/html-test/ref/DeprecatedFunction.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedFunction.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html
index 545e3d72..b8985bcd 100644
--- a/html-test/ref/DeprecatedFunction2.html
+++ b/html-test/ref/DeprecatedFunction2.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedFunction2.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html
index fc20977e..b62e1ee3 100644
--- a/html-test/ref/DeprecatedFunction3.html
+++ b/html-test/ref/DeprecatedFunction3.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedFunction3.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html
index 0811319d..84c7a885 100644
--- a/html-test/ref/DeprecatedModule.html
+++ b/html-test/ref/DeprecatedModule.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedModule.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html
index db453568..862f79ee 100644
--- a/html-test/ref/DeprecatedModule2.html
+++ b/html-test/ref/DeprecatedModule2.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedModule2.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html
index 3af56b1b..a03d63fb 100644
--- a/html-test/ref/DeprecatedNewtype.html
+++ b/html-test/ref/DeprecatedNewtype.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedNewtype.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index 595ae4ca..52f2b8e9 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedReExport.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html
index 82da6d30..79b7b7f9 100644
--- a/html-test/ref/DeprecatedRecord.html
+++ b/html-test/ref/DeprecatedRecord.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedRecord.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html
index c31eae53..1d94e99b 100644
--- a/html-test/ref/DeprecatedTypeFamily.html
+++ b/html-test/ref/DeprecatedTypeFamily.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedTypeFamily.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html
index df0050ed..cb7a3afe 100644
--- a/html-test/ref/DeprecatedTypeSynonym.html
+++ b/html-test/ref/DeprecatedTypeSynonym.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedTypeSynonym.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html
new file mode 100644
index 00000000..4430b50a
--- /dev/null
+++ b/html-test/ref/DuplicateRecordFields.html
@@ -0,0 +1,160 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><title
+ >DuplicateRecordFields</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><script src="haddock-util.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"
+ >//
+window.onload = function () {pageLoad();};
+//
+</script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >Safe</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >DuplicateRecordFields</p
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >data</span
+ > <a id="t:RawReplay" class="def"
+ >RawReplay</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="subs constructors"
+ ><p class="caption"
+ >Constructors</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><a id="v:RawReplay" class="def"
+ >RawReplay</a
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div class="subs fields"
+ ><p class="caption"
+ >Fields</p
+ ><ul
+ ><li
+ ><dfn class="src"
+ ><a id="v:headerSize" class="def"
+ >headerSize</a
+ > :: Int</dfn
+ ><div class="doc"
+ ><p
+ >The byte size of the first section.</p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ ><a id="v:headerCRC" class="def"
+ >headerCRC</a
+ > :: Int</dfn
+ ><div class="doc"
+ ><p
+ >The CRC of the first section.</p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ ><a id="v:header" class="def"
+ >header</a
+ > :: Int</dfn
+ ><div class="doc"
+ ><p
+ >The first section.</p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ ><a id="v:contentSize" class="def"
+ >contentSize</a
+ > :: Int</dfn
+ ><div class="doc"
+ ><p
+ >The byte size of the second section.</p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ ><a id="v:contentCRC" class="def"
+ >contentCRC</a
+ > :: Int</dfn
+ ><div class="doc"
+ ><p
+ >The CRC of the second section.</p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ ><a id="v:content" class="def"
+ >content</a
+ > :: Int</dfn
+ ><div class="doc"
+ ><p
+ >The second section.</p
+ ></div
+ ></li
+ ><li
+ ><dfn class="src"
+ ><a id="v:footer" class="def"
+ >footer</a
+ > :: Int</dfn
+ ><div class="doc"
+ ><p
+ >Arbitrary data after the second section. In replays generated by
+ Rocket League, this is always empty. However it is not technically
+ invalid to put something here.</p
+ ></div
+ ></li
+ ></ul
+ ></div
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+> \ No newline at end of file
diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html
index e885928b..f706eef1 100644
--- a/html-test/ref/Examples.html
+++ b/html-test/ref/Examples.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Examples.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html
index 554bab12..e21785c0 100644
--- a/html-test/ref/Extensions.html
+++ b/html-test/ref/Extensions.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Extensions.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index d1ee154a..df597e12 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_FunArgs.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index 7cec535c..3b036aae 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_GADTRecords.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index 85c61f62..4ad1c27e 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Hash.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index 90cb1c3b..8c7312d7 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_HiddenInstances.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index fc8824fa..77af69d0 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_HiddenInstancesB.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html
index bb19f4bc..db1953e3 100644
--- a/html-test/ref/Hyperlinks.html
+++ b/html-test/ref/Hyperlinks.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Hyperlinks.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html
index 746a3aa5..262bb769 100644
--- a/html-test/ref/IgnoreExports.html
+++ b/html-test/ref/IgnoreExports.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_IgnoreExports.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html
index 95128b9d..d22e7f4c 100644
--- a/html-test/ref/ImplicitParams.html
+++ b/html-test/ref/ImplicitParams.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_ImplicitParams.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index 697bfa1b..c9ca6f82 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
@@ -102,9 +102,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>&lt;~~</a
> <a href="#"
>Int</a
- >) -&gt; a -&gt; a <a href="#"
+ >) -&gt; a0 -&gt; a <a href="#"
>&lt;~~</a
- > a <a href="#" class="selflink"
+ > a0 <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -114,7 +114,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>&lt;~~</a
> (a <a href="#"
>&lt;~~</a
- > a)) -&gt; <a href="#"
+ > a0)) -&gt; <a href="#"
>Int</a
> -&gt; a <a href="#"
>&lt;~~</a
@@ -276,48 +276,6 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></span
> <a href="#"
>Foo</a
- > ((-&gt;) a)</span
- > <a href="#" class="selflink"
- >#</a
- ></td
- ><td class="doc empty"
- ></td
- ></tr
- ><tr
- ><td colspan="2"
- ><div id="section.i:ic:Foo:Foo:3" class="inst-details hide"
- ><div class="subs methods"
- ><p class="caption"
- >Methods</p
- ><p class="src"
- ><a href="#"
- >foo</a
- > :: (a -&gt; <a href="#"
- >Int</a
- >) -&gt; a -&gt; a -&gt; a <a href="#" class="selflink"
- >#</a
- ></p
- ><p class="src"
- ><a href="#"
- >foo'</a
- > :: (a -&gt; a -&gt; a) -&gt; <a href="#"
- >Int</a
- > -&gt; a -&gt; a -&gt; <a href="#"
- >Int</a
- > <a href="#" class="selflink"
- >#</a
- ></p
- ></div
- ></div
- ></td
- ></tr
- ><tr
- ><td class="src clearfix"
- ><span class="inst-left"
- ><span id="control.i:ic:Foo:Foo:4" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:4')"
- ></span
- > <a href="#"
- >Foo</a
> (<a href="#"
>Either</a
> a)</span
@@ -329,7 +287,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></tr
><tr
><td colspan="2"
- ><div id="section.i:ic:Foo:Foo:4" class="inst-details hide"
+ ><div id="section.i:ic:Foo:Foo:3" class="inst-details hide"
><div class="subs methods"
><p class="caption"
>Methods</p
@@ -340,9 +298,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Either</a
> a <a href="#"
>Int</a
- > -&gt; a -&gt; <a href="#"
+ > -&gt; a0 -&gt; <a href="#"
>Either</a
- > a a <a href="#" class="selflink"
+ > a a0 <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -352,7 +310,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Either</a
> a (<a href="#"
>Either</a
- > a a) -&gt; <a href="#"
+ > a a0) -&gt; <a href="#"
>Int</a
> -&gt; <a href="#"
>Either</a
@@ -370,7 +328,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span id="control.i:ic:Foo:Foo:5" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:5')"
+ ><span id="control.i:ic:Foo:Foo:4" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:4')"
></span
> (<a href="#"
>Eq</a
@@ -389,7 +347,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></tr
><tr
><td colspan="2"
- ><div id="section.i:ic:Foo:Foo:5" class="inst-details hide"
+ ><div id="section.i:ic:Foo:Foo:4" class="inst-details hide"
><div class="subs methods"
><p class="caption"
>Methods</p
@@ -398,13 +356,13 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>foo</a
> :: (f a, <a href="#"
>Int</a
- >) -&gt; a -&gt; (f a, a) <a href="#" class="selflink"
+ >) -&gt; a0 -&gt; (f a, a0) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>foo'</a
- > :: (f a, (f a, a)) -&gt; <a href="#"
+ > :: (f a, (f a, a0)) -&gt; <a href="#"
>Int</a
> -&gt; (f a, (f a, <a href="#"
>Int</a
@@ -418,7 +376,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span id="control.i:ic:Foo:Foo:6" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:6')"
+ ><span id="control.i:ic:Foo:Foo:5" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:5')"
></span
> <a href="#"
>Foo</a
@@ -433,7 +391,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></tr
><tr
><td colspan="2"
- ><div id="section.i:ic:Foo:Foo:6" class="inst-details hide"
+ ><div id="section.i:ic:Foo:Foo:5" class="inst-details hide"
><div class="subs methods"
><p class="caption"
>Methods</p
@@ -444,9 +402,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>&lt;~~</a
> <a href="#"
>Int</a
- >) -&gt; a -&gt; a <a href="#"
+ >) -&gt; a0 -&gt; a <a href="#"
>&lt;~~</a
- > a <a href="#" class="selflink"
+ > a0 <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -456,7 +414,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>&lt;~~</a
> (a <a href="#"
>&lt;~~</a
- > a)) -&gt; <a href="#"
+ > a0)) -&gt; <a href="#"
>Int</a
> -&gt; a <a href="#"
>&lt;~~</a
@@ -474,7 +432,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span id="control.i:ic:Foo:Foo:7" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:7')"
+ ><span id="control.i:ic:Foo:Foo:6" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:6')"
></span
> <a href="#"
>Foo</a
@@ -489,7 +447,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></tr
><tr
><td colspan="2"
- ><div id="section.i:ic:Foo:Foo:7" class="inst-details hide"
+ ><div id="section.i:ic:Foo:Foo:6" class="inst-details hide"
><div class="subs methods"
><p class="caption"
>Methods</p
@@ -498,13 +456,13 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>foo</a
> :: (a, a, <a href="#"
>Int</a
- >) -&gt; a -&gt; (a, a, a) <a href="#" class="selflink"
+ >) -&gt; a0 -&gt; (a, a, a0) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>foo'</a
- > :: (a, a, (a, a, a)) -&gt; <a href="#"
+ > :: (a, a, (a, a, a0)) -&gt; <a href="#"
>Int</a
> -&gt; (a, a, (a, a, <a href="#"
>Int</a
@@ -518,7 +476,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><tr
><td class="src clearfix"
><span class="inst-left"
- ><span id="control.i:ic:Foo:Foo:8" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:8')"
+ ><span id="control.i:ic:Foo:Foo:7" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:7')"
></span
> <a href="#"
>Foo</a
@@ -533,7 +491,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></tr
><tr
><td colspan="2"
- ><div id="section.i:ic:Foo:Foo:8" class="inst-details hide"
+ ><div id="section.i:ic:Foo:Foo:7" class="inst-details hide"
><div class="subs methods"
><p class="caption"
>Methods</p
@@ -544,9 +502,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Quux</a
> a b <a href="#"
>Int</a
- > -&gt; a -&gt; <a href="#"
+ > -&gt; a0 -&gt; <a href="#"
>Quux</a
- > a b a <a href="#" class="selflink"
+ > a b a0 <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -556,7 +514,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Quux</a
> a b (<a href="#"
>Quux</a
- > a b a) -&gt; <a href="#"
+ > a b a0) -&gt; <a href="#"
>Int</a
> -&gt; <a href="#"
>Quux</a
@@ -571,6 +529,76 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></div
></td
></tr
+ ><tr
+ ><td class="src clearfix"
+ ><span class="inst-left"
+ ><span id="control.i:ic:Foo:Foo:8" class="instance expander" onclick="toggleSection('i:ic:Foo:Foo:8')"
+ ></span
+ > <a href="#"
+ >Foo</a
+ > ((-&gt;) <a href="#"
+ >LiftedRep</a
+ > <a href="#"
+ >LiftedRep</a
+ > a)</span
+ > <a href="#" class="selflink"
+ >#</a
+ ></td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ><tr
+ ><td colspan="2"
+ ><div id="section.i:ic:Foo:Foo:8" class="inst-details hide"
+ ><div class="subs methods"
+ ><p class="caption"
+ >Methods</p
+ ><p class="src"
+ ><a href="#"
+ >foo</a
+ > :: (<a href="#"
+ >LiftedRep</a
+ > -&gt; <a href="#"
+ >LiftedRep</a
+ >) a <a href="#"
+ >Int</a
+ > -&gt; a0 -&gt; (<a href="#"
+ >LiftedRep</a
+ > -&gt; <a href="#"
+ >LiftedRep</a
+ >) a a0 <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
+ >foo'</a
+ > :: (<a href="#"
+ >LiftedRep</a
+ > -&gt; <a href="#"
+ >LiftedRep</a
+ >) a ((<a href="#"
+ >LiftedRep</a
+ > -&gt; <a href="#"
+ >LiftedRep</a
+ >) a a0) -&gt; <a href="#"
+ >Int</a
+ > -&gt; (<a href="#"
+ >LiftedRep</a
+ > -&gt; <a href="#"
+ >LiftedRep</a
+ >) a ((<a href="#"
+ >LiftedRep</a
+ > -&gt; <a href="#"
+ >LiftedRep</a
+ >) a <a href="#"
+ >Int</a
+ >) <a href="#" class="selflink"
+ >#</a
+ ></p
+ ></div
+ ></div
+ ></td
+ ></tr
></table
></div
></div
@@ -608,7 +636,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><p class="src"
><a id="v:bar0" class="def"
>bar0</a
- >, <a id="v:bar1" class="def"
+ > :: (f a, f a) -&gt; (f b, f c) <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a id="v:bar1" class="def"
>bar1</a
> :: (f a, f a) -&gt; (f b, f c) <a href="#" class="selflink"
>#</a
@@ -970,19 +1002,19 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><p class="src"
><a href="#"
>bar'</a
- > :: (a, b, (a, b, (a, b, a))) -&gt; (a, b, (a, b, (a, b, b))) <a href="#" class="selflink"
+ > :: (a, b, (a, b, (a, b, a))) -&gt; (a, b, (a, b, (a, b, b0))) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar0</a
- > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -&gt; ((a, b, b), (a, b, c)) <a href="#" class="selflink"
+ > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -&gt; ((a, b, b0), (a, b, c)) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>bar1</a
- > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -&gt; ((a, b, b), (a, b, c)) <a href="#" class="selflink"
+ > :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -&gt; ((a, b, b0), (a, b, c)) <a href="#" class="selflink"
>#</a
></p
></div
@@ -1044,7 +1076,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Quux</a
> a c (<a href="#"
>Quux</a
- > a c b)) <a href="#" class="selflink"
+ > a c b0)) <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1060,9 +1092,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Quux</a
> a b c)) -&gt; (<a href="#"
>Quux</a
- > a c b, <a href="#"
+ > a c b0, <a href="#"
>Quux</a
- > a c c) <a href="#" class="selflink"
+ > a c c0) <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1078,9 +1110,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Quux</a
> a b c)) -&gt; (<a href="#"
>Quux</a
- > a c b, <a href="#"
+ > a c b0, <a href="#"
>Quux</a
- > a c c) <a href="#" class="selflink"
+ > a c c0) <a href="#" class="selflink"
>#</a
></p
></div
@@ -1170,7 +1202,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>forall</span
> a. a -&gt; a) -&gt; (b, <span class="keyword"
>forall</span
- > a. a -&gt; [c]) -&gt; (b, c) <a href="#" class="selflink"
+ > c0. c0 -&gt; [c]) -&gt; (b, c1) <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1190,9 +1222,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>forall</span
> b. (<span class="keyword"
>forall</span
- > a. a -&gt; [c]) -&gt; c) -&gt; <span class="keyword"
+ > b. b -&gt; [c]) -&gt; c0) -&gt; <span class="keyword"
>forall</span
- > a. a -&gt; b <a href="#" class="selflink"
+ > c1. c1 -&gt; b <a href="#" class="selflink"
>#</a
></p
></div
@@ -1224,31 +1256,31 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>baz</a
> :: (a -&gt; b) -&gt; (<span class="keyword"
>forall</span
- > c. c -&gt; c) -&gt; (b, <span class="keyword"
+ > a0. a0 -&gt; a0) -&gt; (b0, <span class="keyword"
>forall</span
- > c. c -&gt; a -&gt; b) -&gt; (b, c) <a href="#" class="selflink"
+ > c. c -&gt; a -&gt; b) -&gt; (b0, c) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>baz'</a
- > :: b -&gt; (<span class="keyword"
+ > :: b0 -&gt; (<span class="keyword"
>forall</span
- > c. c -&gt; a -&gt; b) -&gt; (<span class="keyword"
+ > b1. b1 -&gt; a -&gt; b) -&gt; (<span class="keyword"
>forall</span
- > c. c -&gt; a -&gt; b) -&gt; [(b, a -&gt; b)] <a href="#" class="selflink"
+ > b2. b2 -&gt; a -&gt; b) -&gt; [(b0, a -&gt; b)] <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>baz''</a
- > :: b -&gt; (<span class="keyword"
+ > :: b0 -&gt; (<span class="keyword"
>forall</span
- > c. (<span class="keyword"
+ > b1. (<span class="keyword"
>forall</span
- > d. d -&gt; a -&gt; b) -&gt; c) -&gt; <span class="keyword"
+ > b2. b2 -&gt; a -&gt; b) -&gt; c) -&gt; <span class="keyword"
>forall</span
- > c. c -&gt; b <a href="#" class="selflink"
+ > c. c -&gt; b0 <a href="#" class="selflink"
>#</a
></p
></div
@@ -1280,31 +1312,31 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>baz</a
> :: (a, b, c) -&gt; (<span class="keyword"
>forall</span
- > d. d -&gt; d) -&gt; (b, <span class="keyword"
+ > a0. a0 -&gt; a0) -&gt; (b0, <span class="keyword"
>forall</span
- > d. d -&gt; (a, b, c)) -&gt; (b, c) <a href="#" class="selflink"
+ > c0. c0 -&gt; (a, b, c)) -&gt; (b0, c1) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>baz'</a
- > :: b -&gt; (<span class="keyword"
+ > :: b0 -&gt; (<span class="keyword"
>forall</span
- > d. d -&gt; (a, b, c)) -&gt; (<span class="keyword"
+ > b1. b1 -&gt; (a, b, c)) -&gt; (<span class="keyword"
>forall</span
- > d. d -&gt; (a, b, c)) -&gt; [(b, (a, b, c))] <a href="#" class="selflink"
+ > b2. b2 -&gt; (a, b, c)) -&gt; [(b0, (a, b, c))] <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>baz''</a
- > :: b -&gt; (<span class="keyword"
+ > :: b0 -&gt; (<span class="keyword"
>forall</span
- > d. (<span class="keyword"
+ > b1. (<span class="keyword"
>forall</span
- > e. e -&gt; (a, b, c)) -&gt; c) -&gt; <span class="keyword"
+ > b2. b2 -&gt; (a, b, c)) -&gt; c0) -&gt; <span class="keyword"
>forall</span
- > d. d -&gt; b <a href="#" class="selflink"
+ > c1. c1 -&gt; b0 <a href="#" class="selflink"
>#</a
></p
></div
@@ -1340,25 +1372,25 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Quux</a
> a b c -&gt; (<span class="keyword"
>forall</span
- > d. d -&gt; d) -&gt; (b, <span class="keyword"
+ > a0. a0 -&gt; a0) -&gt; (b0, <span class="keyword"
>forall</span
- > d. d -&gt; <a href="#"
+ > c0. c0 -&gt; <a href="#"
>Quux</a
- > a b c) -&gt; (b, c) <a href="#" class="selflink"
+ > a b c) -&gt; (b0, c1) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>baz'</a
- > :: b -&gt; (<span class="keyword"
+ > :: b0 -&gt; (<span class="keyword"
>forall</span
- > d. d -&gt; <a href="#"
+ > b1. b1 -&gt; <a href="#"
>Quux</a
> a b c) -&gt; (<span class="keyword"
>forall</span
- > d. d -&gt; <a href="#"
+ > b2. b2 -&gt; <a href="#"
>Quux</a
- > a b c) -&gt; [(b, <a href="#"
+ > a b c) -&gt; [(b0, <a href="#"
>Quux</a
> a b c)] <a href="#" class="selflink"
>#</a
@@ -1366,15 +1398,15 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><p class="src"
><a href="#"
>baz''</a
- > :: b -&gt; (<span class="keyword"
+ > :: b0 -&gt; (<span class="keyword"
>forall</span
- > d. (<span class="keyword"
+ > b1. (<span class="keyword"
>forall</span
- > e. e -&gt; <a href="#"
+ > b2. b2 -&gt; <a href="#"
>Quux</a
- > a b c) -&gt; c) -&gt; <span class="keyword"
+ > a b c) -&gt; c0) -&gt; <span class="keyword"
>forall</span
- > d. d -&gt; b <a href="#" class="selflink"
+ > c1. c1 -&gt; b0 <a href="#" class="selflink"
>#</a
></p
></div
@@ -1406,31 +1438,31 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>baz</a
> :: (a, [b], b, a) -&gt; (<span class="keyword"
>forall</span
- > c. c -&gt; c) -&gt; (b, <span class="keyword"
+ > a0. a0 -&gt; a0) -&gt; (b0, <span class="keyword"
>forall</span
- > c. c -&gt; (a, [b], b, a)) -&gt; (b, c) <a href="#" class="selflink"
+ > c. c -&gt; (a, [b], b, a)) -&gt; (b0, c) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>baz'</a
- > :: b -&gt; (<span class="keyword"
+ > :: b0 -&gt; (<span class="keyword"
>forall</span
- > c. c -&gt; (a, [b], b, a)) -&gt; (<span class="keyword"
+ > b1. b1 -&gt; (a, [b], b, a)) -&gt; (<span class="keyword"
>forall</span
- > c. c -&gt; (a, [b], b, a)) -&gt; [(b, (a, [b], b, a))] <a href="#" class="selflink"
+ > b2. b2 -&gt; (a, [b], b, a)) -&gt; [(b0, (a, [b], b, a))] <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>baz''</a
- > :: b -&gt; (<span class="keyword"
+ > :: b0 -&gt; (<span class="keyword"
>forall</span
- > c. (<span class="keyword"
+ > b1. (<span class="keyword"
>forall</span
- > d. d -&gt; (a, [b], b, a)) -&gt; c) -&gt; <span class="keyword"
+ > b2. b2 -&gt; (a, [b], b, a)) -&gt; c) -&gt; <span class="keyword"
>forall</span
- > c. c -&gt; b <a href="#" class="selflink"
+ > c. c -&gt; b0 <a href="#" class="selflink"
>#</a
></p
></div
@@ -1514,9 +1546,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Quux</a
> a b <a href="#"
>Int</a
- > -&gt; a -&gt; <a href="#"
+ > -&gt; a0 -&gt; <a href="#"
>Quux</a
- > a b a <a href="#" class="selflink"
+ > a b a0 <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1526,7 +1558,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Quux</a
> a b (<a href="#"
>Quux</a
- > a b a) -&gt; <a href="#"
+ > a b a0) -&gt; <a href="#"
>Int</a
> -&gt; <a href="#"
>Quux</a
@@ -1596,7 +1628,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Quux</a
> a c (<a href="#"
>Quux</a
- > a c b)) <a href="#" class="selflink"
+ > a c b0)) <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1612,9 +1644,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Quux</a
> a b c)) -&gt; (<a href="#"
>Quux</a
- > a c b, <a href="#"
+ > a c b0, <a href="#"
>Quux</a
- > a c c) <a href="#" class="selflink"
+ > a c c0) <a href="#" class="selflink"
>#</a
></p
><p class="src"
@@ -1630,9 +1662,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Quux</a
> a b c)) -&gt; (<a href="#"
>Quux</a
- > a c b, <a href="#"
+ > a c b0, <a href="#"
>Quux</a
- > a c c) <a href="#" class="selflink"
+ > a c c0) <a href="#" class="selflink"
>#</a
></p
></div
@@ -1668,25 +1700,25 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
>Quux</a
> a b c -&gt; (<span class="keyword"
>forall</span
- > d. d -&gt; d) -&gt; (b, <span class="keyword"
+ > a0. a0 -&gt; a0) -&gt; (b0, <span class="keyword"
>forall</span
- > d. d -&gt; <a href="#"
+ > c0. c0 -&gt; <a href="#"
>Quux</a
- > a b c) -&gt; (b, c) <a href="#" class="selflink"
+ > a b c) -&gt; (b0, c1) <a href="#" class="selflink"
>#</a
></p
><p class="src"
><a href="#"
>baz'</a
- > :: b -&gt; (<span class="keyword"
+ > :: b0 -&gt; (<span class="keyword"
>forall</span
- > d. d -&gt; <a href="#"
+ > b1. b1 -&gt; <a href="#"
>Quux</a
> a b c) -&gt; (<span class="keyword"
>forall</span
- > d. d -&gt; <a href="#"
+ > b2. b2 -&gt; <a href="#"
>Quux</a
- > a b c) -&gt; [(b, <a href="#"
+ > a b c) -&gt; [(b0, <a href="#"
>Quux</a
> a b c)] <a href="#" class="selflink"
>#</a
@@ -1694,15 +1726,15 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
><p class="src"
><a href="#"
>baz''</a
- > :: b -&gt; (<span class="keyword"
+ > :: b0 -&gt; (<span class="keyword"
>forall</span
- > d. (<span class="keyword"
+ > b1. (<span class="keyword"
>forall</span
- > e. e -&gt; <a href="#"
+ > b2. b2 -&gt; <a href="#"
>Quux</a
- > a b c) -&gt; c) -&gt; <span class="keyword"
+ > a b c) -&gt; c0) -&gt; <span class="keyword"
>forall</span
- > d. d -&gt; b <a href="#" class="selflink"
+ > c1. c1 -&gt; b0 <a href="#" class="selflink"
>#</a
></p
></div
diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html
index 9f054ccc..46f283e3 100644
--- a/html-test/ref/Math.html
+++ b/html-test/ref/Math.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Math.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html
index 721260c6..b7507bd7 100644
--- a/html-test/ref/Minimal.html
+++ b/html-test/ref/Minimal.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Minimal.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
@@ -132,26 +132,6 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Minimal.html&quot
> <a href="#" class="selflink"
>#</a
></p
- ><div class="subs minimal"
- ><p class="caption"
- >Minimal complete definition</p
- ><p class="src"
- ><a href="#"
- >a</a
- >, <a href="#"
- >b</a
- >, <a href="#"
- >c</a
- > | <a href="#"
- >d</a
- > | <a href="#"
- >e</a
- >, (<a href="#"
- >f</a
- > | <a href="#"
- >g</a
- >)</p
- ></div
><div class="subs methods"
><p class="caption"
>Methods</p
diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html
index 776edd9b..ca7b2b3f 100644
--- a/html-test/ref/ModuleWithWarning.html
+++ b/html-test/ref/ModuleWithWarning.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_ModuleWithWarning.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html
index 50590660..a10aa305 100644
--- a/html-test/ref/NamedDoc.html
+++ b/html-test/ref/NamedDoc.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_NamedDoc.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html
index d98a75eb..7ce0c0d8 100644
--- a/html-test/ref/Nesting.html
+++ b/html-test/ref/Nesting.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Nesting.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html
index 061b5d42..43352864 100644
--- a/html-test/ref/NoLayout.html
+++ b/html-test/ref/NoLayout.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_NoLayout.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html
index ea18c7c4..6ed1563f 100644
--- a/html-test/ref/NonGreedy.html
+++ b/html-test/ref/NonGreedy.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_NonGreedy.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index 6c795d85..d498a906 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
@@ -97,7 +97,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
>(:+)</a
> :: <span class="keyword"
>forall</span
- > t. t -&gt; t -&gt; [t]</li
+ > a. a -&gt; a -&gt; [a]</li
><li class="src short"
><span class="keyword"
>data</span
@@ -271,7 +271,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
>(:+)</a
> :: <span class="keyword"
>forall</span
- > t. t -&gt; t -&gt; [t] <span class="fixity"
+ > a. a -&gt; a -&gt; [a] <span class="fixity"
>infixr 3</span
><span class="rightedge"
></span
@@ -432,12 +432,18 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
><p class="src"
><a id="v:-62--62--60-" class="def"
>(&gt;&gt;&lt;)</a
- >, <a id="v:-60--60--62-" class="def"
+ > :: a -&gt; b -&gt; () <span class="fixity"
+ >infixr 4</span
+ ><span class="rightedge"
+ ></span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a id="v:-60--60--62-" class="def"
>(&lt;&lt;&gt;)</a
> :: a -&gt; b -&gt; () <span class="fixity"
- >infixl 5 &lt;&lt;&gt;</span
- ><span class="fixity"
- >infixr 4 &gt;&gt;&lt;</span
+ >infixl 5</span
><span class="rightedge"
></span
> <a href="#" class="selflink"
@@ -446,16 +452,50 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
><p class="src"
><a id="v:-42--42--62-" class="def"
>(**&gt;)</a
- >, <a id="v:-42--42--60-" class="def"
+ > :: a -&gt; a -&gt; () <span class="fixity"
+ >infixr 8</span
+ ><span class="rightedge"
+ ></span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Multiple fixities</p
+ ></div
+ ><p class="src"
+ ><a id="v:-42--42--60-" class="def"
>(**&lt;)</a
- >, <a id="v:-62--42--42-" class="def"
+ > :: a -&gt; a -&gt; () <span class="fixity"
+ >infixl 8</span
+ ><span class="rightedge"
+ ></span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Multiple fixities</p
+ ></div
+ ><p class="src"
+ ><a id="v:-62--42--42-" class="def"
>(&gt;**)</a
- >, <a id="v:-60--42--42-" class="def"
+ > :: a -&gt; a -&gt; () <span class="fixity"
+ >infixr 8</span
+ ><span class="rightedge"
+ ></span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Multiple fixities</p
+ ></div
+ ><p class="src"
+ ><a id="v:-60--42--42-" class="def"
>(&lt;**)</a
> :: a -&gt; a -&gt; () <span class="fixity"
- >infixr 8 **&gt;, &gt;**</span
- ><span class="fixity"
- >infixl 8 **&lt;, &lt;**</span
+ >infixl 8</span
><span class="rightedge"
></span
> <a href="#" class="selflink"
diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html
index a5accfdf..257e2e41 100644
--- a/html-test/ref/OrphanInstances.html
+++ b/html-test/ref/OrphanInstances.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_OrphanInstances.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html
index 0f1b31c9..93594d90 100644
--- a/html-test/ref/OrphanInstancesClass.html
+++ b/html-test/ref/OrphanInstancesClass.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_OrphanInstancesClass.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html
index ceabdaaa..5d7a76c9 100644
--- a/html-test/ref/OrphanInstancesType.html
+++ b/html-test/ref/OrphanInstancesType.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_OrphanInstancesType.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html
new file mode 100644
index 00000000..46e1e7ed
--- /dev/null
+++ b/html-test/ref/PR643.html
@@ -0,0 +1,80 @@
+<html xmlns="http://www.w3.org/1999/xhtml"
+><head
+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><title
+ >PR643</title
+ ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ /><script src="haddock-util.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"
+ >//
+window.onload = function () {pageLoad();};
+//
+</script
+ ></head
+ ><body
+ ><div id="package-header"
+ ><ul class="links" id="page-menu"
+ ><li
+ ><a href="#"
+ >Contents</a
+ ></li
+ ><li
+ ><a href="#"
+ >Index</a
+ ></li
+ ></ul
+ ><p class="caption empty"
+ ></p
+ ></div
+ ><div id="content"
+ ><div id="module-header"
+ ><table class="info"
+ ><tr
+ ><th
+ >Safe Haskell</th
+ ><td
+ >Safe</td
+ ></tr
+ ></table
+ ><p class="caption"
+ >PR643</p
+ ></div
+ ><div id="synopsis"
+ ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')"
+ >Synopsis</p
+ ><ul id="section.syn" class="hide" onclick="toggleSection('syn')"
+ ><li class="src short"
+ ><a href="#"
+ >test</a
+ > :: ()</li
+ ></ul
+ ></div
+ ><div id="interface"
+ ><h1
+ >Documentation</h1
+ ><div class="top"
+ ><p class="src"
+ ><a id="v:test" class="def"
+ >test</a
+ > :: () <span class="fixity"
+ >infixr 5</span
+ ><span class="rightedge"
+ ></span
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Some big documentation</p
+ ></div
+ ></div
+ ></div
+ ></div
+ ><div id="footer"
+ ></div
+ ></body
+ ></html
+> \ No newline at end of file
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index 70e9230b..37596645 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
@@ -69,9 +69,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>Foo</a
> :: <span class="keyword"
>forall</span
- > t. t -&gt; <a href="#"
+ > x. x -&gt; <a href="#"
>FooType</a
- > t</li
+ > x</li
><li class="src short"
><span class="keyword"
>pattern</span
@@ -79,11 +79,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>Bar</a
> :: <span class="keyword"
>forall</span
- > t. t -&gt; <a href="#"
+ > x. x -&gt; <a href="#"
>FooType</a
> (<a href="#"
>FooType</a
- > t)</li
+ > x)</li
><li class="src short"
><span class="keyword"
>pattern</span
@@ -91,17 +91,41 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>(:&lt;-&gt;)</a
> :: <span class="keyword"
>forall</span
- > t t1. t -&gt; t1 -&gt; (<a href="#"
+ > x x1. x -&gt; x1 -&gt; (<a href="#"
>FooType</a
- > t, <a href="#"
+ > x, <a href="#"
>FooType</a
> (<a href="#"
>FooType</a
- > t1))</li
+ > x1))</li
><li class="src short"
><span class="keyword"
>data</span
- > a <a href="#"
+ > <a href="#"
+ >BlubType</a
+ > = <a href="#"
+ >Show</a
+ > x =&gt; <a href="#"
+ >BlubCtor</a
+ > x</li
+ ><li class="src short"
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >Blub</a
+ > :: () =&gt; <span class="keyword"
+ >forall</span
+ > x. <a href="#"
+ >Show</a
+ > x =&gt; x -&gt; <a href="#"
+ >BlubType</a
+ ></li
+ ><li class="src short"
+ ><span class="keyword"
+ >data</span
+ > (a :: <a href="#"
+ >*</a
+ >) <a href="#"
>&gt;&lt;</a
> b = <a href="#"
>Empty</a
@@ -113,9 +137,19 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>E</a
> :: <span class="keyword"
>forall</span
- > k t t1. <a href="#"
+ > k a (b :: k). <a href="#"
>(&gt;&lt;)</a
- > k t t1</li
+ > k a b</li
+ ><li class="src short"
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >PatWithExplicitSig</a
+ > :: <a href="#"
+ >Eq</a
+ > somex =&gt; somex -&gt; <a href="#"
+ >FooType</a
+ > somex</li
></ul
></div
><div id="interface"
@@ -157,9 +191,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>Foo</a
> :: <span class="keyword"
>forall</span
- > t. t -&gt; <a href="#"
+ > x. x -&gt; <a href="#"
>FooType</a
- > t <a href="#" class="selflink"
+ > x <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -179,11 +213,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>Bar</a
> :: <span class="keyword"
>forall</span
- > t. t -&gt; <a href="#"
+ > x. x -&gt; <a href="#"
>FooType</a
> (<a href="#"
>FooType</a
- > t) <a href="#" class="selflink"
+ > x) <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -203,13 +237,13 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>(:&lt;-&gt;)</a
> :: <span class="keyword"
>forall</span
- > t t1. t -&gt; t1 -&gt; (<a href="#"
+ > x x1. x -&gt; x1 -&gt; (<a href="#"
>FooType</a
- > t, <a href="#"
+ > x, <a href="#"
>FooType</a
> (<a href="#"
>FooType</a
- > t1)) <a href="#" class="selflink"
+ > x1)) <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -225,7 +259,63 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
><p class="src"
><span class="keyword"
>data</span
- > a <a id="t:-62--60-" class="def"
+ > <a id="t:BlubType" class="def"
+ >BlubType</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >BlubType is existentially quantified</p
+ ></div
+ ><div class="subs constructors"
+ ><p class="caption"
+ >Constructors</p
+ ><table
+ ><tr
+ ><td class="src"
+ ><a href="#"
+ >Show</a
+ > x =&gt; <a id="v:BlubCtor" class="def"
+ >BlubCtor</a
+ > x</td
+ ><td class="doc empty"
+ ></td
+ ></tr
+ ></table
+ ></div
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:Blub" class="def"
+ >Blub</a
+ > :: () =&gt; <span class="keyword"
+ >forall</span
+ > x. <a href="#"
+ >Show</a
+ > x =&gt; x -&gt; <a href="#"
+ >BlubType</a
+ > <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Pattern synonym for <code
+ ><a href="#"
+ >Blub</a
+ ></code
+ > x</p
+ ></div
+ ></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >data</span
+ > (a :: <a href="#"
+ >*</a
+ >) <a id="t:-62--60-" class="def"
>&gt;&lt;</a
> b <a href="#" class="selflink"
>#</a
@@ -261,9 +351,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
>E</a
> :: <span class="keyword"
>forall</span
- > k t t1. <a href="#"
+ > k a (b :: k). <a href="#"
>(&gt;&lt;)</a
- > k t t1 <a href="#" class="selflink"
+ > k a b <a href="#" class="selflink"
>#</a
></p
><div class="doc"
@@ -275,6 +365,25 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
></p
></div
></div
+ ><div class="top"
+ ><p class="src"
+ ><span class="keyword"
+ >pattern</span
+ > <a id="v:PatWithExplicitSig" class="def"
+ >PatWithExplicitSig</a
+ > :: <a href="#"
+ >Eq</a
+ > somex =&gt; somex -&gt; <a href="#"
+ >FooType</a
+ > somex <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><div class="doc"
+ ><p
+ >Earlier ghc versions didn't allow explicit signatures
+ on pattern synonyms.</p
+ ></div
+ ></div
></div
></div
><div id="footer"
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html
index 65aa0112..6d4c57be 100644
--- a/html-test/ref/PromotedTypes.html
+++ b/html-test/ref/PromotedTypes.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_PromotedTypes.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html
index 4020bb45..4ce37acd 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Properties.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html
index 0ee2b104..e714ec21 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_PruneWithWarning.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html
index 37face02..0b5b8054 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_QuasiExpr.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html
index 5fa53bb0..4919e48d 100644
--- a/html-test/ref/QuasiQuote.html
+++ b/html-test/ref/QuasiQuote.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_QuasiQuote.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index b5aa56b3..0f38d15c 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_SpuriousSuperclassConstraints.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
@@ -56,7 +56,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_SpuriousSuperclas
>http://www.haskell.org/pipermail/haskell-cafe/2012-September/103600.html</a
></p
><p
- >And here is the corresponding theard on glasgow-haskell-users:</p
+ >And here is the corresponding thread on glasgow-haskell-users:</p
><p
><a href="#"
>http://www.haskell.org/pipermail/glasgow-haskell-users/2012-September/022914.html</a
@@ -77,7 +77,11 @@ Fix spurious superclass constraints bug.</pre
>data</span
> <a id="t:SomeType" class="def"
>SomeType</a
- > f a <a href="#" class="selflink"
+ > (f :: <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ >) a <a href="#" class="selflink"
>#</a
></p
><div class="subs instances"
@@ -177,6 +181,18 @@ Fix spurious superclass constraints bug.</pre
></p
><p class="src"
><a href="#"
+ >liftA2</a
+ > :: (a -&gt; b -&gt; c) -&gt; <a href="#"
+ >SomeType</a
+ > f a -&gt; <a href="#"
+ >SomeType</a
+ > f b -&gt; <a href="#"
+ >SomeType</a
+ > f c <a href="#" class="selflink"
+ >#</a
+ ></p
+ ><p class="src"
+ ><a href="#"
>(*&gt;)</a
> :: <a href="#"
>SomeType</a
@@ -213,4 +229,4 @@ Fix spurious superclass constraints bug.</pre
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html
index 74c2d60f..c3b71206 100644
--- a/html-test/ref/TH.html
+++ b/html-test/ref/TH.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_TH.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html
index 024574a1..5562cb67 100644
--- a/html-test/ref/TH2.html
+++ b/html-test/ref/TH2.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_TH2.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
@@ -49,7 +49,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TH2.html&quot;);}
><p class="src"
><a id="v:f" class="def"
>f</a
- > :: t -&gt; t <a href="#" class="selflink"
+ > :: p -&gt; p <a href="#" class="selflink"
>#</a
></p
></div
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index a98b2228..e84ed0dd 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Test.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html
index 8c2261b1..ac6a66b9 100644
--- a/html-test/ref/Threaded.html
+++ b/html-test/ref/Threaded.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Threaded.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html
index 2140d5b7..89f276c9 100644
--- a/html-test/ref/Threaded_TH.html
+++ b/html-test/ref/Threaded_TH.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Threaded_TH.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
@@ -36,7 +36,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Threaded_TH.html&
><th
>Safe Haskell</th
><td
- >None</td
+ >Safe</td
></tr
></table
><p class="caption"
diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html
index 6f42cff6..74b65663 100644
--- a/html-test/ref/Ticket112.html
+++ b/html-test/ref/Ticket112.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Ticket112.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html
index e4ff49be..cfc2e7f7 100644
--- a/html-test/ref/Ticket61.html
+++ b/html-test/ref/Ticket61.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Ticket61.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html
index 79678466..616f5d47 100644
--- a/html-test/ref/Ticket75.html
+++ b/html-test/ref/Ticket75.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Ticket75.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html
index 61170750..927631f8 100644
--- a/html-test/ref/TitledPicture.html
+++ b/html-test/ref/TitledPicture.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_TitledPicture.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 6062db4f..c6301a56 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
@@ -159,9 +159,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><li class="src short"
><span class="keyword"
>class</span
- > a <a href="#"
+ > (a :: k) <a href="#"
>&gt;&lt;</a
- > b</li
+ > (b :: k)</li
></ul
></div
><div id="interface"
@@ -1779,9 +1779,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
><p class="src"
><span class="keyword"
>class</span
- > a <a id="t:-62--60-" class="def"
+ > (a :: k) <a id="t:-62--60-" class="def"
>&gt;&lt;</a
- > b <a href="#" class="selflink"
+ > (b :: k) <a href="#" class="selflink"
>#</a
></p
><div class="subs instances"
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html
index f7909bff..65ab0317 100644
--- a/html-test/ref/TypeFamilies2.html
+++ b/html-test/ref/TypeFamilies2.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies2.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index f6da47b1..b461ac71 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeOperators.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html
index 335761f2..ae1d4293 100644
--- a/html-test/ref/Unicode.html
+++ b/html-test/ref/Unicode.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Unicode.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html
index f1390568..d9b8cd11 100644
--- a/html-test/ref/Visible.html
+++ b/html-test/ref/Visible.html
@@ -6,11 +6,11 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//
-window.onload = function () {pageLoad();setSynopsis(&quot;mini_Visible.html&quot;);};
+window.onload = function () {pageLoad();};
//
</script
></head
diff --git a/html-test/ref/haddock-util.js b/html-test/ref/haddock-util.js
index 92d07d2a..05bdaef5 100644
--- a/html-test/ref/haddock-util.js
+++ b/html-test/ref/haddock-util.js
@@ -1,7 +1,7 @@
// Haddock JavaScript utilities
var rspace = /\s\s+/g,
- rtrim = /^\s+|\s+$/g;
+ rtrim = /^\s+|\s+$/g;
function spaced(s) { return (" " + s + " ").replace(rspace, " "); }
function trim(s) { return s.replace(rtrim, ""); }
@@ -109,136 +109,6 @@ function getCookie(name) {
return null;
}
-
-
-var max_results = 75; // 50 is not enough to search for map in the base libraries
-var shown_range = null;
-var last_search = null;
-
-function quick_search()
-{
- perform_search(false);
-}
-
-function full_search()
-{
- perform_search(true);
-}
-
-
-function perform_search(full)
-{
- var text = document.getElementById("searchbox").value.toLowerCase();
- if (text == last_search && !full) return;
- last_search = text;
-
- var table = document.getElementById("indexlist");
- var status = document.getElementById("searchmsg");
- var children = table.firstChild.childNodes;
-
- // first figure out the first node with the prefix
- var first = bisect(-1);
- var last = (first == -1 ? -1 : bisect(1));
-
- if (first == -1)
- {
- table.className = "";
- status.innerHTML = "No results found, displaying all";
- }
- else if (first == 0 && last == children.length - 1)
- {
- table.className = "";
- status.innerHTML = "";
- }
- else if (last - first >= max_results && !full)
- {
- table.className = "";
- status.innerHTML = "More than " + max_results + ", press Search to display";
- }
- else
- {
- // decide what you need to clear/show
- if (shown_range)
- setclass(shown_range[0], shown_range[1], "indexrow");
- setclass(first, last, "indexshow");
- shown_range = [first, last];
- table.className = "indexsearch";
- status.innerHTML = "";
- }
-
-
- function setclass(first, last, status)
- {
- for (var i = first; i <= last; i++)
- {
- children[i].className = status;
- }
- }
-
-
- // do a binary search, treating 0 as ...
- // return either -1 (no 0's found) or location of most far match
- function bisect(dir)
- {
- var first = 0, finish = children.length - 1;
- var mid, success = false;
-
- while (finish - first > 3)
- {
- mid = Math.floor((finish + first) / 2);
-
- var i = checkitem(mid);
- if (i == 0) i = dir;
- if (i == -1)
- finish = mid;
- else
- first = mid;
- }
- var a = (dir == 1 ? first : finish);
- var b = (dir == 1 ? finish : first);
- for (var i = b; i != a - dir; i -= dir)
- {
- if (checkitem(i) == 0) return i;
- }
- return -1;
- }
-
-
- // from an index, decide what the result is
- // 0 = match, -1 is lower, 1 is higher
- function checkitem(i)
- {
- var s = getitem(i).toLowerCase().substr(0, text.length);
- if (s == text) return 0;
- else return (s > text ? -1 : 1);
- }
-
-
- // from an index, get its string
- // this abstracts over alternates
- function getitem(i)
- {
- for ( ; i >= 0; i--)
- {
- var s = children[i].firstChild.firstChild.data;
- if (s.indexOf(' ') == -1)
- return s;
- }
- return ""; // should never be reached
- }
-}
-
-function setSynopsis(filename) {
- if (parent.window.synopsis && parent.window.synopsis.location) {
- if (parent.window.synopsis.location.replace) {
- // In Firefox this avoids adding the change to the history.
- parent.window.synopsis.location.replace(filename);
- } else {
- parent.window.synopsis.location = filename;
- }
- }
-}
-
function addMenuItem(html) {
var menu = document.getElementById("page-menu");
if (menu) {
diff --git a/html-test/ref/mini_A.html b/html-test/ref/mini_A.html
index 6f914440..fa89131e 100644
--- a/html-test/ref/mini_A.html
+++ b/html-test/ref/mini_A.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_AdvanceTypes.html b/html-test/ref/mini_AdvanceTypes.html
index f72502dd..c7d21915 100644
--- a/html-test/ref/mini_AdvanceTypes.html
+++ b/html-test/ref/mini_AdvanceTypes.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_B.html b/html-test/ref/mini_B.html
index 557d5dfe..5ce5772c 100644
--- a/html-test/ref/mini_B.html
+++ b/html-test/ref/mini_B.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug1.html b/html-test/ref/mini_Bug1.html
index 01a65c6f..d7aea0ed 100644
--- a/html-test/ref/mini_Bug1.html
+++ b/html-test/ref/mini_Bug1.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug2.html b/html-test/ref/mini_Bug2.html
index 4cbea53d..58fc5ba3 100644
--- a/html-test/ref/mini_Bug2.html
+++ b/html-test/ref/mini_Bug2.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug3.html b/html-test/ref/mini_Bug3.html
index 9f46a9e6..1b0d1b33 100644
--- a/html-test/ref/mini_Bug3.html
+++ b/html-test/ref/mini_Bug3.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug4.html b/html-test/ref/mini_Bug4.html
index cfc489b4..d17d2f2b 100644
--- a/html-test/ref/mini_Bug4.html
+++ b/html-test/ref/mini_Bug4.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug6.html b/html-test/ref/mini_Bug6.html
index cea7a09d..e60f4189 100644
--- a/html-test/ref/mini_Bug6.html
+++ b/html-test/ref/mini_Bug6.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug7.html b/html-test/ref/mini_Bug7.html
index 3c32e012..77698489 100644
--- a/html-test/ref/mini_Bug7.html
+++ b/html-test/ref/mini_Bug7.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug8.html b/html-test/ref/mini_Bug8.html
index 63770a6d..9d029307 100644
--- a/html-test/ref/mini_Bug8.html
+++ b/html-test/ref/mini_Bug8.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_BugDeprecated.html b/html-test/ref/mini_BugDeprecated.html
index 5a075ca8..8a35d4d6 100644
--- a/html-test/ref/mini_BugDeprecated.html
+++ b/html-test/ref/mini_BugDeprecated.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_BugExportHeadings.html b/html-test/ref/mini_BugExportHeadings.html
index 2a1223e6..50ac8cfc 100644
--- a/html-test/ref/mini_BugExportHeadings.html
+++ b/html-test/ref/mini_BugExportHeadings.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bugs.html b/html-test/ref/mini_Bugs.html
index 6c7eefe7..94992ddf 100644
--- a/html-test/ref/mini_Bugs.html
+++ b/html-test/ref/mini_Bugs.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedClass.html b/html-test/ref/mini_DeprecatedClass.html
index 05889033..234778f0 100644
--- a/html-test/ref/mini_DeprecatedClass.html
+++ b/html-test/ref/mini_DeprecatedClass.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedData.html b/html-test/ref/mini_DeprecatedData.html
index 6dad3417..b4042bb8 100644
--- a/html-test/ref/mini_DeprecatedData.html
+++ b/html-test/ref/mini_DeprecatedData.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedFunction.html b/html-test/ref/mini_DeprecatedFunction.html
index 1564c916..3739b392 100644
--- a/html-test/ref/mini_DeprecatedFunction.html
+++ b/html-test/ref/mini_DeprecatedFunction.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedFunction2.html b/html-test/ref/mini_DeprecatedFunction2.html
index 8af6fa90..a66fc19b 100644
--- a/html-test/ref/mini_DeprecatedFunction2.html
+++ b/html-test/ref/mini_DeprecatedFunction2.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedFunction3.html b/html-test/ref/mini_DeprecatedFunction3.html
index 61819fc8..770dfad5 100644
--- a/html-test/ref/mini_DeprecatedFunction3.html
+++ b/html-test/ref/mini_DeprecatedFunction3.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedModule.html b/html-test/ref/mini_DeprecatedModule.html
index 112d70df..d70284b1 100644
--- a/html-test/ref/mini_DeprecatedModule.html
+++ b/html-test/ref/mini_DeprecatedModule.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedModule2.html b/html-test/ref/mini_DeprecatedModule2.html
index 18dc9b2d..a0773dcc 100644
--- a/html-test/ref/mini_DeprecatedModule2.html
+++ b/html-test/ref/mini_DeprecatedModule2.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedNewtype.html b/html-test/ref/mini_DeprecatedNewtype.html
index 22b56d10..165bcd4c 100644
--- a/html-test/ref/mini_DeprecatedNewtype.html
+++ b/html-test/ref/mini_DeprecatedNewtype.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedReExport.html b/html-test/ref/mini_DeprecatedReExport.html
index b1600cb7..22dfddf4 100644
--- a/html-test/ref/mini_DeprecatedReExport.html
+++ b/html-test/ref/mini_DeprecatedReExport.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedRecord.html b/html-test/ref/mini_DeprecatedRecord.html
index 5da974e7..0f400512 100644
--- a/html-test/ref/mini_DeprecatedRecord.html
+++ b/html-test/ref/mini_DeprecatedRecord.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedTypeFamily.html b/html-test/ref/mini_DeprecatedTypeFamily.html
index eb90e152..b430034a 100644
--- a/html-test/ref/mini_DeprecatedTypeFamily.html
+++ b/html-test/ref/mini_DeprecatedTypeFamily.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedTypeSynonym.html b/html-test/ref/mini_DeprecatedTypeSynonym.html
index 4ea068d9..44cb232d 100644
--- a/html-test/ref/mini_DeprecatedTypeSynonym.html
+++ b/html-test/ref/mini_DeprecatedTypeSynonym.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Examples.html b/html-test/ref/mini_Examples.html
index 16769ed2..9b3a5610 100644
--- a/html-test/ref/mini_Examples.html
+++ b/html-test/ref/mini_Examples.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_FunArgs.html b/html-test/ref/mini_FunArgs.html
index 952e6879..5f19fe0b 100644
--- a/html-test/ref/mini_FunArgs.html
+++ b/html-test/ref/mini_FunArgs.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_GADTRecords.html b/html-test/ref/mini_GADTRecords.html
index fe0c5753..b6b7ae6e 100644
--- a/html-test/ref/mini_GADTRecords.html
+++ b/html-test/ref/mini_GADTRecords.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Hash.html b/html-test/ref/mini_Hash.html
index 6647caf7..0c7590bb 100644
--- a/html-test/ref/mini_Hash.html
+++ b/html-test/ref/mini_Hash.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_HiddenInstances.html b/html-test/ref/mini_HiddenInstances.html
index 5e709de7..1ffecbf8 100644
--- a/html-test/ref/mini_HiddenInstances.html
+++ b/html-test/ref/mini_HiddenInstances.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_HiddenInstancesB.html b/html-test/ref/mini_HiddenInstancesB.html
index 8c8b832c..8ca461b6 100644
--- a/html-test/ref/mini_HiddenInstancesB.html
+++ b/html-test/ref/mini_HiddenInstancesB.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Hyperlinks.html b/html-test/ref/mini_Hyperlinks.html
index 5071b876..0e0c3e80 100644
--- a/html-test/ref/mini_Hyperlinks.html
+++ b/html-test/ref/mini_Hyperlinks.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_IgnoreExports.html b/html-test/ref/mini_IgnoreExports.html
index 498b8507..e97867f4 100644
--- a/html-test/ref/mini_IgnoreExports.html
+++ b/html-test/ref/mini_IgnoreExports.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Math.html b/html-test/ref/mini_Math.html
index e7f0f14f..23e7a9ce 100644
--- a/html-test/ref/mini_Math.html
+++ b/html-test/ref/mini_Math.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_ModuleWithWarning.html b/html-test/ref/mini_ModuleWithWarning.html
index ebe78e11..988db471 100644
--- a/html-test/ref/mini_ModuleWithWarning.html
+++ b/html-test/ref/mini_ModuleWithWarning.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_NamedDoc.html b/html-test/ref/mini_NamedDoc.html
index 58ba3f53..5a8e4ad9 100644
--- a/html-test/ref/mini_NamedDoc.html
+++ b/html-test/ref/mini_NamedDoc.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_NoLayout.html b/html-test/ref/mini_NoLayout.html
index 74878965..9400ad54 100644
--- a/html-test/ref/mini_NoLayout.html
+++ b/html-test/ref/mini_NoLayout.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_NonGreedy.html b/html-test/ref/mini_NonGreedy.html
index 96c51c75..78f0e847 100644
--- a/html-test/ref/mini_NonGreedy.html
+++ b/html-test/ref/mini_NonGreedy.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Properties.html b/html-test/ref/mini_Properties.html
index 8362d16e..86b2364c 100644
--- a/html-test/ref/mini_Properties.html
+++ b/html-test/ref/mini_Properties.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_PruneWithWarning.html b/html-test/ref/mini_PruneWithWarning.html
index e73dc510..379a701e 100644
--- a/html-test/ref/mini_PruneWithWarning.html
+++ b/html-test/ref/mini_PruneWithWarning.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_QuasiExpr.html b/html-test/ref/mini_QuasiExpr.html
index f9e8b7b5..6c2c97f7 100644
--- a/html-test/ref/mini_QuasiExpr.html
+++ b/html-test/ref/mini_QuasiExpr.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_QuasiQuote.html b/html-test/ref/mini_QuasiQuote.html
index e0d8e22e..fec1abb7 100644
--- a/html-test/ref/mini_QuasiQuote.html
+++ b/html-test/ref/mini_QuasiQuote.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_SpuriousSuperclassConstraints.html b/html-test/ref/mini_SpuriousSuperclassConstraints.html
index 38be01c4..c6b2d1aa 100644
--- a/html-test/ref/mini_SpuriousSuperclassConstraints.html
+++ b/html-test/ref/mini_SpuriousSuperclassConstraints.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_TH.html b/html-test/ref/mini_TH.html
index 51b35ee5..cbf260b4 100644
--- a/html-test/ref/mini_TH.html
+++ b/html-test/ref/mini_TH.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_TH2.html b/html-test/ref/mini_TH2.html
index 767e6e2c..6a29ad56 100644
--- a/html-test/ref/mini_TH2.html
+++ b/html-test/ref/mini_TH2.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Test.html b/html-test/ref/mini_Test.html
index 3fd26035..571b4abd 100644
--- a/html-test/ref/mini_Test.html
+++ b/html-test/ref/mini_Test.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Ticket112.html b/html-test/ref/mini_Ticket112.html
index d6f23ea2..3c6bf31f 100644
--- a/html-test/ref/mini_Ticket112.html
+++ b/html-test/ref/mini_Ticket112.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Ticket61.html b/html-test/ref/mini_Ticket61.html
index 6c061b7e..78a0dfba 100644
--- a/html-test/ref/mini_Ticket61.html
+++ b/html-test/ref/mini_Ticket61.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Ticket75.html b/html-test/ref/mini_Ticket75.html
index 351a4d16..08d934d9 100644
--- a/html-test/ref/mini_Ticket75.html
+++ b/html-test/ref/mini_Ticket75.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_TitledPicture.html b/html-test/ref/mini_TitledPicture.html
index 91f61ef3..c5a95bcd 100644
--- a/html-test/ref/mini_TitledPicture.html
+++ b/html-test/ref/mini_TitledPicture.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_TypeFamilies.html b/html-test/ref/mini_TypeFamilies.html
index 9c6e02ea..10e65e52 100644
--- a/html-test/ref/mini_TypeFamilies.html
+++ b/html-test/ref/mini_TypeFamilies.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_TypeOperators.html b/html-test/ref/mini_TypeOperators.html
index 61a01103..a5c321bf 100644
--- a/html-test/ref/mini_TypeOperators.html
+++ b/html-test/ref/mini_TypeOperators.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Unicode.html b/html-test/ref/mini_Unicode.html
index 820cd80d..df06b1c6 100644
--- a/html-test/ref/mini_Unicode.html
+++ b/html-test/ref/mini_Unicode.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/ref/mini_Visible.html b/html-test/ref/mini_Visible.html
index d51d755a..8a92d3f5 100644
--- a/html-test/ref/mini_Visible.html
+++ b/html-test/ref/mini_Visible.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><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"
>//<![CDATA[
diff --git a/html-test/src/Bug613.hs b/html-test/src/Bug613.hs
new file mode 100644
index 00000000..effef695
--- /dev/null
+++ b/html-test/src/Bug613.hs
@@ -0,0 +1,16 @@
+module Bug613 where
+
+import Prelude (Either(Left, Right))
+
+class Functor f where
+ fmap :: (a -> b) -> f a -> f b
+
+instance Functor (Either a) where
+ fmap _ (Left x) = Left x
+ fmap f (Right y) = Right (f y)
+
+-- | Phantom type a0 is added to block the first renaming from a to a0. This ensures that the renamer doesn't create a new conflict
+data ThreeVars a0 a b = ThreeVars a b
+
+instance Functor (ThreeVars a0 a) where
+ fmap f (ThreeVars a b) = ThreeVars a (f b)
diff --git a/html-test/src/Bug647.hs b/html-test/src/Bug647.hs
new file mode 100644
index 00000000..4143092a
--- /dev/null
+++ b/html-test/src/Bug647.hs
@@ -0,0 +1,6 @@
+module Bug647 where
+
+class Bug647 a where
+ f :: a -- ^ doc for arg1
+ -> a -- ^ doc for arg2
+ -> a -- ^ doc for arg3 \ No newline at end of file
diff --git a/html-test/src/BundledPatterns.hs b/html-test/src/BundledPatterns.hs
new file mode 100644
index 00000000..443e64fa
--- /dev/null
+++ b/html-test/src/BundledPatterns.hs
@@ -0,0 +1,110 @@
+{-# LANGUAGE DataKinds, GADTs, KindSignatures, PatternSynonyms, TypeOperators,
+ ViewPatterns #-}
+module BundledPatterns (Vec(Nil,(:>)), RTree (LR,BR)) where
+
+import GHC.TypeLits
+import Prelude hiding (head, tail)
+import Unsafe.Coerce
+
+-- | Fixed size vectors.
+--
+-- * Lists with their length encoded in their type
+-- * 'Vec'tor elements have an __ASCENDING__ subscript starting from 0 and
+-- ending at @'length' - 1@.
+data Vec :: Nat -> * -> * where
+ Nil :: Vec 0 a
+ Cons :: a -> Vec n a -> Vec (n + 1) a
+
+infixr 5 `Cons`
+
+-- | Add an element to the head of a vector.
+--
+-- >>> 3:>4:>5:>Nil
+-- <3,4,5>
+-- >>> let x = 3:>4:>5:>Nil
+-- >>> :t x
+-- x :: Num a => Vec 3 a
+--
+-- Can be used as a pattern:
+--
+-- >>> let f (x :> y :> _) = x + y
+-- >>> :t f
+-- f :: Num a => Vec ((n + 1) + 1) a -> a
+-- >>> f (3:>4:>5:>6:>7:>Nil)
+-- 7
+--
+-- Also in conjunctions with (':<'):
+--
+-- >>> let g (a :> b :> (_ :< y :< x)) = a + b + x + y
+-- >>> :t g
+-- g :: Num a => Vec ((((n + 1) + 1) + 1) + 1) a -> a
+-- >>> g (1:>2:>3:>4:>5:>Nil)
+-- 12
+pattern (:>) :: a -> Vec n a -> Vec (n + 1) a
+pattern (:>) x xs <- ((\ys -> (head ys,tail ys)) -> (x,xs))
+ where
+ (:>) x xs = Cons x xs
+
+infixr 5 :>
+
+head :: Vec (n + 1) a -> a
+head (x `Cons` _) = x
+
+tail :: Vec (n + 1) a -> Vec n a
+tail (_ `Cons` xs) = unsafeCoerce xs
+
+-- | Perfect depth binary tree.
+--
+-- * Only has elements at the leaf of the tree
+-- * A tree of depth /d/ has /2^d/ elements.
+data RTree :: Nat -> * -> * where
+ LR_ :: a -> RTree 0 a
+ BR_ :: RTree d a -> RTree d a -> RTree (d+1) a
+
+textract :: RTree 0 a -> a
+textract (LR_ x) = x
+{-# NOINLINE textract #-}
+
+tsplit :: RTree (d+1) a -> (RTree d a,RTree d a)
+tsplit (BR_ l r) = (unsafeCoerce l, unsafeCoerce r)
+{-# NOINLINE tsplit #-}
+
+-- | Leaf of a perfect depth tree
+--
+-- >>> LR 1
+-- 1
+-- >>> let x = LR 1
+-- >>> :t x
+-- x :: Num a => RTree 0 a
+--
+-- Can be used as a pattern:
+--
+-- >>> let f (LR a) (LR b) = a + b
+-- >>> :t f
+-- f :: Num a => RTree 0 a -> RTree 0 a -> a
+-- >>> f (LR 1) (LR 2)
+-- 3
+pattern LR :: a -> RTree 0 a
+pattern LR x <- (textract -> x)
+ where
+ LR x = LR_ x
+
+-- | Branch of a perfect depth tree
+--
+-- >>> BR (LR 1) (LR 2)
+-- <1,2>
+-- >>> let x = BR (LR 1) (LR 2)
+-- >>> :t x
+-- x :: Num a => RTree 1 a
+--
+-- Case be used a pattern:
+--
+-- >>> let f (BR (LR a) (LR b)) = LR (a + b)
+-- >>> :t f
+-- f :: Num a => RTree 1 a -> RTree 0 a
+-- >>> f (BR (LR 1) (LR 2))
+-- 3
+pattern BR :: RTree d a -> RTree d a -> RTree (d+1) a
+pattern BR l r <- ((\t -> (tsplit t)) -> (l,r))
+ where
+ BR l r = BR_ l r
diff --git a/html-test/src/BundledPatterns2.hs b/html-test/src/BundledPatterns2.hs
new file mode 100644
index 00000000..5e9a83a7
--- /dev/null
+++ b/html-test/src/BundledPatterns2.hs
@@ -0,0 +1,10 @@
+{-# LANGUAGE DataKinds, GADTs, KindSignatures, PatternSynonyms, TypeOperators,
+ ViewPatterns #-}
+module BundledPatterns2 (Vec((:>), Empty), RTree(..)) where
+
+import GHC.TypeLits
+
+import BundledPatterns
+
+pattern Empty :: Vec 0 a
+pattern Empty <- Nil
diff --git a/html-test/src/ConstructorPatternExport.hs b/html-test/src/ConstructorPatternExport.hs
new file mode 100644
index 00000000..7897b4bc
--- /dev/null
+++ b/html-test/src/ConstructorPatternExport.hs
@@ -0,0 +1,26 @@
+{-# LANGUAGE PatternSynonyms #-}
+{-# LANGUAGE ExistentialQuantification #-}
+{-# LANGUAGE GADTs #-}
+{-# LANGUAGE KindSignatures #-}
+
+module ConstructorPatternExport (
+ pattern FooCons
+ , pattern MyRecCons
+ , pattern (:+)
+ , pattern BlubCons
+ , pattern MyGADTCons
+ ) where
+
+data Foo a = FooCons String a
+
+data MyRec = MyRecCons { one :: Bool, two :: Int }
+
+data MyInfix a = String :+ a
+
+data Blub = forall b. Show b => BlubCons b
+
+data MyGADT :: * -> * where
+ MyGADTCons :: forall a. Eq a => a -> Int -> MyGADT (Maybe String)
+
+pattern MyGADTCons' :: () => forall a. Eq a => a -> Int -> MyGADT (Maybe String)
+pattern MyGADTCons' x y = MyGADTCons x y \ No newline at end of file
diff --git a/html-test/src/DuplicateRecordFields.hs b/html-test/src/DuplicateRecordFields.hs
new file mode 100644
index 00000000..2cf9ff43
--- /dev/null
+++ b/html-test/src/DuplicateRecordFields.hs
@@ -0,0 +1,25 @@
+{-# LANGUAGE DuplicateRecordFields #-}
+module DuplicateRecordFields (RawReplay(..)) where
+
+import Prelude hiding (Int)
+
+data Int = Int
+
+data RawReplay = RawReplay
+ { headerSize :: Int
+ -- ^ The byte size of the first section.
+ , headerCRC :: Int
+ -- ^ The CRC of the first section.
+ , header :: Int
+ -- ^ The first section.
+ , contentSize :: Int
+ -- ^ The byte size of the second section.
+ , contentCRC :: Int
+ -- ^ The CRC of the second section.
+ , content :: Int
+ -- ^ The second section.
+ , footer :: Int
+ -- ^ Arbitrary data after the second section. In replays generated by
+ -- Rocket League, this is always empty. However it is not technically
+ -- invalid to put something here.
+ } \ No newline at end of file
diff --git a/html-test/src/PR643.hs b/html-test/src/PR643.hs
new file mode 100644
index 00000000..565e5b57
--- /dev/null
+++ b/html-test/src/PR643.hs
@@ -0,0 +1,3 @@
+module PR643 (test) where
+
+import PR643_1
diff --git a/html-test/src/PR643_1.hs b/html-test/src/PR643_1.hs
new file mode 100644
index 00000000..ecd0db94
--- /dev/null
+++ b/html-test/src/PR643_1.hs
@@ -0,0 +1,7 @@
+module PR643_1 where
+
+infixr 5 `test`
+
+-- | Some big documentation
+test :: ()
+test = ()
diff --git a/html-test/src/PatternSyns.hs b/html-test/src/PatternSyns.hs
index 8af5eb23..bf0f7848 100644
--- a/html-test/src/PatternSyns.hs
+++ b/html-test/src/PatternSyns.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE PatternSynonyms, PolyKinds, TypeOperators #-}
+{-# LANGUAGE ExistentialQuantification, PatternSynonyms, PolyKinds, TypeOperators #-}
-- | Testing some pattern synonyms
module PatternSyns where
@@ -15,8 +15,19 @@ pattern Bar x = FooCtor (Foo x)
-- | Pattern synonym for (':<->')
pattern x :<-> y = (Foo x, Bar y)
+-- | BlubType is existentially quantified
+data BlubType = forall x. Show x => BlubCtor x
+
+-- | Pattern synonym for 'Blub' x
+pattern Blub x = BlubCtor x
+
-- | Doc for ('><')
data (a :: *) >< b = Empty
-- | Pattern for 'Empty'
pattern E = Empty
+
+-- | Earlier ghc versions didn't allow explicit signatures
+-- on pattern synonyms.
+pattern PatWithExplicitSig :: Eq somex => somex -> FooType somex
+pattern PatWithExplicitSig x = FooCtor x
diff --git a/html-test/src/SpuriousSuperclassConstraints.hs b/html-test/src/SpuriousSuperclassConstraints.hs
index d9e43e1c..3e230945 100644
--- a/html-test/src/SpuriousSuperclassConstraints.hs
+++ b/html-test/src/SpuriousSuperclassConstraints.hs
@@ -7,7 +7,7 @@
--
-- <http://www.haskell.org/pipermail/haskell-cafe/2012-September/103600.html>
--
--- And here is the corresponding theard on glasgow-haskell-users:
+-- And here is the corresponding thread on glasgow-haskell-users:
--
-- <http://www.haskell.org/pipermail/glasgow-haskell-users/2012-September/022914.html>
--