From 5a191118ff18591cdf19b8820c14d367e0dddf1b Mon Sep 17 00:00:00 2001
From: Tom Smeding <tomsmeding@users.noreply.github.com>
Date: Tue, 1 Nov 2022 22:33:23 +0100
Subject: [PATCH] Remove outdated footnote about module re-exports
The footnote is invalid with GHC 9.2.4 (and possibly earlier): the described behaviour in the main text works fine.
---
doc/markup.rst | 9 +--------
1 file changed, 1 insertion(+), 8 deletions(-)
diff --git a/doc/markup.rst b/doc/markup.rst
index bae615cbb9..c584ccf232 100644
--- a/doc/markup.rst
+++ b/doc/markup.rst
@@ -591,14 +591,7 @@ However, if the modules are not *completely* re-exported, for example:
import C (a, b)
then Haddock behaves as if the set of entities re-exported from ``B``
-and ``C`` had been listed explicitly in the export list [#notImplemented]_.
-
-.. Comment: was this ever implemented? Perhaps this part of the docs
- should just be removed until it is implemented?
-
-.. [#notImplemented] This is not implemented at the time of writing
- (Haddock version 2.17.3 with GHC 8.0.2). At the moment, Haddock
- always inserts a module cross-reference.
+and ``C`` had been listed explicitly in the export list.
The exception to this rule is when the re-exported module is declared
with the ``hide`` attribute (see :ref:`module-attrs`), in which
--
GitLab