diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/debugging.xml | 10 | ||||
| -rw-r--r-- | docs/users_guide/flags.xml | 6 |
2 files changed, 16 insertions, 0 deletions
diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index 003d2b5cd4..513034599a 100644 --- a/docs/users_guide/debugging.xml +++ b/docs/users_guide/debugging.xml @@ -202,6 +202,16 @@ <varlistentry> <term> + <option>-ddump-strsigs</option>: + <indexterm><primary><option>-ddump-strsigs</option></primary></indexterm> + </term> + <listitem> + <para>strictness signatures</para> + </listitem> + </varlistentry> + + <varlistentry> + <term> <option>-ddump-cse</option>: <indexterm><primary><option>-ddump-cse</option></primary></indexterm> </term> diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 72ef91ed82..2422b9d36d 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -2817,6 +2817,12 @@ <entry>-</entry> </row> <row> + <entry><option>-ddump-strsigs</option></entry> + <entry>Dump strictness signatures</entry> + <entry>dynamic</entry> + <entry>-</entry> + </row> + <row> <entry><option>-ddump-tc</option></entry> <entry>Dump typechecker output</entry> <entry>dynamic</entry> |