I don't see the problem on this page[1]. In any case this would be an issue with the builder that turns the doctree into HTML, PDF or whatever. [1]: https://gh

I don't see the problem on this page[1]. In any case this would be an issue with the builder that turns the doctree into HTML, PDF or whatever. [1]: https://ghc.readthedocs.io/en/latest/8.0.1-notes.html#hsc2hs https://ghc.readthedocs.io/en/latest/8.0.1-notes.html#hsc2hs