diff options
| -rw-r--r-- | docs/users_guide/using-optimisation.rst | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst index e56c47312c..8f7d6b8e03 100644 --- a/docs/users_guide/using-optimisation.rst +++ b/docs/users_guide/using-optimisation.rst @@ -678,11 +678,8 @@ list. :default: on - Switch on the strictness analyser. There is a very - old paper about GHC's strictness analyser, `Measuring the - effectiveness of a simple strictness - analyser <http://research.microsoft.com/en-us/um/people/simonpj/papers/simple-strictnes-analyser.ps.gz>`__, - but the current one is quite a bit different. + Switch on the strictness analyser. The + implementation is described in the paper `Theory and Practice of Demand Analysis in Haskell`<https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/demand-jfp-draft.pdf>`__. The strictness analyser figures out when arguments and variables in a function can be treated 'strictly' (that is they are always |