docs/users_guide/flags.xml

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