aboutsummaryrefslogtreecommitdiff
path: root/html-test/src
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2020-03-28 14:12:48 -0400
committerAlec Theriault <alec.theriault@gmail.com>2020-03-28 14:26:27 -0400
commit5dc3866928759fcaf6b31d1598051781389a01d4 (patch)
tree4c7745419ef14f384a2688d96f960721f48652f1 /html-test/src
parentd8bedeb98a84db0d51c49d41c632d9d4846d1bbe (diff)
Disallow links in section headers
This is quite straightforward to implement, since we already had a function `docToHtmlNoAnchors` (which we used to generate the link in the sidebar "Contents"). This breaks test `Bug387`, but that test case has aged badly: we now automatically generate anchors for all headings, so manually adding an anchor in a section makes no sense. Nested anchors are, as pointed out in #1054, disallowed by the HTML standard. Fixes #1054
Diffstat (limited to 'html-test/src')
-rw-r--r--html-test/src/Bug1054.hs5
-rw-r--r--html-test/src/Bug387.hs12
2 files changed, 5 insertions, 12 deletions
diff --git a/html-test/src/Bug1054.hs b/html-test/src/Bug1054.hs
new file mode 100644
index 00000000..c699f1fb
--- /dev/null
+++ b/html-test/src/Bug1054.hs
@@ -0,0 +1,5 @@
+module Bug1054 where
+
+-- * Header with 'foo' link
+
+foo = ()
diff --git a/html-test/src/Bug387.hs b/html-test/src/Bug387.hs
deleted file mode 100644
index d9fed34e..00000000
--- a/html-test/src/Bug387.hs
+++ /dev/null
@@ -1,12 +0,0 @@
-module Bug387
- ( -- * Section1#a:section1#
- test1
- -- * Section2#a:section2#
- , test2
- ) where
-
-test1 :: Int
-test1 = 223
-
-test2 :: Int
-test2 = 42