X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=d0b01691a7f569fe75eb326f112950e1ea60ece2;hb=0e2c7147358aca96e5a4245c3c4ead848d472fb9;hp=9f78959f63407de4dc1e36391c5dcc5c21f0fc8d;hpb=4d2b98d0d8e0a349d2448d93d8c0518045489854;p=ghc-hetmet.git diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 9f78959..d0b0169 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -169,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 - @@ -478,6 +482,18 @@ - + + Display a one-line banner at GHCi startup + dynamic + - + + + + Display a full banner at GHCi startup + dynamic + - + + Generate bytecode enabled for debugging dynamic @@ -489,6 +505,12 @@ dynamic - + + + Turn off printing of binding results in GHCi + dynamic + - + @@ -683,8 +705,14 @@ + + Enable type families. + dynamic + + + - Enable bang patterns. + Enable bang patterns. dynamic @@ -723,7 +751,7 @@ - enable all warnings + enable almost all warnings (details in ) dynamic @@ -756,6 +784,13 @@ + + + warn when the Prelude is implicitly imported + dynamic + + + warn when a pattern match could fail @@ -835,6 +870,13 @@ + + warn when the Monomorphism Restriction is applied + dynamic + + + + warn about bindings that are unused dynamic @@ -911,7 +953,7 @@ - Enable case-merging + Enable case-merging. Implied by . dynamic @@ -925,7 +967,7 @@ - Enable eta-reduction + Enable eta-reduction. Implied by . dynamic @@ -945,14 +987,6 @@ - - Switch off all rewrite rules (including rules - generated by automatic specialisation of overloaded functions) - static - - - - Ignore assertions in the source dynamic @@ -967,13 +1001,6 @@ - - Tweak the liberate-case optimisation (default: 10) - static - - - - Don't generate interface pragmas dynamic @@ -1004,31 +1031,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 + @@ -1072,6 +1123,13 @@ static + + + + Turn off pre-inlining + static + - + @@ -1264,7 +1322,19 @@ Omit code generation - mode + dynamic + - + + + + Generate byte-code + dynamic + - + + + + Generate object code + dynamic - @@ -1330,7 +1400,7 @@ - Set main function + Set main module and function dynamic - @@ -1928,12 +1998,6 @@ dynamic - - - - Turn off printing of binding results in GHCi - dynamic - - -