<entry><option>-XNoTemplateHaskell</option></entry>
</row>
<row>
+ <entry><option>-XQuasiQuotes</option></entry>
+ <entry>Enable <link linkend="th-quasiquotation">quasiquotation</link>.</entry>
+ <entry>dynamic</entry>
+ <entry><option>-XNoQuasiQuotes</option></entry>
+ </row>
+ <row>
<entry><option>-XBangPatterns</option></entry>
<entry>Enable <link linkend="bang-patterns">bang patterns</link>.</entry>
<entry>dynamic</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>-fsimplifier-phases</option></entry>
+ <entry>Set the number of phases for the simplifier (default 2).
+ Ignored with <option>-O0</option>.</entry>
+ <entry>dynamic</entry>
+ <entry>-</entry>
+ </row>
+
+ <row>
<entry><option>-fmax-simplifier-iterations</option></entry>
<entry>Set the max iterations for the simplifier</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>-fspec-constr-count</option>=<replaceable>n</replaceable></entry>
+ <entry>Set to <replaceable>n</replaceable> (default: 3) the maximum number of
+ specialisations that will be created for any one function
+ by the SpecConstr transformation</entry>
+ <entry>static</entry>
+ <entry><option>-fno-spec-constr-count</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>-fstatic-argument-transformation</option></entry>
+ <entry>Turn on the static argument transformation. Implied by <option>-O2</option>.</entry>
+ <entry>dynamic</entry>
+ <entry>-fno-static-argument-transformation</entry>
+ </row>
+
+ <row>
+ <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>