I believe that static linking will produce a faster program, at least in some situations. If so it would be good to mention this in section 8.2 of the user's guide, Faster: producing a program that runs quicker,

I couldn't find documentation for the -dynamic-too option of GHC. If it isn't there it would be good to document. I looked in the index, and sections 6.11.5. Options affecting code generation, and 6.11.6. Options affecting linking.

Is there a pdf version of the GHC 8.0.1 User's Guide? It' much easier to search in the pdf version. 8.0.1 rc1 just has an html version but perhaps there is a pdf version available on the web somewhere. I assume the final version of 8.0.1 will have a pdf version.

Thanks

George