Re: Buy-in for technical proposal 47 which affect GHC devs

"Adam Sandberg Eriksson" writes:

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.

Sounds reasonable to me. Perhaps someone could open a ticket to track this?