diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/GHC/Driver/Flags.hs | 4 | ||||
| -rw-r--r-- | compiler/GHC/Driver/Session.hs | 1 |
2 files changed, 3 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@ diff --git a/compiler/GHC/Driver/Session.hs b/compiler/GHC/Driver/Session.hs index 6fc71e878a..02b1a637ff 100644 --- a/compiler/GHC/Driver/Session.hs +++ b/compiler/GHC/Driver/Session.hs @@ -291,6 +291,7 @@ import qualified GHC.LanguageExtensions as LangExt -- If you modify anything in this file please make sure that your changes are -- described in the User's Guide. Please update the flag description in the -- users guide (docs/users_guide) whenever you add or change a flag. +-- Please make sure you add ":since:" information to new flags. -- Note [Supporting CLI completion] -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |