projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
a0c6f73
)
add a note about full-laziness
author
Simon Marlow
<simonmar@microsoft.com>
Mon, 10 Apr 2006 09:38:24 +0000
(09:38 +0000)
committer
Simon Marlow
<simonmar@microsoft.com>
Mon, 10 Apr 2006 09:38:24 +0000
(09:38 +0000)
docs/users_guide/using.xml
patch
|
blob
|
history
diff --git
a/docs/users_guide/using.xml
b/docs/users_guide/using.xml
index
8cbcd35
..
b274f62
100644
(file)
--- a/
docs/users_guide/using.xml
+++ b/
docs/users_guide/using.xml
@@
-1383,6
+1383,16
@@
f "2" = 2
<para>Turns off the full laziness optimisation (also known as
let-floating). Full laziness increases sharing, which can lead
to increased memory residency.</para>
<para>Turns off the full laziness optimisation (also known as
let-floating). Full laziness increases sharing, which can lead
to increased memory residency.</para>
+
+ <para>NOTE: GHC doesn't implement complete full-laziness.
+ When optimisation in on, and
+ <option>-fno-full-laziness</option> 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.</para>
</listitem>
</varlistentry>
</listitem>
</varlistentry>