summaryrefslogtreecommitdiff
path: root/compiler/GHC/Driver/Flags.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/GHC/Driver/Flags.hs')
-rw-r--r--compiler/GHC/Driver/Flags.hs5
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/GHC/Driver/Flags.hs b/compiler/GHC/Driver/Flags.hs
index 209e6d1776..bac257670c 100644
--- a/compiler/GHC/Driver/Flags.hs
+++ b/compiler/GHC/Driver/Flags.hs
@@ -187,6 +187,11 @@ data GeneralFlag
| Opt_KillOneShot
| Opt_FullLaziness
| Opt_FloatIn
+ | Opt_LocalFloatOut -- ^ Enable floating out of let-bindings in the
+ -- simplifier
+ | Opt_LocalFloatOutTopLevel -- ^ Enable floating out of let-bindings at the
+ -- top level in the simplifier
+ -- N.B. See Note [RHS Floating]
| Opt_LateSpecialise
| Opt_Specialise
| Opt_SpecialiseAggressively