X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=8e185701c38e98adb48d9d26c7c40867ab877f73;hb=536852b1348fde6ec0ba13859cc5ddf8480a1653;hp=9c65282dbd276e7c19a002213dec5bd2e0f04365;hpb=6e2021202c3eec0c95a9d0b7c355559f2630d380;p=ghc-hetmet.git diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 9c65282..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 - @@ -358,13 +362,13 @@ dir1:dir2:... add dir, dir2, etc. to import path - dynamic + static/:set - Empty the import directory list - dynamic + static/:set - @@ -489,6 +493,12 @@ dynamic - + + + Turn off printing of binding results in GHCi + dynamic + - + @@ -519,7 +529,7 @@ P Expose package P - dynamic + static/:set - @@ -531,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 - @@ -662,6 +672,13 @@ + + Enable overloaded string literals. + + dynamic + + + Enable lexically-scoped type variables. Implied by . @@ -677,7 +694,7 @@ - Enable bang patterns. + Enable bang patterns. dynamic @@ -716,7 +733,7 @@ - enable all warnings + enable almost all warnings (details in ) dynamic @@ -749,6 +766,13 @@ + + + warn when the Prelude is implicitly imported + dynamic + + + warn when a pattern match could fail @@ -828,6 +852,13 @@ + + warn when the Monomorphism Restriction is applied + dynamic + + + + warn about bindings that are unused dynamic @@ -904,7 +935,7 @@ - Enable case-merging + Enable case-merging. Implied by . dynamic @@ -918,7 +949,7 @@ - Enable eta-reduction + Enable eta-reduction. Implied by . dynamic @@ -938,14 +969,6 @@ - - Switch off all rewrite rules (including rules - generated by automatic specialisation of overloaded functions) - static - - - - Ignore assertions in the source dynamic @@ -960,13 +983,6 @@ - - Tweak the liberate-case optimisation (default: 10) - static - - - - Don't generate interface pragmas dynamic @@ -997,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 + @@ -1065,6 +1105,13 @@ static + + + + Turn off pre-inlining + static + - + @@ -1257,7 +1304,19 @@ Omit code generation - mode + dynamic + - + + + + Generate byte-code + dynamic + - + + + + Generate object code + dynamic - @@ -1323,7 +1382,7 @@ - Set main function + Set main module and function dynamic - @@ -1921,12 +1980,6 @@ dynamic - - - - Turn off printing of binding results in GHCi - dynamic - - -