
<!DOCTYPE html><html><head><title></title><style type="text/css">p.MsoNormal,p.MsoNoSpacing{margin:0}</style></head><body><div>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.<br></div><div><br></div><div id="sig22230037"><div class="signature">Adam<br></div></div><div><br></div><div>On Wed, 22 Mar 2023, at 08:37, David Christiansen via ghc-devs wrote:<br></div><blockquote type="cite" id="qt" style=""><div dir="ltr"><div class="qt-gmail_quote"><blockquote class="qt-gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-color:rgb(204, 204, 204);border-left-style:solid;border-left-width:1px;padding-left:1ex;"><div dir="ltr">i mean exactly the hidden status which means you cant directly go to the highlighted source.<br></div></blockquote><div><br></div><div>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.<br></div><div><br></div><div>David<br></div><div> <br></div></div></div><div>_______________________________________________<br></div><div>ghc-devs mailing list<br></div><div><a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br></div><div><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br></div><div><br></div></blockquote><div><br></div></body></html>