Wolfgang Jeltsch pushed to branch wip/jeltsch/text-read-uncovering at Glasgow Haskell Compiler / GHC

Commits:

• cc9cc6d5
  by Cheng Shao at 2026-04-23T09:40:46+00:00

  configure: bump LlvmMaxVersion to 23
  
  This patch bumps `LlvmMaxVersion` to 23 to support LLVM 22.x releases.
  

• 2ea7ef8e
  by Cheng Shao at 2026-04-23T09:46:26+00:00

  changelog: add llvm 22.x support
  

• 5574ee10
  by Cheng Shao at 2026-04-24T08:24:30-04:00

  compiler: avoid unused temporary `appendFS` operands
  
  This patch fixes unused temporary `appendFS` operands in the codebase
  that are retained in the `FastString` table after concatenation.
  Rewrite rules are added so that if an operand is
  `fsLit`/`mkFastString`, the `appendFS` application is rewritten to
  append the `ShortByteString` operands first. The patch also fixes
  `sconcat` behavior to align with `mconcat` for the same reason. Fixes #27205.
  

• 4ed78760
  by mangoiv at 2026-04-24T08:25:13-04:00

  contributing: adjust MR template to be less verbose
  
  - MR template only shows text that is relevant for submissiong
  - MR template was rewritten so it's readable from a user's and reviewer's
    perspective
  
  Resolves #27165
  
  Co-Authored-By: @sheaf
  

• 87db83e2
  by Cheng Shao at 2026-04-24T14:37:21-04:00

  ci: bump freebsd boot ghc to 9.10.3
  
  This commit bumps freebsd boot ghc to 9.10.3 to align with other
  platforms and prevent outdated boot libs in boot ghc to block the
  freebsd job.
  

• 17e3a0b7
  by Cheng Shao at 2026-04-24T14:37:21-04:00

  compiler: improve Binary instance of Array
  
  This patch improves the `Binary` instance of `Array`:
  
  - We no longer allocate intermediate lists. When serializing an
    `Array`, we iterate over the elements directly; when deserializing
    it, we allocate the result `Array` and fill it in a loop.
  - Now we only serialize the array bounds tuple; the length field is
    not needed.
  
  Closes #27109.
  

• 2d30f7d3
  by sheaf at 2026-04-24T14:38:23-04:00

  Vendor mini-QuickCheck for testsuite
  
  This commit extracts the vendored QuickCheck implementation from the
  foundation testsuite to make it more broadly available in the GHC
  testsuite, and makes use of it in the simd006 test (which also used
  a vendored QuickCheck implementation).
  
  On the way, we update the linear congruential generator to avoid the
  shortcoming of only generating 31 bit large numbers.
  
  Fixes #25990 and #25969.
  

• a3786627
  by Wolfgang Jeltsch at 2026-04-25T15:22:55+03:00

  Move code that uses `GHC.Internal.Text.Read` into `base`
  
  This contribution serves to remove all dependencies on
  `GHC.Internal.Text.Read` from within `ghc-internal`, so that the
  implementation of `Text.Read` and ultimately more reading-related code
  can be moved to `base` as well.
  
  The following things are moved from `ghc-internal` to `base`:
  
    * I/O-related `Read` instances
    * Most of the `Numeric` implementation
    * The instance `Read ByteOrder`
    * The `parseVersion` operation
    * The `readConstr` operation
  
  Metric Increase:
      LinkableUsage01
      T12425
      T13035
  

35 changed files:

• .gitlab/generate-ci/gen_ci.hs
• .gitlab/jobs.yaml
• .gitlab/merge_request_templates/Default.md
• + changelog.d/binary-array-no-list
• + changelog.d/llvm-22
• compiler/GHC/Data/FastString.hs
• compiler/GHC/Utils/Binary.hs
• configure.ac
• libraries/base/src/Data/Data.hs
• libraries/base/src/Data/Version.hs
• libraries/base/src/GHC/ByteOrder.hs
• libraries/base/src/Numeric.hs
• libraries/base/src/System/IO.hs
• libraries/base/src/Text/Printf.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Data.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Version.hs
• libraries/ghc-internal/src/GHC/Internal/IO/Device.hs
• libraries/ghc-internal/src/GHC/Internal/IO/Handle/Types.hs
• libraries/ghc-internal/src/GHC/Internal/IO/IOMode.hs
• libraries/ghc-internal/src/GHC/Internal/Numeric.hs
• libraries/ghc-internal/src/GHC/Internal/Read.hs
• testsuite/driver/testlib.py
• + testsuite/tests/MiniQuickCheck.hs
• 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/base-exports.stdout-ws-32
• testsuite/tests/numeric/should_run/all.T
• testsuite/tests/numeric/should_run/foundation.hs
• testsuite/tests/plugins/plugins09.stdout
• testsuite/tests/plugins/plugins10.stdout
• testsuite/tests/plugins/plugins11.stdout
• testsuite/tests/plugins/static-plugins.stdout
• testsuite/tests/simd/should_run/all.T
• testsuite/tests/simd/should_run/simd006.hs

The diff was not included because it is too large.