Buy-in for technical proposal 47 which affect GHC devs

Adam Sandberg Eriksson adam at
Wed Mar 22 10:03:25 UTC 2023

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.


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 at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list