From 57aa4c8a73431b78a37428eb32af5978bfdc5f2b Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Mon, 10 Apr 2006 09:38:24 +0000 Subject: [PATCH] add a note about full-laziness --- docs/users_guide/using.xml | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 8cbcd35..b274f62 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -1383,6 +1383,16 @@ 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. + + NOTE: GHC doesn't implement complete full-laziness. + When optimisation in on, and + is not given, some + transformations that increase sharing are performed, such + as extracting repeated computations from a loop. These + are the same transformations that a fully lazy + implementation would do, the difference is that GHC + doesn't consistently apply full-laziness, so don't rely on + it. -- 1.7.10.4