<div dir="ltr"><div class="gmail_default" style="font-family:'times new roman',serif;font-size:large"><div class="gmail_default">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, <i>Faster: producing a program that runs quicker,  </i></div></div><div class="gmail_default" style="font-family:'times new roman',serif;font-size:large"><br></div><div class="gmail_default" style="font-family:'times new roman',serif;font-size:large">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. <i>Options affecting code generation, </i>and  6.11.6. <i>Options affecting linking.</i></div><div class="gmail_default" style="font-family:'times new roman',serif;font-size:large"><i><br></i></div><div class="gmail_default" style=""><font face="times new roman, serif" size="4">Is there a pdf version of the GHC 8.0.1 User's Guide? It' much easier to search in the pdf version. </font><span style="font-family:'times new roman',serif;font-size:large">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.</span></div><div class="gmail_default" style=""><span style="font-family:'times new roman',serif;font-size:large"><br></span></div><div class="gmail_default" style=""><span style="font-family:'times new roman',serif;font-size:large">Thanks</span></div><div class="gmail_default" style=""><span style="font-family:'times new roman',serif;font-size:large">George</span></div><div class="gmail_default" style="font-family:'times new roman',serif;font-size:large"><br></div><div><br></div></div>