<indexterm><primary><option>-ddump-rules</option></primary></indexterm>
</term>
<listitem>
- <para>dumps all rewrite rules (including those generated
- by the specialisation pass)</para>
+ <para>dumps all rewrite rules specified in this module;
+ see <xref linkend="controlling-rules"/>.
+ </para>
</listitem>
</varlistentry>
</term>
<listitem>
<para>Show the output of each run of the simplifier. Used when even
- <option>-dverbose-simpl</option> doesn't cut it.</para>
+ <option>-dverbose-core2core</option> doesn't cut it.</para>
</listitem>
</varlistentry>
of output!) So: when we're really desperate:</para>
<screen>
-% ghc -noC -O -ddump-simpl -dverbose-simpl -dcore-lint Foo.hs
+% ghc -noC -O -ddump-simpl -dverbose-core2core -dcore-lint Foo.hs
</screen>
</listitem>
<varlistentry>
<term>
+ <option>-dsuppress-uniques</option>
+ <indexterm><primary><option>-dsuppress-uniques</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>Suppress the printing of uniques in debugging output. This may make
+ the printout ambiguous (e.g. unclear where an occurrence of 'x' is bound), but
+ it makes the output of two compiler runs have many fewer gratuitous differences,
+ so you can realistically apply <command>diff</command>. Once <command>diff</command>
+ has shown you where to look, you can try again without <option>-dsuppress-uniques</option></para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
+ <option>-dsuppress-coercions</option>
+ <indexterm><primary><option>-dsuppress-coercions</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para>Suppress the printing of coercions in Core dumps to make them
+shorter.</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
<option>-dppr-user-length</option>
<indexterm><primary><option>-dppr-user-length</option></primary></indexterm>
</term>