Implement try10Times in Makefile

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

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index d1e9e16..4336354 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>
 
@@ -285,7 +286,7 @@
         </term>
        <listitem>
          <para>Show the output of each run of the simplifier.  Used when even
-        <option>-dverbose-simpl</option> doesn't cut it.</para>
+        <option>-dverbose-core2core</option> doesn't cut it.</para>
        </listitem>
       </varlistentry>
 
@@ -374,7 +375,7 @@
         of output!) So: when we're really desperate:</para>
 
          <screen>
-% ghc -noC -O -ddump-simpl -dverbose-simpl -dcore-lint Foo.hs
+% ghc -noC -O -ddump-simpl -dverbose-core2core -dcore-lint Foo.hs
 </screen>
 
        </listitem>