From c6e3daca2a4bc8334cfc6708d9af389b7595c90c Mon Sep 17 00:00:00 2001 From: simonmar Date: Thu, 28 Jul 2005 15:41:47 +0000 Subject: [PATCH] [project @ 2005-07-28 15:41:47 by simonmar] Document a few more options --- ghc/docs/users_guide/using.xml | 35 +++++++++++++++++++++++++++++++---- 1 file changed, 31 insertions(+), 4 deletions(-) diff --git a/ghc/docs/users_guide/using.xml b/ghc/docs/users_guide/using.xml index 80b8790..25869d9 100644 --- a/ghc/docs/users_guide/using.xml +++ b/ghc/docs/users_guide/using.xml @@ -1290,6 +1290,18 @@ f "2" = 2 + + + + + Turns off the common-sub-expression elimination optimisation. + Can be useful if you have some unsafePerformIO + expressions that you don't want commoned-up. + + + + + @@ -1301,12 +1313,27 @@ f "2" = 2 - - + + + + + Turns off the full laziness optimisation (also known as + let-floating). Full laziness increases sharing, which can lead + to increased memory residency. + + + + + + + - Turns off the CPR (constructed product result) - analysis; it is somewhat experimental. + Turn off the "state hack" whereby any lambda with a + State# token as argument is considered to be + single-entry, hence it is considered OK to inline things inside + it. This can improve performance of IO and ST monad code, but it + runs the risk of reducing sharing. -- 1.7.10.4