New statistics flags -ddump-core-stats

[ghc-hetmet.git] / docs / users_guide / debugging.xml

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 4db79af..6fc1413 100644 (file)
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -437,6 +437,17 @@
 
       <varlistentry>
        <term>
+          <option>-ddump-core-stats</option>
+          <indexterm><primary><option>-ddump-core-stats</option></primary></indexterm>
+        </term>
+       <listitem>
+         <para>Print a one-line summary of the size of the Core program
+                     at the end of the optimisation pipeline.</para>
+       </listitem>
+      </varlistentry>
+
+      <varlistentry>
+       <term>
           <option>-dfaststring-stats</option>
           <indexterm><primary><option>-dfaststring-stats</option></primary></indexterm>
         </term>