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