22 Mar
2023
22 Mar
'23
6:03 a.m.
I switched all the HADDOCK hide to not-home in base a couple of years ago, but I see a couple of new ones have snuck in in the meantime. I would suggest adding a lint against hiding in GHC CI. Adam On Wed, 22 Mar 2023, at 08:37, David Christiansen via ghc-devs wrote:
i mean exactly the hidden status which means you cant directly go to the highlighted source.
Isn't this more of a limitation in the tool that generates the highlighted source? It seems to me to be more reasonable to make that tool show hidden modules' source, rather than to change the API of packages to accommodate the tool.
David
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs