Commit 5f77b315 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Update strictness documentation (Trac #7546)

parent 9b9f197b
...@@ -292,14 +292,11 @@ f (Wibble x y) # ugly, and proud of it ...@@ -292,14 +292,11 @@ f (Wibble x y) # ugly, and proud of it
<para>Look for your function in the interface file, then for <para>Look for your function in the interface file, then for
the third field in the pragma; it should say the third field in the pragma; it should say
<literal>&lowbar;&lowbar;S &lt;string&gt;</literal>. The <literal>Strictness: &lt;string&gt;</literal>. The
<literal>&lt;string&gt;</literal> gives the strictness of <literal>&lt;string&gt;</literal> gives the strictness of
the function's arguments. <function>L</function> is lazy the function's arguments: see <ulink url="http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Demand">
(bad), <function>S</function> and <function>E</function> are the GHC Commentary</ulink> for a description of the stricntess notation.
strict (good), <function>P</function> is </para>
&ldquo;primitive&rdquo; (good), <function>U(...)</function>
is strict and &ldquo;unpackable&rdquo; (very good), and
<function>A</function> is absent (very good).</para>
<para>For an &ldquo;unpackable&rdquo; <para>For an &ldquo;unpackable&rdquo;
<function>U(...)</function> argument, the info inside tells <function>U(...)</function> argument, the info inside tells
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment