in the inadvertent cyclic definition <literal>let x = ... x
... in</literal>.</para>
- <para>Consequently, this option does
+ <para>Consequently, this option
<emphasis>will</emphasis> complain about cyclic recursive
definitions.</para>
</listitem>
the MR can give rise to unexpected behaviour, so it can be helpful
to have an explicit warning that it is being applied.</para>
- <para>This warning is on by default.</para>
+ <para>This warning is off by default.</para>
</listitem>
</varlistentry>