Bodigrim pushed to branch wip/warning-for-last-and-init at Glasgow Haskell Compiler / GHC

Commits:

• 03555ed8
  by Sylvain Henry at 2025-08-10T22:20:57-04:00

  Handle non-fractional CmmFloats in Cmm's CBE (#26229)
  
  Since f8d9d016305be355f518c141f6c6d4826f2de9a2, toRational for Float and
  Double converts float's infinity and NaN into Rational's infinity and
  NaN (respectively 1%0 and 0%0).
  
  Cmm CommonBlockEliminator hashing function needs to take these values
  into account as they can appear as literals now. See added testcase.
  

• 6c956af3
  by J. Ryan Stinnett at 2025-08-10T22:21:42-04:00

  Fix extensions list in `DoAndIfThenElse` docs
  

• 6dc420b1
  by J. Ryan Stinnett at 2025-08-10T22:21:42-04:00

  Document status of `RelaxedPolyRec` extension
  
  This adds a brief extension page explaining the status of the
  `RelaxedPolyRec` extension. The behaviour of this mode is already
  explained elsewhere, so this page is mainly for completeness so that
  various lists of extensions have somewhere to point to for this flag.
  
  Fixes #18630
  

• 18036d52
  by Simon Peyton Jones at 2025-08-11T11:31:20-04:00

  Take more care in zonkEqTypes on AppTy/AppTy
  
  This patch fixes #26256.
  
  See Note [zonkEqTypes and the PKTI] in GHC.Tc.Solver.Equality
  

• c8d76a29
  by Zubin Duggal at 2025-08-11T11:32:02-04:00

  ci: upgrade bootstrap compiler on windows to 9.10.1
  

• ff343df0
  by Mike Pilgrem at 2025-08-12T00:13:00+01:00

  Re CLC issue 292 Warn GHC.Internal.List.{init,last} are partial
  
  Also corrects the warning for `tail` to refer to `Data.List.uncons` (like the existing warning for `head`).
  
  In module `Settings.Warnings`, applies `-Wno-unrecognised-warning-flags` `-Wno-x-partial` to the `Cabal`, `filepath`, `hsc2hs`, `hpc`, `parsec`, `text` and `time` packages (outside GHC's repository).
  
  Also bumps submodules.
  

• 2cfbb2be
  by Andrew Lelechenko at 2025-08-12T00:13:00+01:00

  Wibble
  

• 9a7b9ca4
  by Andrew Lelechenko at 2025-08-12T00:13:00+01:00

  Wobble
  

42 changed files:

• .gitlab/generate-ci/gen_ci.hs
• .gitlab/jobs.yaml
• compiler/GHC/Cmm/CommonBlockElim.hs
• compiler/GHC/Core/Utils.hs
• compiler/GHC/Driver/Session/Units.hs
• compiler/GHC/Prelude/Basic.hs
• compiler/GHC/Tc/Solver/Equality.hs
• docs/users_guide/conf.py
• docs/users_guide/expected-undocumented-flags.txt
• docs/users_guide/exts/doandifthenelse.rst
• + docs/users_guide/exts/relaxed_poly_rec.rst
• docs/users_guide/exts/types.rst
• ghc/GHCi/UI.hs
• ghc/Main.hs
• hadrian/src/Settings/Warnings.hs
• libraries/Cabal
• libraries/filepath
• libraries/ghc-boot-th/GHC/Boot/TH/Ppr.hs
• libraries/ghc-internal/src/GHC/Internal/Float.hs
• libraries/ghc-internal/src/GHC/Internal/List.hs
• libraries/ghc-internal/src/GHC/Internal/System/IO.hs
• libraries/ghc-internal/src/GHC/Internal/TH/Syntax.hs
• libraries/template-haskell/vendored-filepath/System/FilePath/Posix.hs
• libraries/template-haskell/vendored-filepath/System/FilePath/Windows.hs
• testsuite/tests/driver/j-space/jspace.hs
• + testsuite/tests/numeric/should_compile/T26229.hs
• testsuite/tests/numeric/should_compile/all.T
• + testsuite/tests/partial-sigs/should_compile/T26256.hs
• + testsuite/tests/partial-sigs/should_compile/T26256.stderr
• testsuite/tests/partial-sigs/should_compile/all.T
• testsuite/tests/rts/KeepCafsBase.hs
• + testsuite/tests/typecheck/should_compile/T26256a.hs
• testsuite/tests/typecheck/should_compile/all.T
• utils/check-exact/Main.hs
• utils/check-exact/Transform.hs
• utils/check-exact/Utils.hs
• utils/ghc-pkg/Main.hs
• utils/ghc-toolchain/src/GHC/Toolchain/CheckArm.hs
• utils/haddock/haddock-api/src/Haddock/Backends/Xhtml.hs
• utils/haddock/haddock-library/src/Documentation/Haddock/Parser.hs
• utils/hpc
• utils/hsc2hs

The diff was not included because it is too large.