aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNuno Alexandre <nuno@channable.com>2018-04-21 17:07:06 +0200
committerAlec Theriault <alec.theriault@gmail.com>2018-10-18 08:14:32 -0700
commit3b9f729f30ec9bc2f4afd45f1d8ffeaaffc394cd (patch)
tree21ab1831b0c102daaba9ec07c348cdbe77e299db
parent365c77dfc39a28e4b5fd7eaeb802edcc9df196f4 (diff)
Update test-suite reference html pages
-rw-r--r--html-test/ref/A.html6
-rw-r--r--html-test/ref/B.html6
-rw-r--r--html-test/ref/Bold.html6
-rw-r--r--html-test/ref/Bug1.html6
-rw-r--r--html-test/ref/Bug195.html6
-rw-r--r--html-test/ref/Bug2.html6
-rw-r--r--html-test/ref/Bug201.html6
-rw-r--r--html-test/ref/Bug253.html6
-rw-r--r--html-test/ref/Bug26.html6
-rw-r--r--html-test/ref/Bug280.html6
-rw-r--r--html-test/ref/Bug294.html6
-rw-r--r--html-test/ref/Bug298.html6
-rw-r--r--html-test/ref/Bug3.html6
-rw-r--r--html-test/ref/Bug308.html6
-rw-r--r--html-test/ref/Bug308CrossModule.html6
-rw-r--r--html-test/ref/Bug310.html4
-rw-r--r--html-test/ref/Bug313.html6
-rw-r--r--html-test/ref/Bug335.html6
-rw-r--r--html-test/ref/Bug387.html6
-rw-r--r--html-test/ref/Bug4.html6
-rw-r--r--html-test/ref/Bug458.html6
-rw-r--r--html-test/ref/Bug546.html6
-rw-r--r--html-test/ref/Bug548.html4
-rw-r--r--html-test/ref/Bug6.html6
-rw-r--r--html-test/ref/Bug613.html6
-rw-r--r--html-test/ref/Bug647.html6
-rw-r--r--html-test/ref/Bug679.html6
-rw-r--r--html-test/ref/Bug7.html6
-rw-r--r--html-test/ref/Bug8.html6
-rw-r--r--html-test/ref/Bug85.html6
-rw-r--r--html-test/ref/BugDeprecated.html6
-rw-r--r--html-test/ref/BugExportHeadings.html6
-rw-r--r--html-test/ref/Bugs.html6
-rw-r--r--html-test/ref/BundledPatterns.html6
-rw-r--r--html-test/ref/BundledPatterns2.html6
-rw-r--r--html-test/ref/ConstructorPatternExport.html6
-rw-r--r--html-test/ref/CrossPackageDocs.html4
-rw-r--r--html-test/ref/DeprecatedClass.html6
-rw-r--r--html-test/ref/DeprecatedData.html6
-rw-r--r--html-test/ref/DeprecatedFunction.html6
-rw-r--r--html-test/ref/DeprecatedFunction2.html6
-rw-r--r--html-test/ref/DeprecatedFunction3.html6
-rw-r--r--html-test/ref/DeprecatedModule.html6
-rw-r--r--html-test/ref/DeprecatedModule2.html6
-rw-r--r--html-test/ref/DeprecatedNewtype.html6
-rw-r--r--html-test/ref/DeprecatedReExport.html6
-rw-r--r--html-test/ref/DeprecatedRecord.html6
-rw-r--r--html-test/ref/DeprecatedTypeFamily.html6
-rw-r--r--html-test/ref/DeprecatedTypeSynonym.html6
-rw-r--r--html-test/ref/DuplicateRecordFields.html6
-rw-r--r--html-test/ref/Examples.html6
-rw-r--r--html-test/ref/Extensions.html6
-rw-r--r--html-test/ref/FunArgs.html4
-rw-r--r--html-test/ref/GADTRecords.html6
-rw-r--r--html-test/ref/Hash.html6
-rw-r--r--html-test/ref/HiddenInstances.html6
-rw-r--r--html-test/ref/HiddenInstancesB.html6
-rw-r--r--html-test/ref/Hyperlinks.html6
-rw-r--r--html-test/ref/IgnoreExports.html6
-rw-r--r--html-test/ref/ImplicitParams.html6
-rw-r--r--html-test/ref/Instances.html6
-rw-r--r--html-test/ref/Math.html6
-rw-r--r--html-test/ref/Minimal.html6
-rw-r--r--html-test/ref/ModuleWithWarning.html6
-rw-r--r--html-test/ref/NamedDoc.html6
-rw-r--r--html-test/ref/Nesting.html6
-rw-r--r--html-test/ref/NoLayout.html6
-rw-r--r--html-test/ref/NonGreedy.html6
-rw-r--r--html-test/ref/Operators.html6
-rw-r--r--html-test/ref/OrphanInstances.html6
-rw-r--r--html-test/ref/OrphanInstancesClass.html6
-rw-r--r--html-test/ref/OrphanInstancesType.html6
-rw-r--r--html-test/ref/PR643.html6
-rw-r--r--html-test/ref/PR643_1.html6
-rw-r--r--html-test/ref/PatternSyns.html6
-rw-r--r--html-test/ref/PromotedTypes.html6
-rw-r--r--html-test/ref/Properties.html6
-rw-r--r--html-test/ref/PruneWithWarning.html6
-rw-r--r--html-test/ref/QuasiExpr.html6
-rw-r--r--html-test/ref/QuasiQuote.html6
-rw-r--r--html-test/ref/SpuriousSuperclassConstraints.html6
-rw-r--r--html-test/ref/TH.html6
-rw-r--r--html-test/ref/TH2.html6
-rw-r--r--html-test/ref/Table.html22
-rw-r--r--html-test/ref/Test.html6
-rw-r--r--html-test/ref/Threaded.html6
-rw-r--r--html-test/ref/Threaded_TH.html6
-rw-r--r--html-test/ref/Ticket112.html6
-rw-r--r--html-test/ref/Ticket61.html6
-rw-r--r--html-test/ref/Ticket75.html6
-rw-r--r--html-test/ref/TitledPicture.html6
-rw-r--r--html-test/ref/TypeFamilies.html6
-rw-r--r--html-test/ref/TypeFamilies2.html6
-rw-r--r--html-test/ref/TypeOperators.html6
-rw-r--r--html-test/ref/Unicode.html6
-rw-r--r--html-test/ref/Visible.html6
96 files changed, 292 insertions, 292 deletions
diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index ee4dcbef..7fbe05c5 100644
--- a/html-test/ref/A.html
+++ b/html-test/ref/A.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -183,4 +183,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/B.html b/html-test/ref/B.html
index 251486da..4c1506a3 100644
--- a/html-test/ref/B.html
+++ b/html-test/ref/B.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -171,4 +171,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html
index 3125f0bc..5d11452e 100644
--- a/html-test/ref/Bold.html
+++ b/html-test/ref/Bold.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -95,4 +95,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html
index 1ae9a1d0..3d989dd5 100644
--- a/html-test/ref/Bug1.html
+++ b/html-test/ref/Bug1.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -98,4 +98,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html
index af192402..ee96e93f 100644
--- a/html-test/ref/Bug195.html
+++ b/html-test/ref/Bug195.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -179,4 +179,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html
index 7e9ef3a5..05818a68 100644
--- a/html-test/ref/Bug2.html
+++ b/html-test/ref/Bug2.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -59,4 +59,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html
index 2d27f27f..920d0e4a 100644
--- a/html-test/ref/Bug201.html
+++ b/html-test/ref/Bug201.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -100,4 +100,4 @@ because there's a space before closing @
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html
index 64ffda7d..ee50bc95 100644
--- a/html-test/ref/Bug253.html
+++ b/html-test/ref/Bug253.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -95,4 +95,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html
index c7de9837..97f69317 100644
--- a/html-test/ref/Bug26.html
+++ b/html-test/ref/Bug26.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -205,4 +205,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html
index a4a6088c..c671e911 100644
--- a/html-test/ref/Bug280.html
+++ b/html-test/ref/Bug280.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -75,4 +75,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html
index be7e4699..528696e6 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -361,4 +361,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html
index cda567e8..2ddf6603 100644
--- a/html-test/ref/Bug298.html
+++ b/html-test/ref/Bug298.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -137,4 +137,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html
index 1e9ab3ad..931f5cad 100644
--- a/html-test/ref/Bug3.html
+++ b/html-test/ref/Bug3.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -78,4 +78,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html
index 685440ef..cef834cd 100644
--- a/html-test/ref/Bug308.html
+++ b/html-test/ref/Bug308.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -109,4 +109,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html
index 0b3e555e..0af0b3ed 100644
--- a/html-test/ref/Bug308CrossModule.html
+++ b/html-test/ref/Bug308CrossModule.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -87,4 +87,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index b0967fb6..5dd94b34 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html
index 30844790..bbfc6416 100644
--- a/html-test/ref/Bug313.html
+++ b/html-test/ref/Bug313.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -130,4 +130,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html
index c394b5ad..6f5ba351 100644
--- a/html-test/ref/Bug335.html
+++ b/html-test/ref/Bug335.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -127,4 +127,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html
index cf64c242..ccdeb642 100644
--- a/html-test/ref/Bug387.html
+++ b/html-test/ref/Bug387.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -113,4 +113,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html
index 5b370eed..e42e384b 100644
--- a/html-test/ref/Bug4.html
+++ b/html-test/ref/Bug4.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -77,4 +77,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug458.html b/html-test/ref/Bug458.html
index 8151da61..ea43a8b4 100644
--- a/html-test/ref/Bug458.html
+++ b/html-test/ref/Bug458.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -79,4 +79,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug546.html b/html-test/ref/Bug546.html
index b3cb1105..a56cf672 100644
--- a/html-test/ref/Bug546.html
+++ b/html-test/ref/Bug546.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -272,4 +272,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html
index d63e5afe..8ccd244b 100644
--- a/html-test/ref/Bug548.html
+++ b/html-test/ref/Bug548.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html
index 47e4f6a1..2790a330 100644
--- a/html-test/ref/Bug6.html
+++ b/html-test/ref/Bug6.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -331,4 +331,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html
index 9718d731..c6876bd3 100644
--- a/html-test/ref/Bug613.html
+++ b/html-test/ref/Bug613.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -271,4 +271,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html
index 56af3429..0f30ff37 100644
--- a/html-test/ref/Bug647.html
+++ b/html-test/ref/Bug647.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -101,4 +101,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html
index d8725c80..d0d0a69d 100644
--- a/html-test/ref/Bug679.html
+++ b/html-test/ref/Bug679.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -195,4 +195,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index d8ec9dba..08a87751 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -202,4 +202,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html
index 67056ac1..65fcb923 100644
--- a/html-test/ref/Bug8.html
+++ b/html-test/ref/Bug8.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -145,4 +145,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html
index d595433d..c4217fa1 100644
--- a/html-test/ref/Bug85.html
+++ b/html-test/ref/Bug85.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -133,4 +133,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html
index 2c46d9f7..f7eda6c4 100644
--- a/html-test/ref/BugDeprecated.html
+++ b/html-test/ref/BugDeprecated.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -191,4 +191,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index d1ecc40d..4c2e822e 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -223,4 +223,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html
index 66589b8b..1e971c79 100644
--- a/html-test/ref/Bugs.html
+++ b/html-test/ref/Bugs.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -75,4 +75,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html
index 00933381..5a5630ca 100644
--- a/html-test/ref/BundledPatterns.html
+++ b/html-test/ref/BundledPatterns.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -455,4 +455,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html
index f5ca34d8..e589b4fe 100644
--- a/html-test/ref/BundledPatterns2.html
+++ b/html-test/ref/BundledPatterns2.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -453,4 +453,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html
index 0105fa14..f563331d 100644
--- a/html-test/ref/ConstructorPatternExport.html
+++ b/html-test/ref/ConstructorPatternExport.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -115,4 +115,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/CrossPackageDocs.html b/html-test/ref/CrossPackageDocs.html
index 04f443f0..5dd20c52 100644
--- a/html-test/ref/CrossPackageDocs.html
+++ b/html-test/ref/CrossPackageDocs.html
@@ -15,8 +15,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
></head
><body
><div id="package-header"
- ><div class="caption empty"
- >&nbsp;</div
+ ><span class="caption empty"
+ >&nbsp;</span
><ul class="links" id="page-menu"
><li
><a href=""
diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html
index ac21bbfb..e5c09dde 100644
--- a/html-test/ref/DeprecatedClass.html
+++ b/html-test/ref/DeprecatedClass.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -157,4 +157,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html
index 91935311..d53d3173 100644
--- a/html-test/ref/DeprecatedData.html
+++ b/html-test/ref/DeprecatedData.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -187,4 +187,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html
index fac1ea06..bba633a1 100644
--- a/html-test/ref/DeprecatedFunction.html
+++ b/html-test/ref/DeprecatedFunction.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -105,4 +105,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html
index ac97846f..c432491f 100644
--- a/html-test/ref/DeprecatedFunction2.html
+++ b/html-test/ref/DeprecatedFunction2.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -79,4 +79,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html
index 3d773c9b..ef36b67c 100644
--- a/html-test/ref/DeprecatedFunction3.html
+++ b/html-test/ref/DeprecatedFunction3.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -79,4 +79,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html
index 7d5601fd..b3aa8e63 100644
--- a/html-test/ref/DeprecatedModule.html
+++ b/html-test/ref/DeprecatedModule.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -75,4 +75,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html
index e5c941cd..a88974a6 100644
--- a/html-test/ref/DeprecatedModule2.html
+++ b/html-test/ref/DeprecatedModule2.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -69,4 +69,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html
index 04a57ab6..cf2558b8 100644
--- a/html-test/ref/DeprecatedNewtype.html
+++ b/html-test/ref/DeprecatedNewtype.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -153,4 +153,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index 2918b59e..9b6bc3f1 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -124,4 +124,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html
index 8f0bb9c6..9634b651 100644
--- a/html-test/ref/DeprecatedRecord.html
+++ b/html-test/ref/DeprecatedRecord.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -145,4 +145,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html
index bff1297b..37aee6ff 100644
--- a/html-test/ref/DeprecatedTypeFamily.html
+++ b/html-test/ref/DeprecatedTypeFamily.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -103,4 +103,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html
index 4a080c27..8b2839dc 100644
--- a/html-test/ref/DeprecatedTypeSynonym.html
+++ b/html-test/ref/DeprecatedTypeSynonym.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -111,4 +111,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html
index c8b0d9c8..7fc06af0 100644
--- a/html-test/ref/DuplicateRecordFields.html
+++ b/html-test/ref/DuplicateRecordFields.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -155,4 +155,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html
index a69f9235..d8dfa03d 100644
--- a/html-test/ref/Examples.html
+++ b/html-test/ref/Examples.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -170,4 +170,4 @@ bar
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html
index eef4b96f..f9946f3e 100644
--- a/html-test/ref/Extensions.html
+++ b/html-test/ref/Extensions.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -85,4 +85,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index b6aaa332..409664c5 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index 918ec32e..5fd2fa84 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -223,4 +223,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index d8c275fa..6c489505 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -430,4 +430,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index a640b2c5..3a03d2ba 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -313,4 +313,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index f67653c8..f6b4db1e 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -173,4 +173,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html
index bf4ca9bf..83728f43 100644
--- a/html-test/ref/Hyperlinks.html
+++ b/html-test/ref/Hyperlinks.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -83,4 +83,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html
index 65262cb0..eed12c00 100644
--- a/html-test/ref/IgnoreExports.html
+++ b/html-test/ref/IgnoreExports.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -97,4 +97,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html
index 807bf3b4..5b5df51f 100644
--- a/html-test/ref/ImplicitParams.html
+++ b/html-test/ref/ImplicitParams.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -111,4 +111,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index 30cac06f..e2f16a49 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -2139,4 +2139,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html
index 26feba6e..892d3e3d 100644
--- a/html-test/ref/Math.html
+++ b/html-test/ref/Math.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -97,4 +97,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html
index c425933f..a5e7aa28 100644
--- a/html-test/ref/Minimal.html
+++ b/html-test/ref/Minimal.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -339,4 +339,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html
index f6ccf578..480f04a4 100644
--- a/html-test/ref/ModuleWithWarning.html
+++ b/html-test/ref/ModuleWithWarning.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -75,4 +75,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html
index ed0cfa03..e0f7f967 100644
--- a/html-test/ref/NamedDoc.html
+++ b/html-test/ref/NamedDoc.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -61,4 +61,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html
index 29657127..b64bd49d 100644
--- a/html-test/ref/Nesting.html
+++ b/html-test/ref/Nesting.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -355,4 +355,4 @@ with more of the indented list content.</p
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html
index 1b84596e..b4ce29e2 100644
--- a/html-test/ref/NoLayout.html
+++ b/html-test/ref/NoLayout.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -81,4 +81,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html
index b4827db9..13fb91c7 100644
--- a/html-test/ref/NonGreedy.html
+++ b/html-test/ref/NonGreedy.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -77,4 +77,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index 9467343a..993c7361 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -527,4 +527,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html
index cbd499b5..d0d19e2f 100644
--- a/html-test/ref/OrphanInstances.html
+++ b/html-test/ref/OrphanInstances.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -105,4 +105,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html
index 8bcbee30..04193c50 100644
--- a/html-test/ref/OrphanInstancesClass.html
+++ b/html-test/ref/OrphanInstancesClass.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -125,4 +125,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html
index e7ea133b..67acfcd5 100644
--- a/html-test/ref/OrphanInstancesType.html
+++ b/html-test/ref/OrphanInstancesType.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -127,4 +127,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html
index 1e70859f..ecd39632 100644
--- a/html-test/ref/PR643.html
+++ b/html-test/ref/PR643.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -77,4 +77,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/PR643_1.html b/html-test/ref/PR643_1.html
index 98def13c..c85dddd1 100644
--- a/html-test/ref/PR643_1.html
+++ b/html-test/ref/PR643_1.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -77,4 +77,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index edc4842f..7812ff17 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -386,4 +386,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html
index f36bb227..4e15da63 100644
--- a/html-test/ref/PromotedTypes.html
+++ b/html-test/ref/PromotedTypes.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -201,4 +201,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html
index 62701755..f4709e43 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -87,4 +87,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html
index abfc1362..9b231a36 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -62,4 +62,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html
index e008ccd2..88f1b92c 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -337,4 +337,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html
index dc9c8cc5..15cb848a 100644
--- a/html-test/ref/QuasiQuote.html
+++ b/html-test/ref/QuasiQuote.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -59,4 +59,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index b06300b5..17c026d1 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -235,4 +235,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 47bdb45e..2c74cbb0 100644
--- a/html-test/ref/TH.html
+++ b/html-test/ref/TH.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -61,4 +61,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html
index a0c8dd4c..897f73b9 100644
--- a/html-test/ref/TH2.html
+++ b/html-test/ref/TH2.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -57,4 +57,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Table.html b/html-test/ref/Table.html
index 62e2a5d7..462f7ca5 100644
--- a/html-test/ref/Table.html
+++ b/html-test/ref/Table.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -177,16 +177,16 @@
><thead
><tr
><th
- > Header row, column 1
+ > Header row, column 1
(header rows optional) </th
><th
- > Header 2
+ > Header 2
</th
><th
- > Header 3
+ > Header 3
</th
><th
- > Header 4
+ > Header 4
</th
></tr
></thead
@@ -215,12 +215,12 @@
><td
> body row 3 </td
><td rowspan="2"
- > Cells may
- span rows.
+ > Cells may
+ span rows.
</td
><td colspan="2" rowspan="2"
- > \[
- f(n) = \sum_{i=1}
+ > \[
+ f(n) = \sum_{i=1}
\] </td
></tr
><tr
@@ -237,4 +237,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 38a70143..5cdee91e 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -2393,4 +2393,4 @@ is at the beginning of the line).</pre
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html
index 3aa18c08..347c725b 100644
--- a/html-test/ref/Threaded.html
+++ b/html-test/ref/Threaded.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -90,4 +90,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html
index fb9f1ba3..257b6b99 100644
--- a/html-test/ref/Threaded_TH.html
+++ b/html-test/ref/Threaded_TH.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -95,4 +95,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html
index e419b097..0c972de6 100644
--- a/html-test/ref/Ticket112.html
+++ b/html-test/ref/Ticket112.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -77,4 +77,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html
index fee6ea25..a16e30bf 100644
--- a/html-test/ref/Ticket61.html
+++ b/html-test/ref/Ticket61.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -75,4 +75,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html
index 45f876c1..f2e0ef7a 100644
--- a/html-test/ref/Ticket75.html
+++ b/html-test/ref/Ticket75.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -113,4 +113,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html
index 06aa2f52..8880e3c9 100644
--- a/html-test/ref/TitledPicture.html
+++ b/html-test/ref/TitledPicture.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -107,4 +107,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 58b0d41c..35f9e542 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -1933,4 +1933,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html
index ef591716..4c6fcc74 100644
--- a/html-test/ref/TypeFamilies2.html
+++ b/html-test/ref/TypeFamilies2.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -385,4 +385,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index 766e5e36..b467e372 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -185,4 +185,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html
index 34c5d917..b5082ffc 100644
--- a/html-test/ref/Unicode.html
+++ b/html-test/ref/Unicode.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -77,4 +77,4 @@
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html
index fa7f5116..97b64796 100644
--- a/html-test/ref/Visible.html
+++ b/html-test/ref/Visible.html
@@ -14,8 +14,8 @@
></head
><body
><div id="package-header"
- ><div class="caption empty"
- ></div
+ ><span class="caption empty"
+ ></span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -61,4 +61,4 @@
></div
></body
></html
-> \ No newline at end of file
+>