The subsection about re-exporting an entire module described that in principle, importing only some of the definitions from B and then re-exporting module B should result in those definitions being listed individually in the haddocks for the main module. It did have a footnote, however, stating that this was currently unimplemented.
This footnote is outdated at this point, because the behaviour is implemented. Reproducer: running cabal haddock with this project results in the behaviour described in the main text.
The subsection about re-exporting an entire module described that in principle, importing only some of the definitions from
B
and then re-exportingmodule B
should result in those definitions being listed individually in the haddocks for the main module. It did have a footnote, however, stating that this was currently unimplemented.This footnote is outdated at this point, because the behaviour is implemented. Reproducer: running
cabal haddock
with this project results in the behaviour described in the main text.