Simplify syntax for quasi-quotation

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

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index d6a520a..513b26f 100644 (file)
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -120,8 +120,9 @@
                 <indexterm><primary><option>-ddump-rules</option></primary></indexterm>
              </term>
              <listitem>
-               <para>dumps all rewrite rules (including those generated
-             by the specialisation pass)</para>
+               <para>dumps all rewrite rules specified in this module; 
+                      see <xref linkend="controlling-rules"/>.
+                </para>
              </listitem>
            </varlistentry>
 
@@ -437,6 +438,17 @@
 
       <varlistentry>
        <term>
+          <option>-dsuppress-coercions</option>
+          <indexterm><primary><option>-dsuppress-coercions</option></primary></indexterm>
+        </term>
+       <listitem>
+          <para>Suppress the printing of coercions in Core dumps to make them
+shorter.</para>
+       </listitem>
+      </varlistentry>
+
+      <varlistentry>
+       <term>
           <option>-dppr-user-length</option>
           <indexterm><primary><option>-dppr-user-length</option></primary></indexterm>
         </term>