<varlistentry>
<term>
+ <option>-ddump-tc</option>:
+ <indexterm><primary><option>-ddump-tc</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>typechecker output</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
+ <option>-ddump-splices</option>:
+ <indexterm><primary><option>-ddump-splices</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>Dump Template Haskell expressions that we splice in,
+ and what Haskell code the expression evaluates to.</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
<option>-ddump-types</option>:
<indexterm><primary><option>-ddump-types</option></primary></indexterm>
</term>
<varlistentry>
<term>
- <option>-ddump-usagesp</option>:
- <indexterm><primary><option>-ddump-usagesp</option></primary></indexterm>
- </term>
- <listitem>
- <para>UsageSP inference pre-inf and output</para>
- </listitem>
- </varlistentry>
-
- <varlistentry>
- <term>
<option>-ddump-cpranal</option>:
<indexterm><primary><option>-ddump-cpranal</option></primary></indexterm>
</term>
<varlistentry>
<term>
- <option>-ddump-sat</option>:
- <indexterm><primary><option>-ddump-sat</option></primary></indexterm>
+ <option>-ddump-prep</option>:
+ <indexterm><primary><option>-ddump-prep</option></primary></indexterm>
</term>
<listitem>
- <para>output of “saturate” pass</para>
+ <para>output of core preparation pass</para>
</listitem>
</varlistentry>
<varlistentry>
<term>
- <option>-ddump-absC</option>:
- <indexterm><primary><option>-ddump-absC</option></primary></indexterm>
- </term>
- <listitem>
- <para><emphasis>un</emphasis>flattened Abstract C</para>
- </listitem>
- </varlistentry>
-
- <varlistentry>
- <term>
<option>-ddump-flatC</option>:
<indexterm><primary><option>-ddump-flatC</option></primary></indexterm>
</term>
<varlistentry>
<term>
- <option>-ddump-realC</option>:
- <indexterm><primary><option>-ddump-realC</option></primary></indexterm>
+ <option>-ddump-cmm</option>:
+ <indexterm><primary><option>-ddump-cmm</option></primary></indexterm>
</term>
<listitem>
- <para>same as what goes to the C compiler</para>
+ <para>Print the C-- code out.</para>
</listitem>
</varlistentry>
<varlistentry>
<term>
- <option>-ddump-stix</option>:
- <indexterm><primary><option>-ddump-stix</option></primary></indexterm>
+ <option>-ddump-opt-cmm</option>:
+ <indexterm><primary><option>-ddump-opt-cmm</option></primary></indexterm>
</term>
<listitem>
- <para>native-code generator intermediate form</para>
+ <para>Dump the results of C-- to C-- optimising passes.</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>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
+ <option>-ddump-simpl-stats</option>
+ <indexterm><primary><option>-ddump-simpl-stats option</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>Dump statistics about how many of each kind of
+ transformation too place. If you add
+ <option>-dppr-debug</option> you get more detailed
+ information.</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
+ <option>-ddump-if-trace</option>
+ <indexterm><primary><option>-ddump-if-trace</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>Make the interface loader be *real* chatty about what it is
+ upto.</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
+ <option>-ddump-tc-trace</option>
+ <indexterm><primary><option>-ddump-tc-trace</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>Make the type checker be *real* chatty about what it is
+ upto.</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
+ <option>-ddump-rn-trace</option>
+ <indexterm><primary><option>-ddump-rn-trace</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>Make the renamer be *real* chatty about what it is
+ upto.</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
+ <option>-ddump-rn-stats</option>
+ <indexterm><primary><option>-dshow-rn-stats</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>Print out summary of what kind of information the renamer
+ had to bring in.</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
<option>-dverbose-core2core</option>
<indexterm><primary><option>-dverbose-core2core</option></primary></indexterm>
</term>
<varlistentry>
<term>
- <option>-ddump-simpl-iterations</option>:
- <indexterm><primary><option>-ddump-simpl-iterations</option></primary></indexterm>
+ <option>-dshow-passes</option>
+ <indexterm><primary><option>-dshow-passes</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>
+ <para>Print out each pass name as it happens.</para>
+ </listitem>
+ </varlistentry>
+
+ <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>
<para>In error messages, expressions are printed to a
certain “depth”, with subexpressions beyond the
depth replaced by ellipses. This flag sets the
- depth.</para>
- </listitem>
- </varlistentry>
-
- <varlistentry>
- <term>
- <option>-ddump-simpl-stats</option>
- <indexterm><primary><option>-ddump-simpl-stats option</option></primary></indexterm>
- </term>
- <listitem>
- <para>Dump statistics about how many of each kind of
- transformation too place. If you add
- <option>-dppr-debug</option> you get more detailed
- information.</para>
- </listitem>
- </varlistentry>
-
- <varlistentry>
- <term>
- <option>-ddump-rn-trace</option>
- <indexterm><primary><option>-ddump-rn-trace</option></primary></indexterm>
- </term>
- <listitem>
- <para>Make the renamer be *real* chatty about what it is
- upto.</para>
- </listitem>
- </varlistentry>
-
- <varlistentry>
- <term>
- <option>-ddump-rn-stats</option>
- <indexterm><primary><option>-dshow-rn-stats</option></primary></indexterm>
- </term>
- <listitem>
- <para>Print out summary of what kind of information the renamer
- had to bring in.</para>
+ depth. Its default value is 5.</para>
</listitem>
</varlistentry>
<varlistentry>
<term>
- <option>-dusagesp-lint</option>:
- <indexterm><primary><option>-dstg-lint</option></primary></indexterm>
+ <option>-dcmm-lint</option>:
+ <indexterm><primary><option>-dcmm-lint</option></primary></indexterm>
</term>
<listitem>
- <para>Turn on checks around UsageSP inference
- (<option>-fusagesp</option>). This verifies various simple
- properties of the results of the inference, and also warns
- if any identifier with a used-once annotation before the
- inference has a used-many annotation afterwards; this could
- indicate a non-worksafe transformation is being
- applied.</para>
+ <para>Ditto for C-- level.</para>
</listitem>
</varlistentry>
+
</variablelist>
</sect2>