diff options
Diffstat (limited to 'compiler/GHC/Driver/Flags.hs')
| -rw-r--r-- | compiler/GHC/Driver/Flags.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/GHC/Driver/Flags.hs b/compiler/GHC/Driver/Flags.hs index 592b997b0f..b1154b6398 100644 --- a/compiler/GHC/Driver/Flags.hs +++ b/compiler/GHC/Driver/Flags.hs @@ -219,6 +219,7 @@ data GeneralFlag | Opt_PrintUnicodeSyntax | Opt_PrintExpandedSynonyms | Opt_PrintPotentialInstances + | Opt_PrintRedundantPromotionTicks | Opt_PrintTypecheckerElaboration -- optimisation opts |