X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=8e185701c38e98adb48d9d26c7c40867ab877f73;hb=536852b1348fde6ec0ba13859cc5ddf8480a1653;hp=9ff5e1a4d38b8ca081af2bec081adff6c65d824c;hpb=a8e681c1e8aa4bc602714ff61583cd4e969d7187;p=ghc-hetmet.git diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 9ff5e1a..8e18570 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 - @@ -489,6 +493,12 @@ dynamic - + + + Turn off printing of binding results in GHCi + dynamic + - + @@ -723,7 +733,7 @@ - enable all warnings + enable almost all warnings (details in ) dynamic @@ -756,6 +766,13 @@ + + + warn when the Prelude is implicitly imported + dynamic + + + warn when a pattern match could fail @@ -835,6 +852,13 @@ + + warn when the Monomorphism Restriction is applied + dynamic + + + + warn about bindings that are unused dynamic @@ -911,7 +935,7 @@ - Enable case-merging + Enable case-merging. Implied by . dynamic @@ -925,7 +949,7 @@ - Enable eta-reduction + Enable eta-reduction. Implied by . dynamic @@ -945,14 +969,6 @@ - - Switch off all rewrite rules (including rules - generated by automatic specialisation of overloaded functions) - static - - - - Ignore assertions in the source dynamic @@ -967,13 +983,6 @@ - - Tweak the liberate-case optimisation (default: 10) - static - - - - Don't generate interface pragmas dynamic @@ -1004,31 +1013,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 +1105,13 @@ static + + + + Turn off pre-inlining + static + - + @@ -1264,7 +1304,19 @@ Omit code generation - mode + dynamic + - + + + + Generate byte-code + dynamic + - + + + + Generate object code + dynamic - @@ -1928,12 +1980,6 @@ dynamic - - - - Turn off printing of binding results in GHCi - dynamic - - -