aboutsummaryrefslogtreecommitdiff
path: root/hoogle-test/ref/Bug946
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 /hoogle-test/ref/Bug946
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 'hoogle-test/ref/Bug946')
0 files changed, 0 insertions, 0 deletions