diff options
Diffstat (limited to 'docs/users_guide/using-optimisation.rst')
| -rw-r--r-- | docs/users_guide/using-optimisation.rst | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst index ccf9ac50fb..4714de7788 100644 --- a/docs/users_guide/using-optimisation.rst +++ b/docs/users_guide/using-optimisation.rst @@ -181,6 +181,16 @@ by saying ``-fno-wombat``. Enable call-arity analysis. +.. ghc-flag:: -fexitification + :shortdesc: Enables exitification optimisation. Implied by :ghc-flag:`-O`. + :type: dynamic + :reverse: -fno-exitification + :category: + + :default: on + + Enables the floating of exit paths out of recursive functions. + .. ghc-flag:: -fcmm-elim-common-blocks :shortdesc: Enable Cmm common block elimination. Implied by :ghc-flag:`-O`. :type: dynamic |