diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2022-10-17 17:35:57 +0200 |
|---|---|---|
| committer | Sebastian Graf <sebastian.graf@kit.edu> | 2022-10-17 18:48:02 +0200 |
| commit | 129906ad4d5bcbe40d00a82bc2ff721b7f55e558 (patch) | |
| tree | 4161e2d748c40d44fde83fff2e2765abb3184e3c /docs/users_guide | |
| parent | 0d3ed47f183f17589b5219ec0623ecf09e41501d (diff) | |
| download | haskell-wip/T22227.tar.gz | |
Remove Note [Self-recursive tail calls]wip/T22227
We now do loopification in Core, so there should be no letrec left where all
recursive calls are in tail position and the code is effectively dead.
Hence we remove it.
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/using-optimisation.rst | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst index d3ca68a1df..817fd2ca3f 100644 --- a/docs/users_guide/using-optimisation.rst +++ b/docs/users_guide/using-optimisation.rst @@ -649,17 +649,16 @@ by saying ``-fno-wombat``. Set the size threshold for the liberate-case transformation. .. ghc-flag:: -floopification - :shortdesc: Turn saturated self-recursive tail-calls into local jumps in the - generated assembly. Implied by :ghc-flag:`-O`. + :shortdesc: *(deprecated)* Does nothing :type: dynamic :reverse: -fno-loopification :category: :default: on - When this optimisation is enabled the code generator will turn all - self-recursive saturated tail calls into local jumps rather than - function calls. + This flag has no effect since GHC 9.6 - its behavior is always on. + It used to instruct the code generator to turn all self-recursive saturated + tail calls into local jumps rather than function calls. .. ghc-flag:: -fllvm-pass-vectors-in-regs :shortdesc: *(deprecated)* Does nothing |