Commit d9124067 authored by rl@cse.unsw.edu.au's avatar rl@cse.unsw.edu.au

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

parent 9c84f11b
......@@ -126,6 +126,28 @@
</listitem>
</varlistentry>
<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>:
......
......@@ -2325,6 +2325,18 @@ phase <replaceable>n</replaceable></entry>
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-rule-firings</option></entry>
<entry>Dump rule firing info</entry>
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-rule-rewrites</option></entry>
<entry>Dump detailed rule firing info</entry>
<entry>dynamic</entry>
<entry>-</entry>
</row>
<row>
<entry><option>-ddump-rules</option></entry>
<entry>Dump rules</entry>
......
......@@ -8242,7 +8242,7 @@ Here is an example:
<para>
Use the debug flag <option>-ddump-simpl-stats</option> to see what rules fired.
If you need more information, then <option>-ddump-rule-firings</option> shows you
each individual rule firing in detail.
each individual rule firing and <option>-ddump-rule-rewrites</option> also shows what the code looks like before and after the rewrite.
</para>
<sect2>
......@@ -8827,7 +8827,8 @@ If you add <option>-dppr-debug</option> you get a more detailed listing.
<listitem>
<para>
Use <option>-ddump-rule-firings</option> to see in great detail what rules are being fired.
Use <option>-ddump-rule-firings</option> or <option>-ddump-rule-rewrites</option>
to see in great detail what rules are being fired.
If you add <option>-dppr-debug</option> you get a still more detailed listing.
</para>
</listitem>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment