diff options
Diffstat (limited to 'compiler/GHC/Driver/Flags.hs')
| -rw-r--r-- | compiler/GHC/Driver/Flags.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Driver/Flags.hs b/compiler/GHC/Driver/Flags.hs index fa9c79b41d..ce68014d2d 100644 --- a/compiler/GHC/Driver/Flags.hs +++ b/compiler/GHC/Driver/Flags.hs @@ -278,8 +278,8 @@ data GeneralFlag | Opt_LocalGhciHistory | Opt_NoIt | Opt_HelpfulErrors - | Opt_DeferTypeErrors - | Opt_DeferTypedHoles + | Opt_DeferTypeErrors -- Since 7.6 + | Opt_DeferTypedHoles -- Since 7.10 | Opt_DeferOutOfScopeVariables | Opt_PIC -- ^ @-fPIC@ | Opt_PIE -- ^ @-fPIE@ |