summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>2021-01-29 02:16:40 +0100
committerKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>2021-01-29 02:23:08 +0100
commitb7385f96fe6e3e7bc08a28bde3f931f02647c053 (patch)
treeb75e13eed734fd07bac3b2763d04c02178e23265
parent0249974e7622e35927060da21f9231cb1e6357b9 (diff)
downloadhaskell-wip/stg-lift.tar.gz
Fix parsing of -fstg-lift-lams-non-recwip/stg-lift
-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 64c945a7cf..cc8d0f9e36 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