X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=aca1d4763e91fad416c471212083a5dbdb49a836;hb=25ebbb764146f4c4634720bb285c3611e95cc951;hp=1e09b1ed8eef2e38ec7ae5db7e2892cb353decde;hpb=b43bef57566a1590c090b642c18bb2ab1794a500;p=ghc-hetmet.git diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 1e09b1e..aca1d47 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -36,6 +36,12 @@ - + + do a dry run + dynamic + - + + verbose mode (equivalent to ) dynamic @@ -78,6 +84,12 @@ - + size + Set the minimum heap size to size + static + - + + Summarise timing stats for GHC (same as +RTS -tstderr) static @@ -157,25 +169,29 @@ - Interactive mode - normally used by just running ghci + Interactive mode - normally used by just running ghci; + see for details. mode - - Build a multi-module Haskell program, automatically figuring out dependencies. Likely to be much easier, and faster, than using make. + Build a multi-module Haskell program, automatically figuring out dependencies. Likely to be much easier, and faster, than using make; + see for details.. mode - - Evaluate expr + Evaluate expr; + see for details. mode - - Generate dependency information suitable for use in a Makefile. + Generate dependency information suitable for use in a Makefile; + see for details. mode - @@ -346,13 +362,13 @@ dir1:dir2:... add dir, dir2, etc. to import path - dynamic + static/:set - Empty the import directory list - dynamic + static/:set - @@ -426,11 +442,11 @@ - + Turn off recompilation checking; implied by any option dynamic - + @@ -465,6 +481,24 @@ static - + + + Generate bytecode enabled for debugging + dynamic + - + + + + Do not include debugging information in bytecodes + dynamic + - + + + + Turn off printing of binding results in GHCi + dynamic + - + @@ -487,9 +521,15 @@ + P + Compile to be part of package P + dynamic + - + + P Expose package P - dynamic + static/:set - @@ -501,25 +541,25 @@ name Hide package P - dynamic + static/:set - name Ignore package P - dynamic + static/:set - file Load more packages from file - dynamic + static - Don't load the user's package config file. - dynamic + static - @@ -545,45 +585,46 @@ - Enable overlapping instances + Enable overlapping instances dynamic - - Enable undecidable instances - dynamic - - - - Enable incoherent instances. + Enable incoherent instances. Implies dynamic - - Enable arrow notation extension + + Enable undecidable instances dynamic - + n - set the limit for context reduction + set the limit for context reduction dynamic + + Enable arrow + notation extension + dynamic + + + or - Enable foreign function interface (implied by + Enable foreign function interface (implied by ) dynamic - Enable generics + Enable generic classes dynamic @@ -595,7 +636,7 @@ - Enable Implicit Parameters. + Enable Implicit Parameters. Implied by . dynamic @@ -614,36 +655,55 @@ - Disable the monomorphism restriction + Disable the monomorphism restriction dynamic - Make pattern bindings polymorphic + Make pattern bindings polymorphic dynamic - Use GHCi's extended default rules in a normal module + Use GHCi's extended default rules in a normal module dynamic + + Enable overloaded string literals. + + dynamic + + + - Enable lexically-scoped type variables. + Enable lexically-scoped type variables. Implied by . dynamic - Enable Template Haskell. + Enable Template Haskell. No longer implied by . dynamic + + + Enable type families. + dynamic + + + + + Enable bang patterns. + dynamic + + @@ -679,7 +739,7 @@ - enable all warnings + enable almost all warnings (details in ) dynamic @@ -712,6 +772,13 @@ + + + warn when the Prelude is implicitly imported + dynamic + + + warn when a pattern match could fail @@ -727,13 +794,6 @@ - - enable miscellaneous warnings - dynamic - - - - warn when fields of a record are uninitialised dynamic @@ -762,7 +822,7 @@ - + warn when the module contains "orphan" instance declarations or rewrite rules dynamic @@ -784,6 +844,13 @@ + + warn if there are tabs in the source file + dynamic + + + + warn when defaulting happens dynamic @@ -791,6 +858,13 @@ + + warn when the Monomorphism Restriction is applied + dynamic + + + + warn about bindings that are unused dynamic @@ -867,7 +941,7 @@ - Enable case-merging + Enable case-merging. Implied by . dynamic @@ -881,7 +955,7 @@ - Enable eta-reduction + Enable eta-reduction. Implied by . dynamic @@ -901,14 +975,6 @@ - - Switch off all rewrite rules (including rules - generated by automatic specialisation of overloaded functions) - static - - - - Ignore assertions in the source dynamic @@ -923,13 +989,6 @@ - - Tweak the liberate-case optimisation (default: 10) - static - - - - Don't generate interface pragmas dynamic @@ -960,31 +1019,55 @@ - - Turn off common sub-expression + + Turn on common sub-expression elimination. Implied by . dynamic - - + -fno-cse - - Turn off full laziness (floating bindings outwards). + + Turn on full laziness (floating bindings outwards). Implied by . dynamic - -ffull-laziness + -fno-full-laziness - - Turn off pre-inlining - static - - + + Switch on all rewrite rules (including rules + generated by automatic specialisation of overloaded functions). + Implied by . + dynamic + - - Turn off strictness analysis + + Turn on strictness analysis. Implied by . dynamic - - + -fno-strictness + + + + + Turn on the SpecConstr transformation. Implied by . + dynamic + -fno-spec-constr + + + + + Turn on the liberate-case transformation. Implied by . + dynamic + -fno-liberate-case + + + + =n + Set the size threshold for function specialisation to n, for both + the liberate-case and SpecConstr transformations (default: 200) + static + @@ -1028,6 +1111,13 @@ static + + + + Turn off pre-inlining + static + - + @@ -1064,12 +1154,6 @@ - - Auto-add _scc_s to all dictionaries - static - - - Auto-add _scc_s to all CAFs static @@ -1093,9 +1177,9 @@ - Parallelism options + Haskell pre-processor options - + @@ -1109,21 +1193,12 @@ - - Enable GRANSIM - static - - - - - - Enable Parallel Haskell - static - - - - - - Enable SMP support - static + + + Enable the use of a pre-processor + (set with ) + + dynamic - @@ -1235,7 +1310,19 @@ Omit code generation - mode + dynamic + - + + + + Generate byte-code + dynamic + - + + + + Generate object code + dynamic - @@ -1260,6 +1347,12 @@ + + Generate position-independent code (where available) + static + - + + Use dynamic Haskell libraries (if available) static @@ -1295,7 +1388,7 @@ - Set main function + Set main module and function dynamic - @@ -1382,6 +1475,18 @@ - + cmd + Use cmd as the mangler + dynamic + - + + + cmd + Use cmd as the splitter + dynamic + - + + cmd Use cmd as the assembler dynamic @@ -1400,12 +1505,6 @@ - - cmd - Use cmd as the dependency generator - dyanmic - - - - cmd Use cmd as the pre-processor (with only) @@ -1421,7 +1520,6 @@ - @@ -1469,6 +1567,12 @@ - + option + pass option to the mangler + dynamic + - + + option pass option to the assembler dynamic @@ -1514,13 +1618,7 @@ - - (SPARC only) enable version 8 support - static - - - - - + (x86 only) give some registers back to the C compiler dynamic - @@ -1582,12 +1680,6 @@ - - - Dump abstract C - dynamic - - - - Dump assembly dynamic @@ -1600,6 +1692,12 @@ - + + Dump C-- output + dynamic + - + + Dump output from CPR analysis dynamic @@ -1648,14 +1746,20 @@ - + + Dump the results of C-- to C-- optimising passes + dynamic + - + + Dump parse tree dynamic - - - Dump “real” C + + Dump prepared core dynamic - @@ -1672,12 +1776,6 @@ - - - Dump saturated output - dynamic - - - - Dump final simplifier output dynamic @@ -1696,6 +1794,12 @@ - + + Dump TH splided expressions, and what they evaluate to + dynamic + - + + Dump final STG dynamic @@ -1720,32 +1824,32 @@ - - - Dump UsageSP analysis output + + Dump worker-wrapper output dynamic - - - Dump worker-wrapper output + + Trace interface files dynamic - - - Trace renamer + + Trace typechecker dynamic - - - Renamer stats + + Trace renamer dynamic - - - Native code generator intermediate form + + Renamer stats dynamic - @@ -1780,20 +1884,20 @@ - - - STG pass sanity checking + + C-- pass sanity checking dynamic - - - Dump STG stats + + STG pass sanity checking dynamic - - - UsageSP sanity checker + + Dump STG stats dynamic - @@ -1810,6 +1914,18 @@ - + + Print out each pass name as it happens + dynamic + - + + + + Show statistics for fast string usage when finished + dynamic + - + + Enable unregisterised compilation static @@ -1835,12 +1951,6 @@ - - ??? - static - - - - Don't complain about .hi file mismatches static