diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-02 15:43:34 +0000 |
---|---|---|
committer | Ian Lynagh <ian@well-typed.com> | 2013-01-03 22:41:59 +0000 |
commit | 1e73d02befc5b3c4efe130964ea6088edbbeaaea (patch) | |
tree | 4220da1ea51652b085ddaaaebc239536ca7012a4 | |
parent | c4a2c5f6034b26425f617844b158457a592be379 (diff) | |
download | haskell-1e73d02befc5b3c4efe130964ea6088edbbeaaea.tar.gz |
Update strictness documentation (Trac #7546)
-rw-r--r-- | docs/users_guide/sooner.xml | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/docs/users_guide/sooner.xml b/docs/users_guide/sooner.xml index c6445b9455..ad798aca32 100644 --- a/docs/users_guide/sooner.xml +++ b/docs/users_guide/sooner.xml @@ -292,14 +292,11 @@ f (Wibble x y) # ugly, and proud of it <para>Look for your function in the interface file, then for the third field in the pragma; it should say - <literal>__S <string></literal>. The + <literal>Strictness: <string></literal>. The <literal><string></literal> gives the strictness of - the function's arguments. <function>L</function> is lazy - (bad), <function>S</function> and <function>E</function> are - strict (good), <function>P</function> is - “primitive” (good), <function>U(...)</function> - is strict and “unpackable” (very good), and - <function>A</function> is absent (very good).</para> + the function's arguments: see <ulink url="http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Demand"> + the GHC Commentary</ulink> for a description of the stricntess notation. + </para> <para>For an “unpackable” <function>U(...)</function> argument, the info inside tells |