X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=e0940aec0d4c43106ba2fed740111e4d8fbcd10b;hb=8419203b7eb5aa4bb13f8d1263632de4d10a4048;hp=f5f949a100fe1a0b5838b385990c70a4e0dc0226;hpb=224b5e669cb545d6d49a1369c036dde516400081;p=ghc-hetmet.git diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index f5f949a..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 @@ -1992,12 +1992,6 @@ phase n - cmd - Use cmd as the mangler - dynamic - - - - cmd Use cmd as the splitter dynamic @@ -2588,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