summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>2021-01-29 02:16:40 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-01-29 23:10:35 -0500
commitbd0b27267985c6c3482578ccf71a3cab9a1d7b12 (patch)
tree757d2a480bab8329d290f5691f159b02ef13df66
parent3b8235334b7838013c9e955db3e7762a1c7fef43 (diff)
downloadhaskell-bd0b27267985c6c3482578ccf71a3cab9a1d7b12.tar.gz
Fix parsing of -fstg-lift-lams-non-rec
-fstg-lift-lams-rec-* and -fstg-lift-lams-non-rec-* were setting the same field. Fix manual: -fstg-lift-lams-non-rec-args is disabled by -fstg-lift-lams-non-rec-args-any, there's no -fno-stg-lift-*.
-rw-r--r--compiler/GHC/Driver/Session.hs4
-rw-r--r--docs/users_guide/expected-undocumented-flags.txt2
-rw-r--r--docs/users_guide/using-optimisation.rst4
3 files changed, 4 insertions, 6 deletions
diff --git a/compiler/GHC/Driver/Session.hs b/compiler/GHC/Driver/Session.hs
index b312747989..c63301fd71 100644
--- a/compiler/GHC/Driver/Session.hs
+++ b/compiler/GHC/Driver/Session.hs
@@ -2820,9 +2820,9 @@ dynamic_flags_deps = [
, make_ord_flag defFlag "fstg-lift-lams-rec-args-any"
(noArg (\d -> d { liftLamsRecArgs = Nothing }))
, make_ord_flag defFlag "fstg-lift-lams-non-rec-args"
- (intSuffix (\n d -> d { liftLamsRecArgs = Just n }))
+ (intSuffix (\n d -> d { liftLamsNonRecArgs = Just n }))
, make_ord_flag defFlag "fstg-lift-lams-non-rec-args-any"
- (noArg (\d -> d { liftLamsRecArgs = Nothing }))
+ (noArg (\d -> d { liftLamsNonRecArgs = Nothing }))
, make_ord_flag defFlag "fstg-lift-lams-known"
(noArg (\d -> d { liftLamsKnown = True }))
, make_ord_flag defFlag "fno-stg-lift-lams-known"
diff --git a/docs/users_guide/expected-undocumented-flags.txt b/docs/users_guide/expected-undocumented-flags.txt
index 8791134f11..fdcf1eaee2 100644
--- a/docs/users_guide/expected-undocumented-flags.txt
+++ b/docs/users_guide/expected-undocumented-flags.txt
@@ -81,8 +81,6 @@
-fspec-constr-recursive
-fspecialize
-fspecialize-aggressively
--fstg-lift-lams-non-rec-args-any
--fstg-lift-lams-rec-args-any
-fth
-ftype-function-depth
-funfolding-keeness-factor
diff --git a/docs/users_guide/using-optimisation.rst b/docs/users_guide/using-optimisation.rst
index 403faa342e..06ac89c0c2 100644
--- a/docs/users_guide/using-optimisation.rst
+++ b/docs/users_guide/using-optimisation.rst
@@ -1102,7 +1102,7 @@ by saying ``-fno-wombat``.
:shortdesc: Create top-level non-recursive functions with at most <n>
parameters while performing late lambda lifting.
:type: dynamic
- :reverse: -fno-stg-lift-lams-non-rec-args-any
+ :reverse: -fstg-lift-lams-non-rec-args-any
:category:
:default: 5
@@ -1115,7 +1115,7 @@ by saying ``-fno-wombat``.
:shortdesc: Create top-level recursive functions with at most <n>
parameters while performing late lambda lifting.
:type: dynamic
- :reverse: -fno-stg-lift-lams-rec-args-any
+ :reverse: -fstg-lift-lams-rec-args-any
:category:
:default: 5