Florian Ragwitz pushed to branch wip/rafl/meaningful-main-return at Glasgow Haskell Compiler / GHC

Commits:

• 9099eb8d
  by Florian Ragwitz at 2026-10-10T23:28:44-07:00

  Implement MeaningfulMainReturn
  
  As per ghc-proposal#631, with one small adjustment explained in the comments.
  
  Fixes #24848.
  

45 changed files:

• + changelog.d/MeaningfulMainReturn
• compiler/GHC/Builtin/KnownOccs.hs
• compiler/GHC/Driver/Flags.hs
• compiler/GHC/Driver/Session.hs
• compiler/GHC/Tc/Errors/Ppr.hs
• compiler/GHC/Tc/Errors/Types.hs
• compiler/GHC/Tc/Module.hs
• compiler/GHC/Types/Error/Codes.hs
• + docs/users_guide/exts/meaningful_main_return.rst
• docs/users_guide/exts/misc.rst
• docs/users_guide/using-warnings.rst
• libraries/base/src/GHC/Essentials.hs
• libraries/containers
• libraries/ghc-internal/src/GHC/Internal/LanguageExtensions.hs
• testsuite/tests/driver/T4437.hs
• + testsuite/tests/ghc-e/should_run/T9086.stderr
• testsuite/tests/interface-stability/base-exports.stdout
• testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs
• testsuite/tests/interface-stability/base-exports.stdout-mingw32
• testsuite/tests/interface-stability/template-haskell-exports.stdout
• + testsuite/tests/meaningful-main-return/Imported.hs
• + testsuite/tests/meaningful-main-return/MainReturn_constrained_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_exit_code_alias_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_exit_code_bottom_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_exit_code_bottom_enabled_run.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_exit_code_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_exit_success_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_family_always_exit_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_family_invalid_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_family_invalid_enabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_family_stuck_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_family_stuck_enabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_imported_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_imported_invalid_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_imported_invalid_enabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_imported_wrapped_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_int_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_int_enabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_newtype_disabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_newtype_enabled.stderr
• + testsuite/tests/meaningful-main-return/MainReturn_typeapp_disabled.stderr
• + testsuite/tests/meaningful-main-return/MeaningfulMainReturn.hs
• + testsuite/tests/meaningful-main-return/all.T
• testsuite/tests/parser/should_compile/T7476/T7476.hs
• + testsuite/tests/typecheck/should_compile/tc104.stderr

The diff was not included because it is too large.