X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=e0940aec0d4c43106ba2fed740111e4d8fbcd10b;hb=6cec61d14a324285dbb8ce73d4c7215f1f8d6766;hp=3920c8ef0f9ac495803f22e7364da8af2dc94bef;hpb=f2aaae9757e7532485c97f6c9a9ed5437542d1dd;p=ghc-hetmet.git diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 3920c8e..e0940ae 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 - @@ -1551,6 +1544,13 @@ phase n + + Turn off the coercion optimiser + static + - + + + Turn on eager blackholing dynamic @@ -1743,13 +1743,7 @@ phase n Use the native code generator dynamic - -fvia-C - - - - Compile via C - dynamic - -fasm + -fllvm @@ -1998,12 +1992,6 @@ phase n - cmd - Use cmd as the mangler - dynamic - - - - cmd Use cmd as the splitter dynamic @@ -2250,6 +2238,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 @@ -2587,12 +2582,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