X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=572485010dae53689aba83cc28822450836166b7;hb=65277a1c9ff86c28c656849d6f6cbb392f1eb3e7;hp=b87044f5acd69de2b228a3766e04eb7f5a70b2ec;hpb=7defebee53964996947d1dee2c6606519d796429;p=ghc-hetmet.git diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index b87044f..5724850 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -820,6 +820,19 @@ + + Enable explicit universal quantification. + Implied by , + , + , + , + , + + + dynamic + + + Enable polymorphic components for data constructors. dynamic @@ -1358,6 +1371,13 @@ + + Turn on specialisation of overloaded functions. Implied by . + dynamic + -fno-specialise + + + Turn on full laziness (floating bindings outwards). Implied by . dynamic @@ -1365,12 +1385,19 @@ - + + Turn on the float-in transformation. Implied by . + dynamic + -fno-float-in + + + + Switch on all rewrite rules (including rules generated by automatic specialisation of overloaded functions). Implied by . dynamic - + @@ -1380,6 +1407,14 @@ -fno-strictness + + =n + Run an additional strictness analysis before simplifier +phase n + dynamic + - + + Turn on the SpecConstr transformation. Implied by . @@ -1521,7 +1556,7 @@ - Turn on ticky-ticky profiling + Turn on ticky-ticky profiling static - @@ -1831,6 +1866,15 @@ dynamic - + + path + Set the install name (via -install_name passed to Apple's + linker), specifying the full install path of the library file. Any libraries + or executables that link with it later will pick up that path as their + runtime search location for it. (Darwin/MacOS X only) + dynamic + - + @@ -2294,6 +2338,12 @@ - + + Suppress the printing of coercions in Core dumps to make them shorter. + static + - + + Don't output pragma info in dumps static