diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/debugging.xml | 22 | ||||
| -rw-r--r-- | docs/users_guide/flags.xml | 12 | ||||
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 5 |
3 files changed, 37 insertions, 2 deletions
diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index ee192b624d..358be10235 100644 --- 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> diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index f522aaed29..b6ace8d23a 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -2326,6 +2326,18 @@ phase <replaceable>n</replaceable></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> <entry>dynamic</entry> diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index 172d6ff351..a29e7478c8 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -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> |