Improve -flate-dmd-anal documentation
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 10 Sep 2013 10:38:31 +0000 (11:38 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 10 Sep 2013 10:47:48 +0000 (11:47 +0100)
docs/users_guide/using.xml

index b9cbe3e..1a03f2c 100644 (file)
@@ -2134,7 +2134,11 @@ f "2"    = 2
           </term>
           <listitem>
             <para><emphasis>Off by default.</emphasis>Run demand analysis
-            again, at the end of the simplification pipeline
+            again, at the end of the simplification pipeline.  We found some opportunities
+            for discovering strictness that were not visible earlier; and optimisations like
+            <literal>SpecConstr</literal> can create functions with unused arguments which
+            are eliminated by late demand analysis.  Improvements are modest, but so is the
+            cost.  See notes on the <ulink href="http://ghc.haskell.org/trac/ghc/wiki/LateDmd">Trac wiki page</ulink>.
             </para>
             </listitem>
         </varlistentry>