X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=47b51a8298a7c8ecd61256d5fbc6ca4bd93e03e9;hb=29edb8f84852f3bd5bdb1c859bc469f209262d27;hp=1db7c461f76d86b7529072eb5d920b05ff139e0b;hpb=6a05ec5ef5373f61b7f9f5bdc344483417fa801b;p=ghc-hetmet.git diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 1db7c46..47b51a8 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -90,12 +90,6 @@ - - - display GHC documentation directory - mode - - - - output full span in error messages static @@ -434,11 +428,7 @@ file - Read the interface in - file and dump it as text to - stdout. - mode - - + See . @@ -474,7 +464,7 @@ - + Interactive-mode options @@ -521,11 +511,18 @@ + + Turn on printing of binding results in GHCi + dynamic - Turn off printing of binding results in GHCi + + + + Turn off printing of binding contents in GHCi dynamic - + @@ -700,7 +697,7 @@ - + Relaxed checking for mutually-recursive polymorphic functions dynamic @@ -746,7 +743,13 @@ - + + Enable quasiquotation. + dynamic + + + + Enable bang patterns. dynamic @@ -783,11 +786,29 @@ - Enable polymorphic components. + Enable polymorphic components for data constructors. dynamic + + Enable rank-2 types. + dynamic + + + + + Enable rank-N types. + dynamic + + + + + Enable impredicative types. + dynamic + + + Enable existential quantification. dynamic @@ -818,6 +839,12 @@ + + Enable transform list comprehensions. + dynamic + + + Enable unlifted FFI types. dynamic @@ -830,18 +857,6 @@ - - Enable rank-2 types. - dynamic - - - - - Enable rank-N types. - dynamic - - - Enable type operators. dynamic @@ -861,19 +876,19 @@ - Enable record wildcards. + Enable record wildcards. dynamic - Enable record puns. + Enable record puns. dynamic - Enable the disambiguate fields. exception + Enable record field disambiguation. dynamic @@ -909,19 +924,19 @@ - Enable flexible contexts. + Enable flexible contexts. dynamic - Enable flexible instances. + Enable flexible instances. dynamic - Enable constrained class methods. + Enable constrained class methods. dynamic @@ -1062,8 +1077,8 @@ - warn when the module contains "orphan" instance declarations - or rewrite rules + warn when the module contains orphan instance declarations + or rewrite rules dynamic @@ -1243,6 +1258,14 @@ + + Set the number of phases for the simplifier (default 2). + Ignored with . + dynamic + - + + + Set the max iterations for the simplifier dynamic @@ -1295,6 +1318,22 @@ + =n + Set the size threshold for the SpecConstr transformation to n (default: 200) + static + + + + + =n + Set to n (default: 3) the maximum number of + specialisations that will be created for any one function + by the SpecConstr transformation + static + + + + Turn on the liberate-case transformation. Implied by . dynamic @@ -1302,11 +1341,17 @@ - =n - Set the size threshold for function specialisation to n, for both - the liberate-case and SpecConstr transformations (default: 200) + + Turn on the static argument transformation. Implied by . + dynamic + -fno-static-argument-transformation + + + + =n + Set the size threshold for the liberate-case transformation to n (default: 200) static - + @@ -1338,13 +1383,6 @@ - - Tweak unfolding settings - static - - - - Tweak unfolding settings static @@ -2032,7 +2070,7 @@ - Dump after intrumentation for program coverage + Dump after instrumentation for program coverage dynamic - @@ -2085,6 +2123,12 @@ - + + Dump output from each simplifier phase + dynamic + - + + Dump output from each simplifier iteration dynamic @@ -2098,7 +2142,7 @@ - Dump TH splided expressions, and what they evaluate to + Dump TH spliced expressions, and what they evaluate to dynamic -