Style or bug in user manual?

Harendra Kumar harendra.kumar at
Mon Aug 22 14:17:14 UTC 2016

I was working to fix some documentation and noticed that the user manual
lists options like this:


Notice that there is no space between the argument and the option. Should
this be fixed? All options on this page seem to be similarly formatted
which makes me wonder whether its by design?

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

More information about the ghc-devs mailing list