From: Roman Leshchinskiy <rl@cse.unsw.edu.au>
Date: Thu, 13 Dec 2007 04:08:22 +0000 (+0000)
Subject: Document -ddump-simpl-phases
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=368f9fc139a24b771b5b3282753544fb087f6b55;p=ghc-hetmet.git

Document -ddump-simpl-phases
---

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 0f1fd18..638ab7a 100644
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -280,14 +280,25 @@
       
       <varlistentry>
 	<term>
+          <option>-ddump-simpl-phases</option>:
+          <indexterm><primary><option>-ddump-simpl-phases</option></primary></indexterm>
+        </term>
+	<listitem>
+	  <para>Show the output of each run of the simplifier.  Used when even
+        <option>-dverbose-simpl</option> doesn't cut it.</para>
+	</listitem>
+      </varlistentry>
+
+      <varlistentry>
+	<term>
           <option>-ddump-simpl-iterations</option>:
           <indexterm><primary><option>-ddump-simpl-iterations</option></primary></indexterm>
         </term>
 	<listitem>
 	  <para>Show the output of each <emphasis>iteration</emphasis>
         of the simplifier (each run of the simplifier has a maximum
-        number of iterations, normally 4).  Used when even
-        <option>-dverbose-simpl</option> doesn't cut it.</para>
+        number of iterations, normally 4).  This outputs even more information
+        than <option>-ddump-simpl-phases</option>.</para>
 	</listitem>
       </varlistentry>
 
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index b191a6c..abcca5d 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -2082,6 +2082,12 @@
 	      <entry>-</entry>
 	    </row>
 	    <row>
+	      <entry><option>-ddump-simpl-phases</option></entry>
+	      <entry>Dump output from each simplifier phase</entry>
+	      <entry>dynamic</entry>
+	      <entry>-</entry>
+	    </row>
+	    <row>
 	      <entry><option>-ddump-simpl-iterations</option></entry>
 	      <entry>Dump output from each simplifier iteration</entry>
 	      <entry>dynamic</entry>