diff options
author | Ian Lynagh <igloo@earth.li> | 2006-10-03 15:41:47 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2006-10-03 15:41:47 +0000 |
commit | f83e51a5ff9689ddba608b92b325224f2e32ff82 (patch) | |
tree | 1198f936f7259b0d2fc54b82dbb80b23614328ac /docs | |
parent | b24311d669a707bd1d30660c640659ef6d90578c (diff) | |
download | haskell-f83e51a5ff9689ddba608b92b325224f2e32ff82.tar.gz |
Document -dfaststring-stats
Diffstat (limited to 'docs')
-rw-r--r-- | docs/users_guide/debugging.xml | 11 | ||||
-rw-r--r-- | docs/users_guide/flags.xml | 6 |
2 files changed, 17 insertions, 0 deletions
diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index 6bda65010c..b4456279fc 100644 --- a/docs/users_guide/debugging.xml +++ b/docs/users_guide/debugging.xml @@ -308,6 +308,17 @@ <varlistentry> <term> + <option>-dfaststring-stats</option> + <indexterm><primary><option>-dfaststring-stats</option></primary></indexterm> + </term> + <listitem> + <para>Show statistics for the usage of fast strings by the + compiler</para> + </listitem> + </varlistentry> + + <varlistentry> + <term> <option>-dppr-debug</option> <indexterm><primary><option>-dppr-debug</option></primary></indexterm> </term> diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 1fd054c332..6a18ca57e5 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1753,6 +1753,12 @@ <entry>-</entry> </row> <row> + <entry><option>-dfaststring-stats</option></entry> + <entry>Show statistics for fast string usage when finished</entry> + <entry>dynamic</entry> + <entry>-</entry> + </row> + <row> <entry><option>-unreg</option></entry> <entry>Enable unregisterised compilation</entry> <entry>static</entry> |