diff options
author | Benjamin Maurer <maurer.benjamin@gmail.com> | 2021-09-21 20:40:21 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-09-22 08:25:37 -0400 |
commit | 3d328eb57b027e45eba71de32aa39c7f4defee2b (patch) | |
tree | be0ffa4aa3db945ea872ab74e00590d357c5fb68 | |
parent | b47fafd95a604fea5017beb1c968092c09fd4d7d (diff) | |
download | haskell-3d328eb57b027e45eba71de32aa39c7f4defee2b.tar.gz |
Remove unused, undocumented debug/dump flag `-ddump-vt-trace`. See 20403.
-rw-r--r-- | compiler/GHC/Driver/Flags.hs | 1 | ||||
-rw-r--r-- | compiler/GHC/Driver/Session.hs | 3 | ||||
-rw-r--r-- | docs/users_guide/expected-undocumented-flags.txt | 1 |
3 files changed, 0 insertions, 5 deletions
diff --git a/compiler/GHC/Driver/Flags.hs b/compiler/GHC/Driver/Flags.hs index ee2074a63e..a63935795e 100644 --- a/compiler/GHC/Driver/Flags.hs +++ b/compiler/GHC/Driver/Flags.hs @@ -115,7 +115,6 @@ data DumpFlag | Opt_D_dump_tc_trace | Opt_D_dump_ec_trace -- Pattern match exhaustiveness checker | Opt_D_dump_if_trace - | Opt_D_dump_vt_trace | Opt_D_dump_splices | Opt_D_th_dec_file | Opt_D_dump_BCOs diff --git a/compiler/GHC/Driver/Session.hs b/compiler/GHC/Driver/Session.hs index 3b28a0b17e..b12b448021 100644 --- a/compiler/GHC/Driver/Session.hs +++ b/compiler/GHC/Driver/Session.hs @@ -1438,7 +1438,6 @@ dopt f dflags = (f `EnumSet.member` dumpFlags dflags) enableIfVerbose Opt_D_dump_rn_trace = False enableIfVerbose Opt_D_dump_cs_trace = False enableIfVerbose Opt_D_dump_if_trace = False - enableIfVerbose Opt_D_dump_vt_trace = False enableIfVerbose Opt_D_dump_tc = False enableIfVerbose Opt_D_dump_rn = False enableIfVerbose Opt_D_dump_rn_stats = False @@ -2497,8 +2496,6 @@ dynamic_flags_deps = [ setDumpFlag' Opt_D_dump_cs_trace)) , make_ord_flag defGhcFlag "ddump-ec-trace" (setDumpFlag Opt_D_dump_ec_trace) - , make_ord_flag defGhcFlag "ddump-vt-trace" - (setDumpFlag Opt_D_dump_vt_trace) , make_ord_flag defGhcFlag "ddump-splices" (setDumpFlag Opt_D_dump_splices) , make_ord_flag defGhcFlag "dth-dec-file" diff --git a/docs/users_guide/expected-undocumented-flags.txt b/docs/users_guide/expected-undocumented-flags.txt index 2dcc0d8591..0cfa302985 100644 --- a/docs/users_guide/expected-undocumented-flags.txt +++ b/docs/users_guide/expected-undocumented-flags.txt @@ -28,7 +28,6 @@ -ddump-exitify -ddump-simpl-trace -ddump-view-pattern-commoning --ddump-vt-trace -dppr-ticks -dsource-stats -dstg-stats |