<entry>-</entry>
</row>
<row>
- <entry><option>––print-docdir</option></entry>
- <entry>display GHC documentation directory</entry>
- <entry>mode</entry>
- <entry>-</entry>
- </row>
- <row>
<entry><option>-ferror-spans</option></entry>
<entry>output full span in error messages</entry>
<entry>static</entry>
<entry><option>-XMonoPatBinds</option></entry>
</row>
<row>
- <entry><option>-XRelaxedPolyRed</option></entry>
+ <entry><option>-XRelaxedPolyRec</option></entry>
<entry>Relaxed checking for <link linkend="typing-binds">mutually-recursive polymorphic functions</link></entry>
<entry>dynamic</entry>
<entry><option>-XNoRelaxedPolyRec</option></entry>
<entry><option>-XNoRankNTypes</option></entry>
</row>
<row>
+ <entry><option>-XImpredicativeTypes</option></entry>
+ <entry>Enable <link linkend="impredicative-polymorphism">impredicative types</link>.</entry>
+ <entry>dynamic</entry>
+ <entry><option>-XNoImpredicativeTypes</option></entry>
+ </row>
+ <row>
<entry><option>-XExistentialQuantification</option></entry>
<entry>Enable <link linkend="existential-quantification">existential quantification</link>.</entry>
<entry>dynamic</entry>
<entry><option>-XNoParallelListComp</option></entry>
</row>
<row>
+ <entry><option>-XTransformListComp</option></entry>
+ <entry>Enable <link linkend="generalised-list-comprehensions">transform list comprehensions</link>.</entry>
+ <entry>dynamic</entry>
+ <entry><option>-XNoTransformListComp</option></entry>
+ </row>
+ <row>
<entry><option>-XUnliftedFFITypes</option></entry>
<entry>Enable unlifted FFI types.</entry>
<entry>dynamic</entry>
</row>
<row>
+ <entry><option>-fspec-constr-threshold</option>=<replaceable>n</replaceable></entry>
+ <entry>Set the size threshold for the SpecConstr transformation to <replaceable>n</replaceable> (default: 200)</entry>
+ <entry>static</entry>
+ <entry><option>-fno-spec-constr-threshold</option></entry>
+ </row>
+
+ <row>
<entry><option>-fliberate-case</option></entry>
<entry>Turn on the liberate-case transformation. Implied by <option>-O2</option>.</entry>
<entry>dynamic</entry>
</row>
<row>
- <entry><option>-fspec-threshold</option>=<replaceable>n</replaceable></entry>
- <entry>Set the size threshold for function specialisation to <replaceable>n</replaceable>, for both
- the liberate-case and SpecConstr transformations (default: 200)</entry>
+ <entry><option>-fliberate-case-threshold</option>=<replaceable>n</replaceable></entry>
+ <entry>Set the size threshold for the liberate-case transformation to <replaceable>n</replaceable> (default: 200)</entry>
<entry>static</entry>
- <entry><option>-</option></entry>
+ <entry><option>-fno-liberate-case-threshold</option></entry>
</row>
<row>
</row>
<row>
- <entry><option>-funfolding-update-in-place</option></entry>
- <entry>Tweak unfolding settings</entry>
- <entry>static</entry>
- <entry><option>-fno-unfolding-update-in-place</option></entry>
- </row>
-
- <row>
<entry><option>-funfolding-use-threshold</option></entry>
<entry>Tweak unfolding settings</entry>
<entry>static</entry>
<entry>-</entry>
</row>
<row>
+ <entry><option>-ddump-simpl-phases</option></entry>
+ <entry>Dump output from each simplifier phase</entry>
+ <entry>dynamic</entry>
+ <entry>-</entry>
+ </row>
+ <row>
<entry><option>-ddump-simpl-iterations</option></entry>
<entry>Dump output from each simplifier iteration</entry>
<entry>dynamic</entry>