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