diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2022-03-18 00:52:59 +0100 |
|---|---|---|
| committer | sheaf <sam.derbyshire@gmail.com> | 2022-03-18 00:52:59 +0100 |
| commit | e7f90a1cd9c5b402d2741eb8f07885d426de07cf (patch) | |
| tree | 1dcd302f73bf65bb173c82add3444c5b50899ec6 /docs/users_guide/using-optimisation.rst | |
| parent | d1c16794f48a3faaeceded3d8452b919d10ed363 (diff) | |
| download | haskell-wip/zap-dcoercions.tar.gz | |
Experiment: zapwip/zap-dcoercions
Diffstat (limited to 'docs/users_guide/using-optimisation.rst')
| -rw-r--r-- | docs/users_guide/using-optimisation.rst | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst index f68b5966d9..7aa9cd27ad 100644 --- a/docs/users_guide/using-optimisation.rst +++ b/docs/users_guide/using-optimisation.rst @@ -768,7 +768,7 @@ by saying ``-fno-wombat``. :type: dynamic :category: - :default: Keep with :ghc-flag:`-O0`, don't keep otherwise. + :default: Don't keep directed coercions. Keep directed coercions in the coercion optimiser, instead of turning them into coercions. Only applies when coercion optimisation is enabled. @@ -778,6 +778,15 @@ by saying ``-fno-wombat``. (i.e. enabling :ghc-flag:`-fno-opt-coercion` causes a significant regression in compile-time), then you might want to NOT enable this flag. +.. ghc-flag:: -fzap-dcoercions + :shortdesc: Zap directed coercions in the coercion optimiser + :type: dynamic + :category: + + :default: Zap directed coercions. + + Zap directed coercions in the coercion optimiser. Takes precedence over :ghc-flag:`-fkeep-dcoercions`. + .. ghc-flag:: -fno-pre-inlining :shortdesc: Turn off pre-inlining :type: dynamic |