summaryrefslogtreecommitdiff
path: root/compiler/main
diff options
context:
space:
mode:
authorÖmer Sinan Ağacan <omeragacan@gmail.com>2019-08-30 15:05:42 +0300
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-09-08 21:40:32 -0400
commit51379b89eb08252560e911ab559205ea69d21fec (patch)
treea22051d462b8040fd4bdfb71abb04b2e13c45691 /compiler/main
parentb0fdd7fe666ae61044f041233354765c4bb68529 (diff)
downloadhaskell-51379b89eb08252560e911ab559205ea69d21fec.tar.gz
Add a new flag -dno-typeable-binds for debugging
See the user manual entry -- this helps when debugging as generated Core gets smaller without these bindings.
Diffstat (limited to 'compiler/main')
-rw-r--r--compiler/main/DynFlags.hs7
1 files changed, 5 insertions, 2 deletions
diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs
index c4a917ff61..c2d0322cd9 100644
--- a/compiler/main/DynFlags.hs
+++ b/compiler/main/DynFlags.hs
@@ -508,8 +508,9 @@ data GeneralFlag
| Opt_DoCmmLinting
| Opt_DoAsmLinting
| Opt_DoAnnotationLinting
- | Opt_NoLlvmMangler -- hidden flag
- | Opt_FastLlvm -- hidden flag
+ | Opt_NoLlvmMangler -- hidden flag
+ | Opt_FastLlvm -- hidden flag
+ | Opt_NoTypeableBinds
| Opt_WarnIsError -- -Werror; makes warnings fatal
| Opt_ShowWarnGroups -- Show the group a warning belongs to
@@ -3474,6 +3475,8 @@ dynamic_flags_deps = [
(NoArg (setGeneralFlag Opt_NoLlvmMangler)) -- hidden flag
, make_ord_flag defGhcFlag "fast-llvm"
(NoArg (setGeneralFlag Opt_FastLlvm)) -- hidden flag
+ , make_ord_flag defGhcFlag "dno-typeable-binds"
+ (NoArg (setGeneralFlag Opt_NoTypeableBinds))
, make_ord_flag defGhcFlag "ddump-debug"
(setDumpFlag Opt_D_dump_debug)
, make_ord_flag defGhcFlag "ddump-json"