Buy-in for technical proposal 47 which affect GHC devs

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.

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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20230322/881e4f65/attachment.html>