X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=26ab9ebe5fa0903bcdbf0edff08ed4a621701b45;hb=40df25409b34352f33f63881a3b9d9846ee03748;hp=1a5e67e7914383ff90be6508cf9636bf7017e70b;hpb=f01386484ac20e8fbe9a0809e198396bff883142;p=ghc-hetmet.git diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 1a5e67e..26ab9eb 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -325,13 +325,6 @@ - - or - - retain intermediate .raw_s files - dynamic - - - - retain all intermediate temporary files dynamic @@ -567,7 +560,7 @@ P Compile to be part of package P - dynamic + static - @@ -1187,6 +1180,13 @@ + + warn about polymorphic local bindings without signatures + dynamic + + + + warn when names are shadowed dynamic @@ -1551,6 +1551,13 @@ phase n + + Turn off the coercion optimiser + static + - + + + Turn on eager blackholing dynamic @@ -1992,12 +1999,6 @@ phase n - cmd - Use cmd as the mangler - dynamic - - - - cmd Use cmd as the splitter dynamic @@ -2244,6 +2245,13 @@ phase n - + + Print a one-line summary of the size of the Core program + at the end of the optimisation pipeline + dynamic + - + + Dump output from CPR analysis dynamic @@ -2581,12 +2589,6 @@ phase n - - - Turn off assembly mangling (use instead) - dynamic - - - - Turn off the GHCi sandbox. Means computations are run in teh main thread, rather than a forked thread. dynamic