backpack leaves cabal-docspec very confused

[ekmett]

as it says on the tin

[phadej]

That is somewhat expected, and I don't have any ideas nor plans to fix this myself.

[phadej]

One idea, which requires heavy development work, is to make ghci:s :browse and :doc amenable for machine consumption. Then cabal-docspec could :browse the modules (including re-exported ones) and find examples in :doc to test.

This is how Python's doctest works: by reflection, not by looking at the source files directly. (AFAIK).

To be clear, I won't work on the GHC part, that is my wish as tooling writer though.

[sjakobi]

One idea, which requires heavy development work, is to make ghci:s :browse and :doc amenable for machine consumption. Then cabal-docspec could :browse the modules (including re-exported ones) and find examples in :doc to test.

https://gitlab.haskell.org/ghc/ghc/-/issues/15461 seems somewhat related.