Buy-in for technical proposal 47 which affect GHC devs

David Christiansen david at
Wed Mar 22 08:37:31 UTC 2023

> 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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list