Add -XImpredicativeTypes, and tighten up type-validity checking (cf Trac 2019)
[ghc-hetmet.git] / docs / users_guide / flags.xml
1 <?xml version="1.0" encoding="iso-8859-1"?>
2   <sect1 id="flag-reference">
3     <title>Flag reference</title>
4
5     <para>This section is a quick-reference for GHC's command-line
6     flags.  For each flag, we also list its static/dynamic status (see
7     <xref linkend="static-dynamic-flags"/>), and the flag's opposite
8     (if available).</para>
9
10     <sect2>
11       <title>Help and verbosity options</title>
12
13       <para><xref linkend="options-help"/></para>
14
15       <informaltable>
16         <tgroup cols="4" align="left" colsep="1" rowsep="1">
17           <thead>
18             <row>
19               <entry>Flag</entry>
20               <entry>Description</entry>
21               <entry>Static/Dynamic</entry>
22               <entry>Reverse</entry>
23             </row>
24           </thead>
25           <tbody>
26             <row>
27               <entry><option>-?</option></entry>
28               <entry>help</entry>
29               <entry>mode</entry>
30               <entry>-</entry>
31             </row>
32             <row>
33               <entry><option>-help</option></entry>
34               <entry>help</entry>
35               <entry>mode</entry>
36               <entry>-</entry>
37             </row>
38             <row>
39               <entry><option>-n</option></entry>
40               <entry>do a dry run</entry>
41               <entry>dynamic</entry>
42               <entry>-</entry>
43             </row>
44             <row>
45               <entry><option>-v</option></entry>
46               <entry>verbose mode (equivalent to <option>-v3</option>)</entry>
47               <entry>dynamic</entry>
48               <entry>-</entry>
49             </row>
50             <row>
51               <entry><option>-v</option><replaceable>n</replaceable></entry>
52               <entry>set verbosity level</entry>
53               <entry>dynamic</entry>
54               <entry>-</entry>
55             </row>
56             <row>
57               <entry><option>-V</option></entry>
58               <entry>display GHC version</entry>
59               <entry>mode</entry>
60               <entry>-</entry>
61             </row>
62             <row>
63               <entry><option>&ndash;&ndash;supported-languages</option></entry>
64               <entry>display the supported language extensions</entry>
65               <entry>mode</entry>
66               <entry>-</entry>
67             </row>
68             <row>
69               <entry><option>&ndash;&ndash;info</option></entry>
70               <entry>display information about the compiler</entry>
71               <entry>mode</entry>
72               <entry>-</entry>
73             </row>
74             <row>
75               <entry><option>&ndash;&ndash;version</option></entry>
76               <entry>display GHC version</entry>
77               <entry>mode</entry>
78               <entry>-</entry>
79             </row>
80             <row>
81               <entry><option>&ndash;&ndash;numeric-version</option></entry>
82               <entry>display GHC version (numeric only)</entry>
83               <entry>mode</entry>
84               <entry>-</entry>
85             </row>
86             <row>
87               <entry><option>&ndash;&ndash;print-libdir</option></entry>
88               <entry>display GHC library directory</entry>
89               <entry>mode</entry>
90               <entry>-</entry>
91             </row>
92             <row>
93               <entry><option>-ferror-spans</option></entry>
94               <entry>output full span in error messages</entry>
95               <entry>static</entry>
96               <entry>-</entry>
97             </row>
98             <row>
99               <entry><option>-H</option><replaceable>size</replaceable></entry>
100               <entry>Set the minimum heap size to <replaceable>size</replaceable></entry>
101               <entry>static</entry>
102               <entry>-</entry>
103             </row>
104             <row>
105               <entry><option>-Rghc-timing</option></entry>
106               <entry>Summarise timing stats for GHC (same as <literal>+RTS -tstderr</literal>)</entry>
107               <entry>static</entry>
108               <entry>-</entry>
109             </row>
110           </tbody>
111         </tgroup>
112       </informaltable>
113
114     </sect2>
115     <sect2>
116       <title>Which phases to run</title>
117       
118       <para><xref linkend="options-order"/></para>
119
120       <informaltable>
121         <tgroup cols="4" align="left" colsep="1" rowsep="1">
122           <thead>
123             <row>
124               <entry>Flag</entry>
125               <entry>Description</entry>
126               <entry>Static/Dynamic</entry>
127               <entry>Reverse</entry>
128             </row>
129           </thead>
130           <tbody>
131             <row>
132               <entry><option>-E</option></entry>
133               <entry>Stop after preprocessing (<literal>.hspp</literal> file)</entry>
134               <entry>mode</entry>
135               <entry>-</entry>
136             </row>
137             <row>
138               <entry><option>-C</option></entry>
139               <entry>Stop after generating C (<literal>.hc</literal> file)</entry>
140               <entry>mode</entry>
141               <entry>-</entry>
142             </row>
143             <row>
144               <entry><option>-S</option></entry>
145               <entry>Stop after generating assembly (<literal>.s</literal> file)</entry>
146               <entry>mode</entry>
147               <entry>-</entry>
148             </row>
149             <row>
150               <entry><option>-c</option></entry>
151               <entry>Do not link</entry>
152               <entry>dynamic</entry>
153               <entry>-</entry>
154             </row>
155             <row>
156               <entry><option>-x</option> <replaceable>suffix</replaceable></entry>
157               <entry>Override default behaviour for source files</entry>
158               <entry>static</entry>
159               <entry>-</entry>
160             </row>
161           </tbody>
162         </tgroup>
163       </informaltable>
164     </sect2>
165
166      <sect2>
167       <title>Alternative modes of operation</title>
168       
169       <para><xref linkend="modes"/></para>
170
171       <informaltable>
172         <tgroup cols="4" align="left" colsep="1" rowsep="1">
173           <thead>
174             <row>
175               <entry>Flag</entry>
176               <entry>Description</entry>
177               <entry>Static/Dynamic</entry>
178               <entry>Reverse</entry>
179             </row>
180           </thead>
181           <tbody>
182             <row>
183               <entry><option>--interactive</option></entry>
184               <entry>Interactive mode - normally used by just running <command>ghci</command>;
185               see <xref linkend="ghci"/> for details.</entry>
186               <entry>mode</entry>
187               <entry>-</entry>
188             </row>
189             <row>
190               <entry><option>--make</option></entry>
191               <entry>Build a multi-module Haskell program, automatically figuring out dependencies. Likely to be much easier, and faster, than using <command>make</command>;
192               see <xref linkend="make-mode"/> for details..</entry>
193               <entry>mode</entry>
194               <entry>-</entry>
195             </row>
196             <row>
197               <entry><option>-e <replaceable>expr</replaceable></option></entry>
198               <entry>Evaluate <replaceable>expr</replaceable>;
199               see <xref linkend="eval-mode"/> for details.</entry>
200               <entry>mode</entry>
201               <entry>-</entry>
202             </row>
203             <row>
204               <entry><option>-M</option></entry>
205               <entry>Generate dependency information suitable for use in a <filename>Makefile</filename>;
206               see <xref linkend="makefile-dependencies"/> for details.</entry>
207               <entry>mode</entry>
208               <entry>-</entry>
209             </row>
210           </tbody>
211         </tgroup>
212       </informaltable>
213     </sect2>
214
215     <sect2>
216       <title>Redirecting output</title>
217       
218       <para><xref linkend="options-output"/></para>
219
220       <informaltable>
221         <tgroup cols="4" align="left" colsep="1" rowsep="1">
222           <thead>
223             <row>
224               <entry>Flag</entry>
225               <entry>Description</entry>
226               <entry>Static/Dynamic</entry>
227               <entry>Reverse</entry>
228             </row>
229           </thead>
230           <tbody>
231             <row>
232               <entry><option>-hcsuf</option> <replaceable>suffix</replaceable></entry>
233               <entry>set the suffix to use for intermediate C files</entry>
234               <entry>dynamic</entry>
235               <entry>-</entry>
236             </row>
237             <row>
238               <entry><option>-hidir</option> <replaceable>dir</replaceable></entry>
239               <entry>set directory for interface files</entry>
240               <entry>dynamic</entry>
241               <entry>-</entry>
242             </row>
243             <row>
244               <entry><option>-hisuf</option> <replaceable>suffix</replaceable></entry>
245               <entry>set the suffix to use for interface files</entry>
246               <entry>dynamic</entry>
247               <entry>-</entry>
248             </row>
249             <row>
250               <entry><option>-o</option> <replaceable>filename</replaceable></entry>
251               <entry>set output filename</entry>
252               <entry>dynamic</entry>
253               <entry>-</entry>
254             </row>
255             <row>
256               <entry><option>-odir</option> <replaceable>dir</replaceable></entry>
257               <entry>set output directory</entry>
258               <entry>dynamic</entry>
259               <entry>-</entry>
260             </row>
261             <row>
262               <entry><option>-ohi</option> <replaceable>filename</replaceable></entry>
263               <entry>set the filename in which to put the interface</entry>
264               <entry>dynamic</entry>
265               <entry></entry>
266             </row>
267             <row>
268               <entry><option>-osuf</option> <replaceable>suffix</replaceable></entry>
269               <entry>set the output file suffix</entry>
270               <entry>dynamic</entry>
271               <entry>-</entry>
272             </row>
273             <row>
274               <entry><option>-stubdir</option> <replaceable>dir</replaceable></entry>
275               <entry>redirect FFi stub files</entry>
276               <entry>dynamic</entry>
277               <entry>-</entry>
278             </row>
279           </tbody>
280         </tgroup>
281       </informaltable>
282     </sect2>
283
284     <sect2>
285       <title>Keeping intermediate files</title>
286       
287       <para><xref linkend="keeping-intermediates"/></para>
288       
289       <informaltable>
290         <tgroup cols="4" align="left" colsep="1" rowsep="1">
291           <thead>
292             <row>
293               <entry>Flag</entry>
294               <entry>Description</entry>
295               <entry>Static/Dynamic</entry>
296               <entry>Reverse</entry>
297             </row>
298           </thead>
299           <tbody>
300             <row>
301               <entry><option>-keep-hc-file</option> or
302                  <option>-keep-hc-files</option></entry>
303               <entry>retain intermediate <literal>.hc</literal> files</entry>
304               <entry>dynamic</entry>
305               <entry>-</entry>
306             </row>
307             <row>
308               <entry><option>-keep-s-file</option> or
309                  <option>-keep-s-files</option></entry>
310               <entry>retain intermediate <literal>.s</literal> files</entry>
311               <entry>dynamic</entry>
312               <entry>-</entry>
313             </row>
314             <row>
315               <entry><option>-keep-raw-s-file</option> or
316                  <option>-keep-raw-s-files</option></entry>
317               <entry>retain intermediate <literal>.raw_s</literal> files</entry>
318               <entry>dynamic</entry>
319               <entry>-</entry>
320             </row>
321             <row>
322               <entry><option>-keep-tmp-files</option></entry>
323               <entry>retain all intermediate temporary files</entry>
324               <entry>dynamic</entry>
325               <entry>-</entry>
326             </row>
327           </tbody>
328         </tgroup>
329       </informaltable>
330     </sect2>
331
332     <sect2>
333       <title>Temporary files</title>
334       
335       <para><xref linkend="temp-files"/></para>
336
337       <informaltable>
338         <tgroup cols="4" align="left" colsep="1" rowsep="1">
339           <thead>
340             <row>
341               <entry>Flag</entry>
342               <entry>Description</entry>
343               <entry>Static/Dynamic</entry>
344               <entry>Reverse</entry>
345             </row>
346           </thead>
347           <tbody>
348             <row>
349               <entry><option>-tmpdir</option></entry>
350               <entry>set the directory for temporary files</entry>
351               <entry>dynamic</entry>
352               <entry>-</entry>
353             </row>
354           </tbody>
355         </tgroup>
356       </informaltable>
357     </sect2>
358
359     <sect2>
360       <title>Finding imports</title>
361
362       <para><xref linkend="search-path"/></para>
363
364       <informaltable>
365         <tgroup cols="4" align="left" colsep="1" rowsep="1">
366           <thead>
367             <row>
368               <entry>Flag</entry>
369
370               <entry>Description</entry>
371               <entry>Static/Dynamic</entry>
372               <entry>Reverse</entry>
373             </row>
374           </thead>
375           <tbody>
376             <row>
377               <entry><option>-i</option><replaceable>dir1</replaceable>:<replaceable>dir2</replaceable>:...</entry>
378               <entry>add <replaceable>dir</replaceable>,
379                   <replaceable>dir2</replaceable>, etc. to import path</entry>
380               <entry>static/<literal>:set</literal></entry>
381               <entry>-</entry>
382             </row>
383             <row>
384               <entry><option>-i</option></entry>
385               <entry>Empty the import directory list</entry>
386               <entry>static/<literal>:set</literal></entry>
387               <entry>-</entry>
388             </row>
389           </tbody>
390         </tgroup>
391       </informaltable>
392     </sect2>
393
394     <sect2>
395       <title>Interface file options</title>
396
397       <para><xref linkend="hi-options"/></para>
398
399       <informaltable>
400         <tgroup cols="4" align="left" colsep="1" rowsep="1">
401           <thead>
402             <row>
403               <entry>Flag</entry>
404
405               <entry>Description</entry>
406               <entry>Static/Dynamic</entry>
407               <entry>Reverse</entry>
408             </row>
409           </thead>
410           <tbody>
411             <row>
412               <entry><option>-ddump-hi</option></entry>
413               <entry>Dump the new interface to stdout</entry>
414               <entry>dynamic</entry>
415               <entry>-</entry>
416             </row>
417             <row>
418               <entry><option>-ddump-hi-diffs</option></entry>
419               <entry>Show the differences vs. the old interface</entry>
420               <entry>dynamic</entry>
421               <entry>-</entry>
422             </row>
423             <row>
424               <entry><option>-ddump-minimal-imports</option></entry>
425               <entry>Dump a minimal set of imports</entry>
426               <entry>dynamic</entry>
427               <entry>-</entry>
428             </row>
429             <row>
430               <entry><option>--show-iface</option> <replaceable>file</replaceable></entry>
431               <entry>See <xref linkend="modes"/>.</entry>
432             </row>
433           </tbody>
434         </tgroup>
435       </informaltable>
436     </sect2>
437     
438     <sect2>
439       <title>Recompilation checking</title>
440
441       <para><xref linkend="recomp"/></para>
442
443       <informaltable>
444         <tgroup cols="4" align="left" colsep="1" rowsep="1">
445           <thead>
446             <row>
447               <entry>Flag</entry>
448
449               <entry>Description</entry>
450               <entry>Static/Dynamic</entry>
451               <entry>Reverse</entry>
452             </row>
453           </thead>
454           <tbody>
455             <row>
456               <entry><option>-fforce-recomp</option></entry>
457               <entry>Turn off recompilation checking; implied by any
458               <option>-ddump-X</option> option</entry>
459               <entry>dynamic</entry>
460               <entry><option>-fno-force-recomp</option></entry>
461             </row>
462           </tbody>
463         </tgroup>
464       </informaltable>
465     </sect2>
466
467     <sect2 id="interactive-mode-options">
468       <title>Interactive-mode options</title>
469       
470       <para><xref linkend="ghci-dot-files"/></para>
471
472       <informaltable>
473         <tgroup cols="4" align="left" colsep="1" rowsep="1">
474           <thead>
475             <row>
476               <entry>Flag</entry>
477               <entry>Description</entry>
478               <entry>Static/Dynamic</entry>
479               <entry>Reverse</entry>
480             </row>
481           </thead>
482           <tbody>
483             <row>
484               <entry><option>-ignore-dot-ghci</option></entry>
485               <entry>Disable reading of <filename>.ghci</filename> files</entry>
486               <entry>static</entry>
487               <entry>-</entry>
488             </row>
489             <row>
490               <entry><option>-read-dot-ghci</option></entry>
491               <entry>Enable reading of <filename>.ghci</filename> files</entry>
492               <entry>static</entry>
493               <entry>-</entry>
494             </row>
495             <row>
496               <entry><option>-fbreak-on-exception</option></entry>
497               <entry><link linkend="ghci-debugger-exceptions">Break on any exception thrown</link></entry>
498               <entry>dynamic</entry>
499               <entry><option>-fno-break-on-exception</option></entry>
500             </row>
501             <row>
502               <entry><option>-fbreak-on-error</option></entry>
503               <entry><link linkend="ghci-debugger-exceptions">Break on uncaught exceptions and errors</link></entry>
504               <entry>dynamic</entry>
505               <entry><option>-fno-break-on-error</option></entry>
506             </row>
507             <row>
508               <entry><option>-fprint-evld-with-show</option></entry>
509               <entry><link linkend="breakpoints">Enable usage of Show instances in <literal>:print</literal></link></entry>
510               <entry>dynamic</entry>
511               <entry><option>-fno-print-evld-with-show</option></entry>
512             </row>          
513             <row>
514               <entry><option>-fprint-bind-result</option></entry>
515               <entry><link linkend="ghci-stmts">Turn on printing of binding results in GHCi</link></entry>
516               <entry>dynamic</entry>
517               <entry><option>-fno-print-bind-result</option></entry>
518             </row>
519             <row>
520               <entry><option>-fno-print-bind-contents</option></entry>
521               <entry><link linkend="breakpoints">Turn off printing of binding contents in GHCi</link></entry>
522               <entry>dynamic</entry>
523               <entry>-</entry>
524             </row>
525
526           </tbody>
527         </tgroup>
528       </informaltable>
529     </sect2>
530
531     <sect2>
532       <title>Packages</title>
533
534       <para><xref linkend="packages"/></para>
535
536       <informaltable>
537         <tgroup cols="4" align="left" colsep="1" rowsep="1">
538           <thead>
539             <row>
540               <entry>Flag</entry>
541               <entry>Description</entry>
542               <entry>Static/Dynamic</entry>
543               <entry>Reverse</entry>
544             </row>
545           </thead>
546           <tbody>
547             <row>
548               <entry><option>-package-name</option> <replaceable>P</replaceable></entry>
549               <entry>Compile to be part of package <replaceable>P</replaceable></entry>
550               <entry>dynamic</entry>
551               <entry>-</entry>
552             </row>
553             <row>
554               <entry><option>-package</option> <replaceable>P</replaceable></entry>
555               <entry>Expose package <replaceable>P</replaceable></entry>
556               <entry>static/<literal>:set</literal></entry>
557               <entry>-</entry>
558             </row>
559             <row>
560               <entry><option>-hide-all-packages</option></entry>
561               <entry>Hide all packages by default</entry>
562               <entry>static</entry>
563               <entry>-</entry>
564             </row>
565             <row>
566               <entry><option>-hide-package</option> <replaceable>name</replaceable></entry>
567               <entry>Hide package <replaceable>P</replaceable></entry>
568               <entry>static/<literal>:set</literal></entry>
569               <entry>-</entry>
570             </row>
571             <row>
572               <entry><option>-ignore-package</option> <replaceable>name</replaceable></entry>
573               <entry>Ignore package <replaceable>P</replaceable></entry>
574               <entry>static/<literal>:set</literal></entry>
575               <entry>-</entry>
576             </row>
577             <row>
578               <entry><option>-package-conf</option> <replaceable>file</replaceable></entry>
579               <entry>Load more packages from <replaceable>file</replaceable></entry>
580               <entry>static</entry>
581               <entry>-</entry>
582             </row>
583             <row>
584               <entry><option>-no-user-package-conf</option></entry>
585               <entry>Don't load the user's package config file.</entry>
586               <entry>static</entry>
587               <entry>-</entry>
588             </row>
589           </tbody>
590         </tgroup>
591       </informaltable>
592     </sect2>
593
594     <sect2>
595       <title>Language options</title>
596
597       <para><xref linkend="options-language"/></para>
598
599       <informaltable>
600         <tgroup cols="4" align="left" colsep="1" rowsep="1">
601           <thead>
602             <row>
603               <entry>Flag</entry>
604               <entry>Description</entry>
605               <entry>Static/Dynamic</entry>
606               <entry>Reverse</entry>
607             </row>
608           </thead>
609           <tbody>
610             <row>
611               <entry><option>-fglasgow-exts</option></entry>
612               <entry>Enable most language extensions</entry>
613               <entry>dynamic</entry>
614               <entry><option>-fno-glasgow-exts</option></entry>
615             </row>
616             <row>
617               <entry><option>-XOverlappingInstances</option></entry>
618               <entry>Enable <link linkend="instance-overlap">overlapping instances</link></entry>
619               <entry>dynamic</entry>
620               <entry><option>-XNoOverlappingInstances</option></entry>
621             </row>
622             <row>
623               <entry><option>-XIncoherentInstances</option></entry>
624               <entry>Enable <link linkend="instance-overlap">incoherent instances</link>.  
625               Implies <option>-XOverlappingInstances</option> </entry>
626               <entry>dynamic</entry>
627               <entry><option>-XNoIncoherentInstances</option></entry>
628             </row>
629             <row>
630               <entry><option>-XUndecidableInstances</option></entry>
631               <entry>Enable <link linkend="undecidable-instances">undecidable instances</link></entry>
632               <entry>dynamic</entry>
633               <entry><option>-XNoUndecidableInstances</option></entry>
634             </row>
635             <row>
636               <entry><option>-fcontext-stack=N</option><replaceable>n</replaceable></entry>
637               <entry>set the <link linkend="undecidable-instances">limit for context reduction</link>. Default is 20.</entry>
638               <entry>dynamic</entry>
639               <entry></entry>
640             </row>
641             <row>
642               <entry><option>-XArrows</option></entry>
643               <entry>Enable <link linkend="arrow-notation">arrow
644               notation</link> extension</entry>
645               <entry>dynamic</entry>
646               <entry><option>-XNoArrows</option></entry>
647             </row>
648             <row>
649               <entry><option>-fdisambiguate-record-fields</option></entry>
650               <entry>Enable <link linkend="disambiguate-fields">record 
651               field disambiguation</link></entry>
652               <entry>dynamic</entry>
653               <entry><option>-fno-disambiguate-record-fields</option></entry>
654             </row>
655             <row>
656               <entry><option>-XForeignFunctionInterface</option></entry>
657               <entry>Enable <link linkend="ffi">foreign function interface</link> (implied by
658               <option>-fglasgow-exts</option>)</entry>
659               <entry>dynamic</entry>
660               <entry><option>-XNoForeignFunctionInterface</option></entry>
661             </row>
662             <row>
663               <entry><option>-XGenerics</option></entry>
664               <entry>Enable <link linkend="generic-classes">generic classes</link></entry>
665               <entry>dynamic</entry>
666               <entry><option>-XNoGenerics</option></entry>
667             </row>
668             <row>
669               <entry><option>-XImplicitParams</option></entry>
670               <entry>Enable <link linkend="implicit-parameters">Implicit Parameters</link>.
671               Implied by <option>-fglasgow-exts</option>.</entry>
672               <entry>dynamic</entry>
673               <entry><option>-XNoImplicitParams</option></entry>
674             </row>
675             <row>
676               <entry><option>-firrefutable-tuples</option></entry>
677               <entry>Make tuple pattern matching irrefutable</entry>
678               <entry>dynamic</entry>
679               <entry><option>-fno-irrefutable-tuples</option></entry>
680             </row>
681             <row>
682               <entry><option>-XNoImplicitPrelude</option></entry>
683               <entry>Don't implicitly <literal>import Prelude</literal></entry>
684               <entry>dynamic</entry>
685               <entry><option>-XImplicitPrelude</option></entry>
686             </row>
687             <row>
688               <entry><option>-XNoMonomorphismRestriction</option></entry>
689               <entry>Disable the <link linkend="monomorphism">monomorphism restriction</link></entry>
690               <entry>dynamic</entry>
691               <entry><option>-XMonomorphismRrestriction</option></entry>
692             </row>
693             <row>
694               <entry><option>-XNoMonoPatBinds</option></entry>
695               <entry>Make <link linkend="monomorphism">pattern bindings polymorphic</link></entry>
696               <entry>dynamic</entry>
697               <entry><option>-XMonoPatBinds</option></entry>
698             </row>
699             <row>
700               <entry><option>-XRelaxedPolyRec</option></entry>
701               <entry>Relaxed checking for <link linkend="typing-binds">mutually-recursive polymorphic functions</link></entry>
702               <entry>dynamic</entry>
703               <entry><option>-XNoRelaxedPolyRec</option></entry>
704             </row>
705             <row>
706               <entry><option>-XExtendedDefaultRules</option></entry>
707               <entry>Use GHCi's <link linkend="extended-default-rules">extended default rules</link> in a normal module</entry>
708               <entry>dynamic</entry>
709               <entry><option>-XNoExtendedDefaultRules</option></entry>
710             </row>
711             <row>
712               <entry><option>-XOverloadedStrings</option></entry>
713               <entry>Enable <link linkend="overloaded-strings">overloaded string literals</link>.
714               </entry>
715               <entry>dynamic</entry>
716               <entry><option>-XNoOverloadedStrings</option></entry>
717             </row>
718             <row>
719               <entry><option>-XGADTs</option></entry>
720               <entry>Enable <link linkend="gadt">generalised algebraic data types</link>.
721               </entry>
722               <entry>dynamic</entry>
723               <entry><option>-XNoGADTs</option></entry>
724             </row>
725             <row>
726               <entry><option>-XTypeFamilies</option></entry>
727               <entry>Enable <link linkend="type-families">type families</link>.</entry>
728               <entry>dynamic</entry>
729               <entry><option>-XNoTypeFamilies</option></entry>
730             </row>
731             <row>
732               <entry><option>-XScopedTypeVariables</option></entry>
733               <entry>Enable <link linkend="scoped-type-variables">lexically-scoped type variables</link>.
734               Implied by <option>-fglasgow-exts</option>.</entry>
735               <entry>dynamic</entry>
736               <entry><option>-XNoScopedTypeVariables</option></entry>
737             </row>
738             <row>
739               <entry><option>-XTemplateHaskell</option></entry>
740               <entry>Enable <link linkend="template-haskell">Template Haskell</link>. 
741                 No longer implied by <option>-fglasgow-exts</option>.</entry>
742               <entry>dynamic</entry>
743               <entry><option>-XNoTemplateHaskell</option></entry>
744             </row>
745             <row>
746               <entry><option>-XBangPatterns</option></entry>
747               <entry>Enable <link linkend="bang-patterns">bang patterns</link>.</entry>
748               <entry>dynamic</entry>
749               <entry><option>-XNoBangPatterns</option></entry>
750             </row>
751             <row>
752               <entry><option>-XCPP</option></entry>
753               <entry>Enable the <link linkend="c-pre-processor">C preprocessor</link>.</entry>
754               <entry>dynamic</entry>
755               <entry><option>-XNoCPP</option></entry>
756             </row>
757             <row>
758               <entry><option>-XPatternGuards</option></entry>
759               <entry>Enable <link linkend="pattern-guards">pattern guards</link>.</entry>
760               <entry>dynamic</entry>
761               <entry><option>-XNoPatternGuards</option></entry>
762             </row>
763             <row>
764               <entry><option>-XViewPatterns</option></entry>
765               <entry>Enable <link linkend="view-patterns">view patterns</link>.</entry>
766               <entry>dynamic</entry>
767               <entry><option>-XNoViewPatterns</option></entry>
768             </row>
769             <row>
770               <entry><option>-XUnicodeSyntax</option></entry>
771               <entry>Enable unicode syntax.</entry>
772               <entry>dynamic</entry>
773               <entry><option>-XNoUnicodeSyntax</option></entry>
774             </row>
775             <row>
776               <entry><option>-XMagicHash</option></entry>
777               <entry>Enable the &ldquo;magic hash&rdquo;.</entry>
778               <entry>dynamic</entry>
779               <entry><option>-XNoMagicHash</option></entry>
780             </row>
781             <row>
782               <entry><option>-XPolymorphicComponents</option></entry>
783               <entry>Enable <link linkend="universal-quantification">polymorphic components for data constructors</link>.</entry>
784               <entry>dynamic</entry>
785               <entry><option>-XNoPolymorphicComponents</option></entry>
786             </row>
787             <row>
788               <entry><option>-XRank2Types</option></entry>
789               <entry>Enable <link linkend="universal-quantification">rank-2 types</link>.</entry>
790               <entry>dynamic</entry>
791               <entry><option>-XNoRank2Types</option></entry>
792             </row>
793             <row>
794               <entry><option>-XRankNTypes</option></entry>
795               <entry>Enable <link linkend="universal-quantification">rank-N types</link>.</entry>
796               <entry>dynamic</entry>
797               <entry><option>-XNoRankNTypes</option></entry>
798             </row>
799             <row>
800               <entry><option>-XImpredicativeTypes</option></entry>
801               <entry>Enable <link linkend="impredicative-polymorphism">impredicative types</link>.</entry>
802               <entry>dynamic</entry>
803               <entry><option>-XNoImpredicativeTypes</option></entry>
804             </row>
805             <row>
806               <entry><option>-XExistentialQuantification</option></entry>
807               <entry>Enable <link linkend="existential-quantification">existential quantification</link>.</entry>
808               <entry>dynamic</entry>
809               <entry><option>-XNoExistentialQuantification</option></entry>
810             </row>
811             <row>
812               <entry><option>-XKindSignatures</option></entry>
813               <entry>Enable <link linkend="kinding">kind signatures</link>.</entry>
814               <entry>dynamic</entry>
815               <entry><option>-XNoKindSignatures</option></entry>
816             </row>
817             <row>
818               <entry><option>-XPatternSignatures</option></entry>
819               <entry>Enable <link linkend="pattern-type-sigs">pattern type signatures</link>.</entry>
820               <entry>dynamic</entry>
821               <entry><option>-XNoPatternSignatures</option></entry>
822             </row>
823             <row>
824               <entry><option>-XEmptyDataDecls</option></entry>
825               <entry>Enable empty data declarations.</entry>
826               <entry>dynamic</entry>
827               <entry><option>-XNoEmptyDataDecls</option></entry>
828             </row>
829             <row>
830               <entry><option>-XParallelListComp</option></entry>
831               <entry>Enable <link linkend="parallel-list-comprehensions">parallel list comprehensions</link>.</entry>
832               <entry>dynamic</entry>
833               <entry><option>-XNoParallelListComp</option></entry>
834             </row>
835             <row>
836               <entry><option>-XTransformListComp</option></entry>
837               <entry>Enable <link linkend="generalised-list-comprehensions">transform list comprehensions</link>.</entry>
838               <entry>dynamic</entry>
839               <entry><option>-XNoTransformListComp</option></entry>
840             </row>
841             <row>
842               <entry><option>-XUnliftedFFITypes</option></entry>
843               <entry>Enable unlifted FFI types.</entry>
844               <entry>dynamic</entry>
845               <entry><option>-XNoUnliftedFFITypes</option></entry>
846             </row>
847             <row>
848               <entry><option>-XLiberalTypeSynonyms</option></entry>
849               <entry>Enable <link linkend="type-synonyms">liberalised type synonyms</link>.</entry>
850               <entry>dynamic</entry>
851               <entry><option>-XNoLiberalTypeSynonyms</option></entry>
852             </row>
853             <row>
854               <entry><option>-XTypeOperators</option></entry>
855               <entry>Enable type operators.</entry>
856               <entry>dynamic</entry>
857               <entry><option>-XNoTypeOperators</option></entry>
858             </row>
859             <row>
860               <entry><option>-XRecursiveDo</option></entry>
861               <entry>Enable <link linkend="mdo-notation">recursive do (mdo) notation</link>.</entry>
862               <entry>dynamic</entry>
863               <entry><option>-XNoRecursiveDo</option></entry>
864             </row>
865             <row>
866               <entry><option>-XPArr</option></entry>
867               <entry>Enable parallel arrays.</entry>
868               <entry>dynamic</entry>
869               <entry><option>-XNoPArr</option></entry>
870             </row>
871             <row>
872               <entry><option>-XRecordWildCards</option></entry>
873               <entry>Enable <link linkend="record-wildcards">record wildcards</link>.</entry>
874               <entry>dynamic</entry>
875               <entry><option>-XNoRecordWildCards</option></entry>
876             </row>
877             <row>
878               <entry><option>-XRecordPuns</option></entry>
879               <entry>Enable <link linkend="record-puns">record puns</link>.</entry>
880               <entry>dynamic</entry>
881               <entry><option>-XNoRecordPuns</option></entry>
882             </row>
883             <row>
884               <entry><option>-XDisambiguateRecordFields</option></entry>
885               <entry>Enable  <link linkend="disambiguate-fields">record field disambiguation</link>. </entry>
886               <entry>dynamic</entry>
887               <entry><option>-XNoDisambiguateRecordFields</option></entry>
888             </row>
889             <row>
890               <entry><option>-XUnboxedTuples</option></entry>
891               <entry>Enable <link linkend="unboxed-tuples">unboxed tuples</link>.</entry>
892               <entry>dynamic</entry>
893               <entry><option>-XNoUnboxedTuples</option></entry>
894             </row>
895             <row>
896               <entry><option>-XStandaloneDeriving</option></entry>
897               <entry>Enable <link linkend="stand-alone-deriving">standalone deriving</link>.</entry>
898               <entry>dynamic</entry>
899               <entry><option>-XNoStandaloneDeriving</option></entry>
900             </row>
901             <row>
902               <entry><option>-XDeriveDataTypeable</option></entry>
903               <entry>Enable <link linkend="deriving-typeable">deriving for the Data and Typeable classes</link>.</entry>
904               <entry>dynamic</entry>
905               <entry><option>-XNoDeriveDataTypeable</option></entry>
906             </row>
907             <row>
908               <entry><option>-XGeneralizedNewtypeDeriving</option></entry>
909               <entry>Enable <link linkend="newtype-deriving">newtype deriving</link>.</entry>
910               <entry>dynamic</entry>
911               <entry><option>-XNoGeneralizedNewtypeDeriving</option></entry>
912             </row>
913             <row>
914               <entry><option>-XTypeSynonymInstances</option></entry>
915               <entry>Enable <link linkend="type-synonyms">type synonyms</link>.</entry>
916               <entry>dynamic</entry>
917               <entry><option>-XNoTypeSynonymInstances</option></entry>
918             </row>
919             <row>
920               <entry><option>-XFlexibleContexts</option></entry>
921               <entry>Enable <link linkend="flexible-contexts">flexible contexts</link>.</entry>
922               <entry>dynamic</entry>
923               <entry><option>-XNoFlexibleContexts</option></entry>
924             </row>
925             <row>
926               <entry><option>-XFlexibleInstances</option></entry>
927               <entry>Enable <link linkend="instance-rules">flexible instances</link>.</entry>
928               <entry>dynamic</entry>
929               <entry><option>-XNoFlexibleInstances</option></entry>
930             </row>
931             <row>
932               <entry><option>-XConstrainedClassMethods</option></entry>
933               <entry>Enable <link linkend="class-method-types">constrained class methods</link>.</entry>
934               <entry>dynamic</entry>
935               <entry><option>-XNoConstrainedClassMethods</option></entry>
936             </row>
937             <row>
938               <entry><option>-XMultiParamTypeClasses</option></entry>
939               <entry>Enable <link linkend="multi-param-type-classes">multi parameter type classes</link>.</entry>
940               <entry>dynamic</entry>
941               <entry><option>-XNoMultiParamTypeClasses</option></entry>
942             </row>
943             <row>
944               <entry><option>-XFunctionalDependencies</option></entry>
945               <entry>Enable <link linkend="functional-dependencies">functional dependencies</link>.</entry>
946               <entry>dynamic</entry>
947               <entry><option>-XNoFunctionalDependencies</option></entry>
948             </row>
949           </tbody>
950         </tgroup>
951       </informaltable>
952     </sect2>
953
954     <sect2>
955       <title>Warnings</title>
956       
957       <para><xref linkend="options-sanity"/></para>
958
959     <informaltable>
960       <tgroup cols="4" align="left" colsep="1" rowsep="1">
961         <thead>
962           <row>
963             <entry>Flag</entry>
964             <entry>Description</entry>
965             <entry>Static/Dynamic</entry>
966             <entry>Reverse</entry>
967           </row>
968         </thead>
969         <tbody>
970           <row>
971             <entry><option>-W</option></entry>
972             <entry>enable normal warnings</entry>
973             <entry>dynamic</entry>
974             <entry><option>-w</option></entry>
975           </row>
976           <row>
977             <entry><option>-w</option></entry>
978             <entry>disable all warnings</entry>
979             <entry>dynamic</entry>
980             <entry>-</entry>
981           </row>
982           <row>
983             <entry><option>-Wall</option></entry>
984             <entry>enable almost all warnings (details in <xref linkend="options-sanity"/>)</entry>
985             <entry>dynamic</entry>
986             <entry><option>-w</option></entry>
987           </row>
988           <row>
989             <entry><option>-Werror</option></entry>
990             <entry>make warnings fatal</entry>
991             <entry>dynamic</entry>
992             <entry>-Wwarn</entry>
993           </row>
994           <row>
995             <entry><option>-Wwarn</option></entry>
996             <entry>make warnings non-fatal</entry>
997             <entry>dynamic</entry>
998             <entry>-Werror</entry>
999           </row>
1000
1001           <row>
1002             <entry><option>-fwarn-deprecations</option></entry>
1003             <entry>warn about uses of functions &amp; types that are deprecated</entry>
1004             <entry>dynamic</entry>
1005             <entry><option>-fno-warn-deprecations</option></entry>
1006           </row>
1007
1008           <row>
1009             <entry><option>-fwarn-duplicate-exports</option></entry>
1010             <entry>warn when an entity is exported multiple times</entry>
1011             <entry>dynamic</entry>
1012             <entry><option>-fno-warn-duplicate-exports</option></entry>
1013           </row>
1014
1015           <row>
1016             <entry><option>-fwarn-hi-shadowing</option></entry>
1017             <entry>warn when a <literal>.hi</literal> file in the
1018             current directory shadows a library</entry>
1019             <entry>dynamic</entry>
1020             <entry><option>-fno-warn-hi-shadowing</option></entry>
1021           </row>
1022
1023           <row>
1024             <entry><option>-fwarn-implicit-prelude</option></entry>
1025             <entry>warn when the Prelude is implicitly imported</entry>
1026             <entry>dynamic</entry>
1027             <entry><option>-fno-warn-implicit-prelude</option></entry>
1028           </row>
1029
1030           <row>
1031             <entry><option>-fwarn-incomplete-patterns</option></entry>
1032             <entry>warn when a pattern match could fail</entry>
1033             <entry>dynamic</entry>
1034             <entry><option>-fno-warn-incomplete-patterns</option></entry>
1035           </row>
1036
1037           <row>
1038             <entry><option>-fwarn-incomplete-record-updates</option></entry>
1039             <entry>warn when a record update could fail</entry>
1040             <entry>dynamic</entry>
1041             <entry><option>-fno-warn-incomplete-record-updates</option></entry>
1042           </row>
1043
1044           <row>
1045             <entry><option>-fwarn-missing-fields</option></entry>
1046             <entry>warn when fields of a record are uninitialised</entry>
1047             <entry>dynamic</entry>
1048             <entry><option>-fno-warn-missing-fields</option></entry>
1049           </row>
1050
1051           <row>
1052             <entry><option>-fwarn-missing-methods</option></entry>
1053             <entry>warn when class methods are undefined</entry>
1054             <entry>dynamic</entry>
1055             <entry><option>-fno-warn-missing-methods</option></entry>
1056           </row>
1057
1058           <row>
1059             <entry><option>-fwarn-missing-signatures</option></entry>
1060             <entry>warn about top-level functions without signatures</entry>
1061             <entry>dynamic</entry>
1062             <entry><option>-fno-warn-missing-signatures</option></entry>
1063           </row>
1064
1065           <row>
1066             <entry><option>-fwarn-name-shadowing</option></entry>
1067             <entry>warn when names are shadowed</entry>
1068             <entry>dynamic</entry>
1069             <entry><option>-fno-warn-name-shadowing</option></entry>
1070           </row>
1071
1072           <row>
1073             <entry><option>-fwarn-orphans</option></entry>
1074             <entry>warn when the module contains <link linkend="orphan-modules">orphan instance declarations
1075             or rewrite rules</link></entry>
1076             <entry>dynamic</entry>
1077             <entry><option>-fno-warn-orphans</option></entry>
1078           </row>
1079
1080           <row>
1081             <entry><option>-fwarn-overlapping-patterns</option></entry>
1082             <entry>warn about overlapping patterns</entry>
1083             <entry>dynamic</entry>
1084             <entry><option>-fno-warn-overlapping-patterns</option></entry>
1085           </row>
1086
1087           <row>
1088             <entry><option>-fwarn-simple-patterns</option></entry>
1089             <entry>warn about lambda-patterns that can fail</entry>
1090             <entry>dynamic</entry>
1091             <entry><option>-fno-warn-simple-patterns</option></entry>
1092           </row>
1093
1094           <row>
1095             <entry><option>-fwarn-tabs</option></entry>
1096             <entry>warn if there are tabs in the source file</entry>
1097             <entry>dynamic</entry>
1098             <entry><option>-fno-warn-tabs</option></entry>
1099           </row>
1100
1101           <row>
1102             <entry><option>-fwarn-type-defaults</option></entry>
1103             <entry>warn when defaulting happens</entry>
1104             <entry>dynamic</entry>
1105             <entry><option>-fno-warn-type-defaults</option></entry>
1106           </row>
1107
1108           <row>
1109             <entry><option>-fwarn-monomorphism-restriction</option></entry>
1110             <entry>warn when the Monomorphism Restriction is applied</entry>
1111             <entry>dynamic</entry>
1112             <entry><option>-fno-warn-monomorphism-restriction</option></entry>
1113           </row>
1114
1115           <row>
1116             <entry><option>-fwarn-unused-binds</option></entry>
1117             <entry>warn about bindings that are unused</entry>
1118             <entry>dynamic</entry>
1119             <entry><option>-fno-warn-unused-binds</option></entry>
1120           </row>
1121
1122           <row>
1123             <entry><option>-fwarn-unused-imports</option></entry>
1124             <entry>warn about unnecessary imports</entry>
1125             <entry>dynamic</entry>
1126             <entry><option>-fno-warn-unused-imports</option></entry>
1127           </row>
1128
1129           <row>
1130             <entry><option>-fwarn-unused-matches</option></entry>
1131             <entry>warn about variables in patterns that aren't used</entry>
1132             <entry>dynamic</entry>
1133             <entry><option>-fno-warn-unused-matches</option></entry>
1134           </row>
1135
1136           </tbody>
1137         </tgroup>
1138       </informaltable>
1139
1140     </sect2>
1141     <sect2>
1142       <title>Optimisation levels</title>
1143
1144       <para><xref linkend="options-optimise"/></para>
1145
1146       <informaltable>
1147         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1148           <thead>
1149             <row>
1150               <entry>Flag</entry>
1151               <entry>Description</entry>
1152               <entry>Static/Dynamic</entry>
1153               <entry>Reverse</entry>
1154             </row>
1155           </thead>
1156           <tbody>
1157             <row>
1158               <entry><option>-O</option></entry>
1159               <entry>Enable default optimisation (level 1)</entry>
1160               <entry>dynamic</entry>
1161               <entry><option>-O0</option></entry>
1162             </row>
1163             <row>
1164               <entry><option>-O</option><replaceable>n</replaceable></entry>
1165               <entry>Set optimisation level <replaceable>n</replaceable></entry>
1166               <entry>dynamic</entry>
1167               <entry><option>-O0</option></entry>
1168             </row>
1169           </tbody>
1170         </tgroup>
1171       </informaltable>
1172               
1173     </sect2>
1174     <sect2>
1175       <title>Individual optimisations</title>
1176
1177       <para><xref linkend="options-f"/></para>
1178
1179       <informaltable>
1180         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1181           <thead>
1182             <row>
1183               <entry>Flag</entry>
1184               <entry>Description</entry>
1185               <entry>Static/Dynamic</entry>
1186               <entry>Reverse</entry>
1187             </row>
1188           </thead>
1189           <tbody>
1190             <row>
1191               <entry><option>-fcase-merge</option></entry>
1192               <entry>Enable case-merging. Implied by <option>-O</option>.</entry>
1193               <entry>dynamic</entry>
1194               <entry><option>-fno-case-merge</option></entry>
1195             </row>
1196
1197             <row>
1198               <entry><option>-fdicts-strict</option></entry>
1199               <entry>Make dictionaries strict</entry>
1200               <entry>static</entry>
1201               <entry><option>-fno-dicts-strict</option></entry>
1202             </row>
1203
1204             <row>
1205               <entry><option>-fdo-eta-reduction</option></entry>
1206               <entry>Enable eta-reduction. Implied by <option>-O</option>.</entry>
1207               <entry>dynamic</entry>
1208               <entry><option>-fno-do-eta-reduction</option></entry>
1209             </row>
1210
1211             <row>
1212               <entry><option>-fdo-lambda-eta-expansion</option></entry>
1213               <entry>Enable lambda eta-reduction</entry>
1214               <entry>dynamic</entry>
1215               <entry><option>-fno-do-lambda-eta-expansion</option></entry>
1216             </row>
1217
1218             <row>
1219               <entry><option>-fexcess-precision</option></entry>
1220               <entry>Enable excess intermediate precision</entry>
1221               <entry>dynamic</entry>
1222               <entry><option>-fno-excess-precision</option></entry>
1223             </row>
1224
1225             <row>
1226               <entry><option>-fignore-asserts</option></entry>
1227               <entry>Ignore assertions in the source</entry>
1228               <entry>dynamic</entry>
1229               <entry><option>-fno-ignore-asserts</option></entry>
1230             </row>
1231
1232             <row>
1233               <entry><option>-fignore-interface-pragmas</option></entry>
1234               <entry>Ignore pragmas in interface files</entry>
1235               <entry>dynamic</entry>
1236               <entry><option>-fno-ignore-interface-pragmas</option></entry>
1237             </row>
1238
1239             <row>
1240               <entry><option>-fomit-interface-pragmas</option></entry>
1241               <entry>Don't generate interface pragmas</entry>
1242               <entry>dynamic</entry>
1243               <entry><option>-fno-omit-interface-pragmas</option></entry>
1244             </row>
1245
1246             <row>
1247               <entry><option>-fmax-worker-args</option></entry>
1248               <entry>If a worker has that many arguments, none will be
1249                 unpacked anymore (default: 10)</entry>
1250               <entry>static</entry>
1251               <entry>-</entry>
1252             </row>
1253
1254             <row>
1255               <entry><option>-fmax-simplifier-iterations</option></entry>
1256               <entry>Set the max iterations for the simplifier</entry>
1257               <entry>dynamic</entry>
1258               <entry>-</entry>
1259             </row>
1260
1261             <row>
1262               <entry><option>-fno-state-hack</option></entry>
1263               <entry>Turn off the "state hack" whereby any lambda with a real-world state token
1264               as argument is considered to be single-entry.  Hence OK to inline things inside it.</entry>
1265               <entry>static</entry>
1266               <entry>-</entry>
1267             </row>
1268
1269             <row>
1270               <entry><option>-fcse</option></entry>
1271               <entry>Turn on common sub-expression elimination. Implied by <option>-O</option>.</entry>
1272               <entry>dynamic</entry>
1273               <entry>-fno-cse</entry>
1274             </row>
1275
1276             <row>
1277               <entry><option>-ffull-laziness</option></entry>
1278               <entry>Turn on full laziness (floating bindings outwards). Implied by <option>-O</option>.</entry>
1279               <entry>dynamic</entry>
1280               <entry>-fno-full-laziness</entry>
1281             </row>
1282
1283             <row>
1284               <entry><option>-frewrite-rules</option></entry>
1285               <entry>Switch on all rewrite rules (including rules
1286               generated by automatic specialisation of overloaded functions).
1287               Implied by <option>-O</option>. </entry>
1288               <entry>dynamic</entry>
1289               <entry><option>-fno-rewrite-rules</option></entry>
1290             </row>
1291
1292             <row>
1293               <entry><option>-fstrictness</option></entry>
1294               <entry>Turn on strictness analysis. Implied by <option>-O</option>.</entry>
1295               <entry>dynamic</entry>
1296               <entry>-fno-strictness</entry>
1297             </row>
1298
1299             <row>
1300               <entry><option>-fspec-constr</option></entry>
1301               <entry>Turn on the SpecConstr transformation. Implied by <option>-O2</option>.</entry>
1302               <entry>dynamic</entry>
1303               <entry>-fno-spec-constr</entry>
1304             </row>
1305
1306             <row>
1307               <entry><option>-fspec-constr-threshold</option>=<replaceable>n</replaceable></entry>
1308               <entry>Set the size threshold for the SpecConstr transformation to <replaceable>n</replaceable> (default: 200)</entry>
1309               <entry>static</entry>
1310               <entry><option>-fno-spec-constr-threshold</option></entry>
1311             </row>
1312
1313             <row>
1314               <entry><option>-fliberate-case</option></entry>
1315               <entry>Turn on the liberate-case transformation. Implied by <option>-O2</option>.</entry>
1316               <entry>dynamic</entry>
1317               <entry>-fno-liberate-case</entry>
1318             </row>
1319
1320             <row>
1321               <entry><option>-fliberate-case-threshold</option>=<replaceable>n</replaceable></entry>
1322               <entry>Set the size threshold for the liberate-case transformation to <replaceable>n</replaceable> (default: 200)</entry>
1323               <entry>static</entry>
1324               <entry><option>-fno-liberate-case-threshold</option></entry>
1325             </row>
1326
1327             <row>
1328               <entry><option>-funbox-strict-fields</option></entry>
1329               <entry>Flatten strict constructor fields</entry>
1330               <entry>dynamic</entry>
1331               <entry><option>-fno-unbox-strict-fields</option></entry>
1332             </row>
1333
1334             <row>
1335               <entry><option>-funfolding-creation-threshold</option></entry>
1336               <entry>Tweak unfolding settings</entry>
1337               <entry>static</entry>
1338               <entry><option>-fno-unfolding-creation-threshold</option></entry>
1339             </row>
1340
1341             <row>
1342               <entry><option>-funfolding-fun-discount</option></entry>
1343               <entry>Tweak unfolding settings</entry>
1344               <entry>static</entry>
1345               <entry><option>-fno-unfolding-fun-discount</option></entry>
1346             </row>
1347
1348             <row>
1349               <entry><option>-funfolding-keeness-factor</option></entry>
1350               <entry>Tweak unfolding settings</entry>
1351               <entry>static</entry>
1352               <entry><option>-fno-unfolding-keeness-factor</option></entry>
1353             </row>
1354
1355             <row>
1356               <entry><option>-funfolding-use-threshold</option></entry>
1357               <entry>Tweak unfolding settings</entry>
1358               <entry>static</entry>
1359               <entry><option>-fno-unfolding-use-threshold</option></entry>
1360             </row>
1361
1362             <row>
1363               <entry><option>-fno-pre-inlining</option></entry>
1364               <entry>Turn off pre-inlining</entry>
1365               <entry>static</entry>
1366               <entry>-</entry>
1367             </row>
1368           </tbody>
1369         </tgroup>
1370       </informaltable>
1371     </sect2>
1372
1373     <sect2>
1374       <title>Profiling options</title>
1375       
1376       <para><xref linkend="profiling"/></para>
1377
1378       <informaltable>
1379         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1380           <thead>
1381             <row>
1382               <entry>Flag</entry>
1383               <entry>Description</entry>
1384               <entry>Static/Dynamic</entry>
1385               <entry>Reverse</entry>
1386             </row>
1387           </thead>
1388           <tbody>
1389             <row>
1390               <entry><option>-auto</option></entry>
1391               <entry>Auto-add <literal>_scc_</literal>s to all
1392               exported functions</entry>
1393               <entry>static</entry>
1394               <entry><option>-no-auto</option></entry>
1395             </row>
1396             <row>
1397               <entry><option>-auto-all</option></entry>
1398               <entry>Auto-add <literal>_scc_</literal>s to all
1399               top-level functions</entry>
1400               <entry>static</entry>
1401               <entry><option>-no-auto-all</option></entry>
1402             </row>
1403             <row>
1404               <entry><option>-caf-all</option></entry>
1405               <entry>Auto-add <literal>_scc_</literal>s to all CAFs</entry>
1406               <entry>static</entry>
1407               <entry><option>-no-caf-all</option></entry>
1408             </row>
1409             <row>
1410               <entry><option>-prof</option></entry>
1411               <entry>Turn on profiling</entry>
1412               <entry>static</entry>
1413               <entry>-</entry>
1414             </row>
1415             <row>
1416               <entry><option>-ticky</option></entry>
1417               <entry>Turn on ticky-ticky profiling</entry>
1418               <entry>static</entry>
1419               <entry>-</entry>
1420             </row>
1421           </tbody>
1422         </tgroup>
1423       </informaltable>
1424     </sect2>
1425
1426     <sect2>
1427       <title>Program coverage options</title>
1428       
1429       <para><xref linkend="hpc"/></para>
1430
1431       <informaltable>
1432         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1433           <thead>
1434             <row>
1435               <entry>Flag</entry>
1436               <entry>Description</entry>
1437               <entry>Static/Dynamic</entry>
1438               <entry>Reverse</entry>
1439             </row>
1440           </thead>
1441           <tbody>
1442             <row>
1443               <entry><option>-fhpc</option></entry>
1444               <entry>Turn on Haskell program coverage instrumentation</entry>
1445               <entry>static</entry>
1446               <entry><option>-</option></entry>
1447             </row>
1448             <row>
1449               <entry><option>-hpcdir dir</option></entry>
1450               <entry>Directory to deposit .mix files during compilation (default is .hpc)</entry>
1451               <entry>dynamic</entry>
1452               <entry><option>-</option></entry>
1453             </row>
1454           </tbody>
1455         </tgroup>
1456       </informaltable>
1457     </sect2>
1458
1459     <sect2>
1460       <title>Haskell pre-processor options</title>
1461
1462       <para><xref linkend="pre-processor"/></para>
1463
1464       <informaltable>
1465         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1466           <thead>
1467             <row>
1468               <entry>Flag</entry>
1469               <entry>Description</entry>
1470               <entry>Static/Dynamic</entry>
1471               <entry>Reverse</entry>
1472             </row>
1473           </thead>
1474           <tbody>
1475             <row>
1476               <entry><option>-F</option></entry>
1477               <entry>
1478                   Enable the use of a pre-processor
1479                   (set with <option>-pgmF</option>)
1480               </entry>
1481               <entry>dynamic</entry>
1482               <entry>-</entry>
1483             </row>
1484           </tbody>
1485         </tgroup>
1486       </informaltable>
1487     </sect2>
1488
1489     <sect2>
1490       <title>C pre-processor options</title>
1491
1492       <para><xref linkend="c-pre-processor"/></para>
1493
1494       <informaltable>
1495         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1496           <thead>
1497             <row>
1498               <entry>Flag</entry>
1499               <entry>Description</entry>
1500               <entry>Static/Dynamic</entry>
1501               <entry>Reverse</entry>
1502             </row>
1503           </thead>
1504           <tbody>
1505             <row>
1506               <entry><option>-cpp</option></entry>
1507               <entry>Run the C pre-processor on Haskell source files</entry>
1508               <entry>dynamic</entry>
1509               <entry>-</entry>
1510             </row>
1511             <row>
1512               <entry><option>-D</option><replaceable>symbol</replaceable><optional>=<replaceable>value</replaceable></optional></entry>
1513               <entry>Define a symbol in the C pre-processor</entry>
1514               <entry>dynamic</entry>
1515               <entry><option>-U</option><replaceable>symbol</replaceable></entry>
1516             </row>
1517             <row>
1518               <entry><option>-U</option><replaceable>symbol</replaceable></entry>
1519               <entry>Undefine a symbol in the C pre-processor</entry>
1520               <entry>dynamic</entry>
1521               <entry>-</entry>
1522             </row>
1523             <row>
1524               <entry><option>-I</option><replaceable>dir</replaceable></entry>
1525               <entry>Add <replaceable>dir</replaceable> to the
1526               directory search list for <literal>#include</literal> files</entry>
1527               <entry>dynamic</entry>
1528               <entry>-</entry>
1529             </row>
1530           </tbody>
1531         </tgroup>
1532       </informaltable>
1533     </sect2>
1534
1535     <sect2>
1536       <title>C compiler options</title>
1537
1538       <para><xref linkend="options-C-compiler"/></para>
1539       <informaltable>
1540         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1541           <thead>
1542             <row>
1543               <entry>Flag</entry>
1544               <entry>Description</entry>
1545               <entry>Static/Dynamic</entry>
1546               <entry>Reverse</entry>
1547             </row>
1548           </thead>
1549           <tbody>
1550             <row>
1551               <entry><option>-#include</option> <replaceable>file</replaceable></entry>
1552               <entry>Include <replaceable>file</replaceable> when
1553               compiling the <filename>.hc</filename> file</entry>
1554               <entry>dynamic</entry>
1555               <entry>-</entry>
1556             </row>
1557           </tbody>
1558         </tgroup>
1559       </informaltable>
1560     </sect2>
1561
1562     <sect2>
1563       <title>Code generation options</title>
1564
1565       <para><xref linkend="options-codegen"/></para>
1566
1567       <informaltable>
1568         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1569           <thead>
1570             <row>
1571               <entry>Flag</entry>
1572               <entry>Description</entry>
1573               <entry>Static/Dynamic</entry>
1574               <entry>Reverse</entry>
1575             </row>
1576           </thead>
1577           <tbody>
1578             <row>
1579               <entry><option>-fasm</option></entry>
1580               <entry>Use the native code generator</entry>
1581               <entry>dynamic</entry>
1582               <entry>-fvia-C</entry>
1583             </row>
1584             <row>
1585               <entry><option>-fvia-C</option></entry>
1586               <entry>Compile via C</entry>
1587               <entry>dynamic</entry>
1588               <entry>-fasm</entry>
1589             </row>
1590             <row>
1591               <entry><option>-fno-code</option></entry>
1592               <entry>Omit code generation</entry>
1593               <entry>dynamic</entry>
1594               <entry>-</entry>
1595             </row>
1596             <row>
1597               <entry><option>-fbyte-code</option></entry>
1598               <entry>Generate byte-code</entry>
1599               <entry>dynamic</entry>
1600               <entry>-</entry>
1601             </row>
1602             <row>
1603               <entry><option>-fobject-code</option></entry>
1604               <entry>Generate object code</entry>
1605               <entry>dynamic</entry>
1606               <entry>-</entry>
1607             </row>
1608           </tbody>
1609         </tgroup>
1610       </informaltable>
1611     </sect2>
1612
1613     <sect2>
1614       <title>Linking options</title>
1615
1616       <para><xref linkend="options-linker"/></para>
1617
1618       <informaltable>
1619         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1620           <thead>
1621             <row>
1622               <entry>Flag</entry>
1623               <entry>Description</entry>
1624               <entry>Static/Dynamic</entry>
1625               <entry>Reverse</entry>
1626             </row>
1627           </thead>
1628           <tbody>
1629             <row>
1630               <entry><option>-fPIC</option></entry>
1631               <entry>Generate position-independent code (where available)</entry>
1632               <entry>static</entry>
1633               <entry>-</entry>
1634             </row>
1635             <row>
1636               <entry><option>-dynamic</option></entry>
1637               <entry>Use dynamic Haskell libraries (if available)</entry>
1638               <entry>static</entry>
1639               <entry>-</entry>
1640             </row>
1641             <row>
1642               <entry><option>-framework</option> <replaceable>name</replaceable></entry>
1643               <entry>On Darwin/MacOS X only, link in the framework <replaceable>name</replaceable>.
1644                 This option corresponds to the <option>-framework</option> option for Apple's Linker.</entry>
1645               <entry>dynamic</entry>
1646               <entry>-</entry>
1647             </row>
1648             <row>
1649               <entry><option>-framework-path</option> <replaceable>name</replaceable></entry>
1650               <entry>On Darwin/MacOS X only, add <replaceable>dir</replaceable> to the list of
1651                 directories searched for frameworks.
1652                 This option corresponds to the <option>-F</option> option for Apple's Linker.</entry>
1653               <entry>dynamic</entry>
1654               <entry>-</entry>
1655             </row>
1656             <row>
1657               <entry><option>-l</option><replaceable>lib</replaceable></entry>
1658               <entry>Link in library <replaceable>lib</replaceable></entry>
1659               <entry>dynamic</entry>
1660               <entry>-</entry>
1661             </row>
1662             <row>
1663               <entry><option>-L</option><replaceable>dir</replaceable></entry>
1664               <entry>Add <replaceable>dir</replaceable> to the list of
1665               directories searched for libraries</entry>
1666               <entry>dynamic</entry>
1667               <entry>-</entry>
1668             </row>
1669             <row>
1670               <entry><option>-main-is</option></entry>
1671               <entry>Set main module and function</entry>
1672               <entry>dynamic</entry>
1673               <entry>-</entry>
1674             </row>
1675             <row>
1676               <entry><option>--mk-dll</option></entry>
1677               <entry>DLL-creation mode (Windows only)</entry>
1678               <entry>dynamic</entry>
1679               <entry>-</entry>
1680             </row>
1681             <row>
1682               <entry><option>-no-hs-main</option></entry>
1683               <entry>Don't assume this program contains <literal>main</literal></entry>
1684               <entry>dynamic</entry>
1685               <entry>-</entry>
1686             </row>
1687             <row>
1688               <entry><option>-no-link</option></entry>
1689               <entry>Omit linking</entry>
1690               <entry>dynamic</entry>
1691               <entry>-</entry>
1692             </row>
1693             <row>
1694               <entry><option>-split-objs</option></entry>
1695               <entry>Split objects (for libraries)</entry>
1696               <entry>dynamic</entry>
1697               <entry>-</entry>
1698             </row>
1699             <row>
1700               <entry><option>-static</option></entry>
1701               <entry>Use static Haskell libraries</entry>
1702               <entry>static</entry>
1703               <entry>-</entry>
1704             </row>
1705             <row>
1706               <entry><option>-threaded</option></entry>
1707               <entry>Use the threaded runtime</entry>
1708               <entry>static</entry>
1709               <entry>-</entry>
1710             </row>
1711             <row>
1712               <entry><option>-debug</option></entry>
1713               <entry>Use the debugging runtime</entry>
1714               <entry>static</entry>
1715               <entry>-</entry>
1716             </row>
1717             <row>
1718               <entry><option>-fno-gen-manifest</option></entry>
1719               <entry>Do not generate a manifest file (Windows only)</entry>
1720               <entry>dynamic</entry>
1721               <entry>-</entry>
1722             </row>
1723             <row>
1724               <entry><option>-fno-embed-manifest</option></entry>
1725               <entry>Do not embed the manifest in the executable (Windows only)</entry>
1726               <entry>dynamic</entry>
1727               <entry>-</entry>
1728             </row>
1729           </tbody>
1730         </tgroup>
1731       </informaltable>
1732     </sect2>
1733
1734     <sect2>
1735       <title>Replacing phases</title>
1736
1737       <para><xref linkend="replacing-phases"/></para>
1738
1739       <informaltable>
1740         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1741           <thead>
1742             <row>
1743               <entry>Flag</entry>
1744               <entry>Description</entry>
1745               <entry>Static/Dynamic</entry>
1746               <entry>Reverse</entry>
1747             </row>
1748           </thead>
1749           <tbody>
1750             <row>
1751               <entry><option>-pgmL</option> <replaceable>cmd</replaceable></entry>
1752               <entry>Use <replaceable>cmd</replaceable> as the literate pre-processor</entry>
1753               <entry>dynamic</entry>
1754               <entry>-</entry>
1755             </row>
1756             <row>
1757               <entry><option>-pgmP</option> <replaceable>cmd</replaceable></entry>
1758               <entry>Use <replaceable>cmd</replaceable> as the C
1759               pre-processor (with <option>-cpp</option> only)</entry>
1760               <entry>dynamic</entry>
1761               <entry>-</entry>
1762             </row>
1763             <row>
1764               <entry><option>-pgmc</option> <replaceable>cmd</replaceable></entry>
1765               <entry>Use <replaceable>cmd</replaceable> as the C compiler</entry>
1766               <entry>dynamic</entry>
1767               <entry>-</entry>
1768             </row>
1769             <row>
1770               <entry><option>-pgmm</option> <replaceable>cmd</replaceable></entry>
1771               <entry>Use <replaceable>cmd</replaceable> as the mangler</entry>
1772               <entry>dynamic</entry>
1773               <entry>-</entry>
1774             </row>
1775             <row>
1776               <entry><option>-pgms</option> <replaceable>cmd</replaceable></entry>
1777               <entry>Use <replaceable>cmd</replaceable> as the splitter</entry>
1778               <entry>dynamic</entry>
1779               <entry>-</entry>
1780             </row>
1781             <row>
1782               <entry><option>-pgma</option> <replaceable>cmd</replaceable></entry>
1783               <entry>Use <replaceable>cmd</replaceable> as the assembler</entry>
1784               <entry>dynamic</entry>
1785               <entry>-</entry>
1786             </row>
1787             <row>
1788               <entry><option>-pgml</option> <replaceable>cmd</replaceable></entry>
1789               <entry>Use <replaceable>cmd</replaceable> as the linker</entry>
1790               <entry>dynamic</entry>
1791               <entry>-</entry>
1792             </row>
1793             <row>
1794               <entry><option>-pgmdll</option> <replaceable>cmd</replaceable></entry>
1795               <entry>Use <replaceable>cmd</replaceable> as the DLL generator</entry>
1796               <entry>dynamic</entry>
1797               <entry>-</entry>
1798             </row>
1799             <row>
1800               <entry><option>-pgmF</option> <replaceable>cmd</replaceable></entry>
1801               <entry>Use <replaceable>cmd</replaceable> as the pre-processor
1802               (with <option>-F</option> only)</entry>
1803               <entry>dynamic</entry>
1804               <entry>-</entry>
1805             </row>
1806             <row>
1807               <entry><option>-pgmwindres</option> <replaceable>cmd</replaceable></entry>
1808               <entry>Use <replaceable>cmd</replaceable> as the program for
1809                 embedding manifests on Windows.</entry>
1810               <entry>dynamic</entry>
1811               <entry>-</entry>
1812             </row>
1813           </tbody>
1814         </tgroup>
1815       </informaltable>
1816       <indexterm><primary><option>-pgmL</option></primary></indexterm>
1817       <indexterm><primary><option>-pgmP</option></primary></indexterm>
1818       <indexterm><primary><option>-pgmc</option></primary></indexterm>
1819       <indexterm><primary><option>-pgma</option></primary></indexterm>
1820       <indexterm><primary><option>-pgml</option></primary></indexterm>
1821       <indexterm><primary><option>-pgmdll</option></primary></indexterm>
1822       <indexterm><primary><option>-pgmF</option></primary></indexterm>
1823
1824     </sect2>
1825
1826     <sect2>
1827       <title>Forcing options to particular phases</title>
1828
1829       <para><xref linkend="forcing-options-through"/></para>
1830
1831       <informaltable>
1832         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1833           <thead>
1834             <row>
1835               <entry>Flag</entry>
1836               <entry>Description</entry>
1837               <entry>Static/Dynamic</entry>
1838               <entry>Reverse</entry>
1839             </row>
1840           </thead>
1841           <tbody>
1842             <row>
1843               <entry><option>-optL</option> <replaceable>option</replaceable></entry>
1844               <entry>pass <replaceable>option</replaceable> to the literate pre-processor</entry>
1845               <entry>dynamic</entry>
1846               <entry>-</entry>
1847             </row>
1848             <row>
1849               <entry><option>-optP</option> <replaceable>option</replaceable></entry>
1850               <entry>pass <replaceable>option</replaceable> to cpp (with
1851               <option>-cpp</option> only)</entry>
1852               <entry>dynamic</entry>
1853               <entry>-</entry>
1854             </row>
1855             <row>
1856               <entry><option>-optF</option> <replaceable>option</replaceable></entry>
1857               <entry>pass <replaceable>option</replaceable> to the
1858               custom pre-processor</entry>
1859               <entry>dynamic</entry>
1860               <entry>-</entry>
1861             </row>
1862             <row>
1863               <entry><option>-optc</option> <replaceable>option</replaceable></entry>
1864               <entry>pass <replaceable>option</replaceable> to the C compiler</entry>
1865               <entry>dynamic</entry>
1866               <entry>-</entry>
1867             </row>
1868             <row>
1869               <entry><option>-optm</option> <replaceable>option</replaceable></entry>
1870               <entry>pass <replaceable>option</replaceable> to the mangler</entry>
1871               <entry>dynamic</entry>
1872               <entry>-</entry>
1873             </row>
1874             <row>
1875               <entry><option>-opta</option> <replaceable>option</replaceable></entry>
1876               <entry>pass <replaceable>option</replaceable> to the assembler</entry>
1877               <entry>dynamic</entry>
1878               <entry>-</entry>
1879             </row>
1880             <row>
1881               <entry><option>-optl</option> <replaceable>option</replaceable></entry>
1882               <entry>pass <replaceable>option</replaceable> to the linker</entry>
1883               <entry>dynamic</entry>
1884               <entry>-</entry>
1885             </row>
1886             <row>
1887               <entry><option>-optdll</option> <replaceable>option</replaceable></entry>
1888               <entry>pass <replaceable>option</replaceable> to the DLL generator</entry>
1889               <entry>dynamic</entry>
1890               <entry>-</entry>
1891             </row>
1892             <row>
1893               <entry><option>-optdep</option> <replaceable>option</replaceable></entry>
1894               <entry>pass <replaceable>option</replaceable> to the dependency generator</entry>
1895               <entry>dynamic</entry>
1896               <entry>-</entry>
1897             </row>
1898             <row>
1899               <entry><option>-optwindres</option> <replaceable>option</replaceable></entry>
1900               <entry>pass <replaceable>option</replaceable> to <literal>windres</literal>.</entry>
1901               <entry>dynamic</entry>
1902               <entry>-</entry>
1903             </row>
1904           </tbody>
1905         </tgroup>
1906       </informaltable>
1907     </sect2>
1908
1909     <sect2>
1910       <title>Platform-specific options</title>
1911       
1912       <para><xref linkend="options-platform"/></para>
1913
1914       <informaltable>
1915         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1916           <thead>
1917             <row>
1918               <entry>Flag</entry>
1919               <entry>Description</entry>
1920               <entry>Static/Dynamic</entry>
1921               <entry>Reverse</entry>
1922             </row>
1923           </thead>
1924           <tbody>
1925             <row>
1926               <entry><option>-monly-[432]-regs</option></entry>
1927               <entry>(x86 only) give some registers back to the C compiler</entry>
1928               <entry>dynamic</entry>
1929               <entry>-</entry>
1930             </row>
1931           </tbody>
1932         </tgroup>
1933       </informaltable>
1934     </sect2>
1935
1936          
1937     <sect2>
1938       <title>External core file options</title>
1939
1940       <para><xref linkend="ext-core"/></para>
1941
1942       <informaltable>
1943         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1944           <thead>
1945             <row>
1946               <entry>Flag</entry>
1947               <entry>Description</entry>
1948               <entry>Static/Dynamic</entry>
1949               <entry>Reverse</entry>
1950             </row>
1951           </thead>
1952           <tbody>
1953             <row>
1954               <entry><option>-fext-core</option></entry>
1955               <entry>Generate <filename>.hcr</filename> external Core files</entry>
1956               <entry>static</entry>
1957               <entry>-</entry>
1958             </row>
1959           </tbody>
1960         </tgroup>
1961       </informaltable>
1962     </sect2>
1963
1964
1965     <sect2>
1966       <title>Compiler debugging options</title>
1967
1968       <para><xref linkend="options-debugging"/></para>
1969
1970       <informaltable>
1971         <tgroup cols="4" align="left" colsep="1" rowsep="1">
1972           <thead>
1973             <row>
1974               <entry>Flag</entry>
1975               <entry>Description</entry>
1976               <entry>Static/Dynamic</entry>
1977               <entry>Reverse</entry>
1978             </row>
1979           </thead>
1980           <tbody>
1981             <row>
1982               <entry><option>-dcore-lint</option></entry>
1983               <entry>Turn on internal sanity checking</entry>
1984               <entry>dynamic</entry>
1985               <entry>-</entry>
1986             </row>
1987             <row>
1988               <entry><option>-ddump-asm</option></entry>
1989               <entry>Dump assembly</entry>
1990               <entry>dynamic</entry>
1991               <entry>-</entry>
1992             </row>
1993             <row>
1994               <entry><option>-ddump-bcos</option></entry>
1995               <entry>Dump interpreter byte code</entry>
1996               <entry>dynamic</entry>
1997               <entry>-</entry>
1998             </row>
1999             <row>
2000               <entry><option>-ddump-cmm</option></entry>
2001               <entry>Dump C-- output</entry>
2002               <entry>dynamic</entry>
2003               <entry>-</entry>
2004             </row>
2005             <row>
2006               <entry><option>-ddump-cpranal</option></entry>
2007               <entry>Dump output from CPR analysis</entry>
2008               <entry>dynamic</entry>
2009               <entry>-</entry>
2010             </row>
2011             <row>
2012               <entry><option>-ddump-cse</option></entry>
2013               <entry>Dump CSE output</entry>
2014               <entry>dynamic</entry>
2015               <entry>-</entry>
2016             </row>
2017             <row>
2018               <entry><option>-ddump-deriv</option></entry>
2019               <entry>Dump deriving output</entry>
2020               <entry>dynamic</entry>
2021               <entry>-</entry>
2022             </row>
2023             <row>
2024               <entry><option>-ddump-ds</option></entry>
2025               <entry>Dump desugarer output</entry>
2026               <entry>dynamic</entry>
2027               <entry>-</entry>
2028             </row>
2029             <row>
2030               <entry><option>-ddump-flatC</option></entry>
2031               <entry>Dump &ldquo;flat&rdquo; C</entry>
2032               <entry>dynamic</entry>
2033               <entry>-</entry>
2034             </row>
2035             <row>
2036               <entry><option>-ddump-foreign</option></entry>
2037               <entry>Dump <literal>foreign export</literal> stubs</entry>
2038               <entry>dynamic</entry>
2039               <entry>-</entry>
2040             </row>
2041             <row>
2042               <entry><option>-ddump-hpc</option></entry>
2043               <entry>Dump after instrumentation for program coverage</entry>
2044               <entry>dynamic</entry>
2045               <entry>-</entry>
2046             </row>
2047             <row>
2048               <entry><option>-ddump-inlinings</option></entry>
2049               <entry>Dump inlining info</entry>
2050               <entry>dynamic</entry>
2051               <entry>-</entry>
2052             </row>
2053             <row>
2054               <entry><option>-ddump-occur-anal</option></entry>
2055               <entry>Dump occurrence analysis output</entry>
2056               <entry>dynamic</entry>
2057               <entry>-</entry>
2058             </row>
2059             <row>
2060               <entry><option>-ddump-opt-cmm</option></entry>
2061               <entry>Dump the results of C-- to C-- optimising passes</entry>
2062               <entry>dynamic</entry>
2063               <entry>-</entry>
2064             </row>
2065             <row>
2066               <entry><option>-ddump-parsed</option></entry>
2067               <entry>Dump parse tree</entry>
2068               <entry>dynamic</entry>
2069               <entry>-</entry>
2070             </row>
2071             <row>
2072               <entry><option>-ddump-prep</option></entry>
2073               <entry>Dump prepared core</entry>
2074               <entry>dynamic</entry>
2075               <entry>-</entry>
2076             </row>
2077             <row>
2078               <entry><option>-ddump-rn</option></entry>
2079               <entry>Dump renamer output</entry>
2080               <entry>dynamic</entry>
2081               <entry>-</entry>
2082             </row>
2083             <row>
2084               <entry><option>-ddump-rules</option></entry>
2085               <entry>Dump rules</entry>
2086               <entry>dynamic</entry>
2087               <entry>-</entry>
2088             </row>
2089             <row>
2090               <entry><option>-ddump-simpl</option></entry>
2091               <entry>Dump final simplifier output</entry>
2092               <entry>dynamic</entry>
2093               <entry>-</entry>
2094             </row>
2095             <row>
2096               <entry><option>-ddump-simpl-phases</option></entry>
2097               <entry>Dump output from each simplifier phase</entry>
2098               <entry>dynamic</entry>
2099               <entry>-</entry>
2100             </row>
2101             <row>
2102               <entry><option>-ddump-simpl-iterations</option></entry>
2103               <entry>Dump output from each simplifier iteration</entry>
2104               <entry>dynamic</entry>
2105               <entry>-</entry>
2106             </row>
2107             <row>
2108               <entry><option>-ddump-spec</option></entry>
2109               <entry>Dump specialiser output</entry>
2110               <entry>dynamic</entry>
2111               <entry>-</entry>
2112             </row>
2113             <row>
2114               <entry><option>-ddump-splices</option></entry>
2115               <entry>Dump TH spliced expressions, and what they evaluate to</entry>
2116               <entry>dynamic</entry>
2117               <entry>-</entry>
2118             </row>
2119             <row>
2120               <entry><option>-ddump-stg</option></entry>
2121               <entry>Dump final STG</entry>
2122               <entry>dynamic</entry>
2123               <entry>-</entry>
2124             </row>
2125             <row>
2126               <entry><option>-ddump-stranal</option></entry>
2127               <entry>Dump strictness analyser output</entry>
2128               <entry>dynamic</entry>
2129               <entry>-</entry>
2130             </row>
2131             <row>
2132               <entry><option>-ddump-tc</option></entry>
2133               <entry>Dump typechecker output</entry>
2134               <entry>dynamic</entry>
2135               <entry>-</entry>
2136             </row>
2137             <row>
2138               <entry><option>-ddump-types</option></entry>
2139               <entry>Dump type signatures</entry>
2140               <entry>dynamic</entry>
2141               <entry>-</entry>
2142             </row>
2143             <row>
2144               <entry><option>-ddump-worker-wrapper</option></entry>
2145               <entry>Dump worker-wrapper output</entry>
2146               <entry>dynamic</entry>
2147               <entry>-</entry>
2148             </row>
2149             <row>
2150               <entry><option>-ddump-if-trace</option></entry>
2151               <entry>Trace interface files</entry>
2152               <entry>dynamic</entry>
2153               <entry>-</entry>
2154             </row>
2155             <row>
2156               <entry><option>-ddump-tc-trace</option></entry>
2157               <entry>Trace typechecker</entry>
2158               <entry>dynamic</entry>
2159               <entry>-</entry>
2160             </row>
2161             <row>
2162               <entry><option>-ddump-rn-trace</option></entry>
2163               <entry>Trace renamer</entry>
2164               <entry>dynamic</entry>
2165               <entry>-</entry>
2166             </row>
2167             <row>
2168               <entry><option>-ddump-rn-stats</option></entry>
2169               <entry>Renamer stats</entry>
2170               <entry>dynamic</entry>
2171               <entry>-</entry>
2172             </row>
2173             <row>
2174               <entry><option>-ddump-simpl-stats</option></entry>
2175               <entry>Dump simplifier stats</entry>
2176               <entry>dynamic</entry>
2177               <entry>-</entry>
2178             </row>
2179             <row>
2180               <entry><option>-dppr-debug</option></entry>
2181               <entry>Turn on debug printing (more verbose)</entry>
2182               <entry>static</entry>
2183               <entry>-</entry>
2184             </row>
2185             <row>
2186               <entry><option>-dppr-noprags</option></entry>
2187               <entry>Don't output pragma info in dumps</entry>
2188               <entry>static</entry>
2189               <entry>-</entry>
2190             </row>
2191             <row>
2192               <entry><option>-dppr-user-length</option></entry>
2193               <entry>Set the depth for printing expressions in error msgs</entry>
2194               <entry>static</entry>
2195               <entry>-</entry>
2196             </row>
2197             <row>
2198               <entry><option>-dsource-stats</option></entry>
2199               <entry>Dump haskell source stats</entry>
2200               <entry>dynamic</entry>
2201               <entry>-</entry>
2202             </row>
2203             <row>
2204               <entry><option>-dcmm-lint</option></entry>
2205               <entry>C-- pass sanity checking</entry>
2206               <entry>dynamic</entry>
2207               <entry>-</entry>
2208             </row>
2209             <row>
2210               <entry><option>-dstg-lint</option></entry>
2211               <entry>STG pass sanity checking</entry>
2212               <entry>dynamic</entry>
2213               <entry>-</entry>
2214             </row>
2215             <row>
2216               <entry><option>-dstg-stats</option></entry>
2217               <entry>Dump STG stats</entry>
2218               <entry>dynamic</entry>
2219               <entry>-</entry>
2220             </row>
2221             <row>
2222               <entry><option>-dverbose-core2core</option></entry>
2223               <entry>Show output from each core-to-core pass</entry>
2224               <entry>dynamic</entry>
2225               <entry>-</entry>
2226             </row>
2227             <row>
2228               <entry><option>-dverbose-stg2stg</option></entry>
2229               <entry>Show output from each STG-to-STG pass</entry>
2230               <entry>dynamic</entry>
2231               <entry>-</entry>
2232             </row>
2233             <row>
2234               <entry><option>-dshow-passes</option></entry>
2235               <entry>Print out each pass name as it happens</entry>
2236               <entry>dynamic</entry>
2237               <entry>-</entry>
2238             </row>
2239             <row>
2240               <entry><option>-dfaststring-stats</option></entry>
2241               <entry>Show statistics for fast string usage when finished</entry>
2242               <entry>dynamic</entry>
2243               <entry>-</entry>
2244             </row>
2245           </tbody>
2246         </tgroup>
2247       </informaltable>
2248     </sect2>
2249       
2250     <sect2>
2251       <title>Misc compiler options</title>
2252
2253       <informaltable>
2254         <tgroup cols="4" align="left" colsep="1" rowsep="1">
2255           <thead>
2256             <row>
2257               <entry>Flag</entry>
2258               <entry>Description</entry>
2259               <entry>Static/Dynamic</entry>
2260               <entry>Reverse</entry>
2261             </row>
2262           </thead>
2263           <tbody>
2264             <row>
2265               <entry><option>-fno-hi-version-check</option></entry>
2266               <entry>Don't complain about <literal>.hi</literal> file mismatches</entry>
2267               <entry>static</entry>
2268               <entry>-</entry>
2269             </row>
2270             <row>
2271               <entry><option>-dno-black-holing</option></entry>
2272               <entry>Turn off black holing (probably doesn't work)</entry>
2273               <entry>static</entry>
2274               <entry>-</entry>
2275             </row>
2276             <row>
2277               <entry><option>-fno-method-sharing</option></entry>
2278               <entry>Don't share specialisations of overloaded functions</entry>
2279               <entry>static</entry>
2280               <entry>-</entry>
2281             </row>
2282             <row>
2283               <entry><option>-fhistory-size</option></entry>
2284               <entry>Set simplification history size</entry>
2285               <entry>static</entry>
2286               <entry>-</entry>
2287             </row>
2288             <row>
2289               <entry><option>-funregisterised</option></entry>
2290               <entry>Unregisterised compilation (use <option>-unreg</option> instead)</entry>
2291               <entry>static</entry>
2292               <entry>-</entry>
2293             </row>
2294             <row>
2295               <entry><option>-fno-asm-mangling</option></entry>
2296               <entry>Turn off assembly mangling (use <option>-unreg</option> instead)</entry>
2297               <entry>dynamic</entry>
2298               <entry>-</entry>
2299             </row>
2300           </tbody>
2301         </tgroup>
2302       </informaltable>
2303     </sect2>
2304   </sect1>
2305
2306
2307 <!--
2308 Still to document:
2309
2310 Misc:
2311   ,  ( "H"                 , HasArg (setHeapSize . fromIntegral . decodeSize) )
2312
2313   -Bdir
2314 -->
2315
2316 <!-- Emacs stuff:
2317      ;;; Local Variables: ***
2318      ;;; mode: xml ***
2319      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
2320      ;;; End: ***
2321  -->