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
> 
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to