Document -ddump-rule-firings and -ddump-rule-rewrites

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

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index ee192b6..358be10 100644 (file)
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -128,6 +128,28 @@
 
            <varlistentry>
              <term>
+               <option>-ddump-rule-firings</option>:
+                <indexterm><primary><option>-ddump-rule-firings</option></primary></indexterm>
+             </term>
+             <listitem>
+               <para>dumps the names of all rules that fired in this module</para>
+             </listitem>
+           </varlistentry>
+
+           <varlistentry>
+             <term>
+               <option>-ddump-rule-rewrites</option>:
+                <indexterm><primary><option>-ddump-rule-rewrites</option></primary></indexterm>
+             </term>
+             <listitem>
+               <para>dumps detailed information about all rules that fired in
+                     this module
+               </para>
+             </listitem>
+           </varlistentry>
+
+           <varlistentry>
+             <term>
                <option>-ddump-simpl</option>:
                 <indexterm><primary><option>-ddump-simpl</option></primary></indexterm>
              </term>