Matthew Pickering pushed to branch wip/splice-imports-2025 at Glasgow Haskell Compiler / GHC Commits: 0aac7dcc by Matthew Pickering at 2025-04-23T17:09:53+01:00 Fix docs - - - - - 2 changed files: - compiler/GHC/Driver/Session.hs - docs/users_guide/using-warnings.rst Changes: ===================================== compiler/GHC/Driver/Session.hs ===================================== @@ -2265,6 +2265,7 @@ wWarningFlagsDeps = [minBound..maxBound] >>= \x -> case x of Opt_WarnAutoOrphans -> depWarnSpec x "it has no effect" Opt_WarnCPPUndef -> warnSpec x Opt_WarnBadlyLevelledTypes -> + warnSpec x ++ subWarnSpec "badly-staged-types" x "it is renamed to -Wbadly-levelled-types" Opt_WarnUnbangedStrictPatterns -> warnSpec x Opt_WarnDeferredTypeErrors -> warnSpec x ===================================== docs/users_guide/using-warnings.rst ===================================== @@ -2554,7 +2554,7 @@ of ``-W(no-)*``. that are not deprecating a name that is deprecated with another export in that module. .. ghc-flag:: -Wbadly-levelled-types - :shortdesc: warn when type binding is used at the wrong TH stage. + :shortdesc: warn when type binding is used at the wrong Template Haskell level. :type: dynamic :reverse: -Wno-badly-levelled-types @@ -2565,11 +2565,21 @@ of ``-W(no-)*``. tardy :: forall a. Proxy a -> IO Type tardy _ = [t| a |] - The type binding ``a`` is bound at stage 1 but used on stage 2. + The type binding ``a`` is bound at level 0 but used at level 1. - This is badly staged program, and the ``tardy (Proxy @Int)`` won't produce + This is badly levelled program, and the ``tardy (Proxy @Int)`` won't produce a type representation of ``Int``, but rather a local name ``a``. +.. ghc-flag:: -Wbadly-staged-types + :shortdesc: A deprecated alias for :ghc-flag:`-Wbadly-levelled-types` + :type: dynamic + :reverse: -Wno-badly-staged-types + + :since: 9.10.1 + + A deprecated alias for :ghc-flag:`-Wbadly-levelled-types` + + .. ghc-flag:: -Winconsistent-flags :shortdesc: warn when command line options are inconsistent in some way. :type: dynamic View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/0aac7dcc195371d7ce82eac0f10d427b... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/0aac7dcc195371d7ce82eac0f10d427b... You're receiving this email because of your account on gitlab.haskell.org.