diff options
Diffstat (limited to 'docs/users_guide/using-optimisation.rst')
| -rw-r--r-- | docs/users_guide/using-optimisation.rst | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst index b54e7e3e2e..b048ce5c6c 100644 --- a/docs/users_guide/using-optimisation.rst +++ b/docs/users_guide/using-optimisation.rst @@ -1270,19 +1270,6 @@ by saying ``-fno-wombat``. How eager should the compiler be to inline functions? -.. ghc-flag:: -funfolding-keeness-factor=⟨n⟩ - :shortdesc: *default: 1.5.* Tweak unfolding settings. - :type: dynamic - :category: - - :default: 1.5 - - .. index:: - single: inlining, controlling - single: unfolding, controlling - - How eager should the compiler be to inline functions? - .. ghc-flag:: -funfolding-use-threshold=⟨n⟩ :shortdesc: *default: 80.* Tweak unfolding settings. :type: dynamic |