Brandon Chinn pushed to branch wip/T26961 at Glasgow Haskell Compiler / GHC

Commits:

• 2dadf3b0
  by sheaf at 2026-04-16T13:28:39-04:00

  Simplify mkTick
  
  This commit simplifies 'GHC.Core.Utils.mkTick', removing the
  accumulating parameter 'rest' which was suspiciously treating a bunch of
  different ticks as a group, and moving the group as a whole around the
  AST, ignoring that the ticks in the group might have different placement
  properties.
  
  The most important change is that we revert the logic (added in 85b0aae2)
  that allowed ticks to be placed around coercions, which caused serious
  issues (e.g. #27121). It was just a mistake, as it doesn't make sense
  to put a tick around a coercion.
  
  Also adds Note [Pushing SCCs inwards] which clarifies the logic for
  pushing SCCs into lambdas, constructor applications, and dropping SCCs
  around non-function variables (in particular the treatment of splittable
  ticks).
  
  A few other changes are also implemented:
  
    - simplify 'can_split' predicate (no functional change)
    - combine profiling ticks into one when possible
  
  Fixes #26878, #26941 and #27121
  
  Co-authored-by: simonpj <simon.peytonjones@gmail.com>
  

• a0d6f1f4
  by Simon Jakobi at 2026-04-16T13:29:28-04:00

  Add regression test for #9074
  
  Closes #9074.
  

• d178ee89
  by Sylvain Henry at 2026-04-16T13:30:25-04:00

  Add changelog for #15973
  

• e8a196c6
  by sheaf at 2026-04-16T13:31:19-04:00

  Deal with 'noSpec' in 'coreExprToPmLit'
  
  This commit makes two separate changes relating to
  'GHC.HsToCore.Pmc.Solver.Types.coreExprAsPmLit':
  
    1. Commit 7124e4ad mistakenly marked deferred errors as non-canonical,
       which led to the introduction of 'nospec' wrappers in the
       generated Core. This reverts that accident by declaring deferred
       errors as being canonical, avoiding spurious 'nospec' wrapping.
    2. Look through magic identity-like Ids such as 'nospec', 'inline' and
       'lazy' in 'coreExprAsPmLit', just like Core Prep does.
       There might genuinely be incoherent evidence, but that shouldn't
       obstruct the pattern match checker. See test T27124a.
  
  Fixes #25926 #27124
  
  -------------------------
  Metric Decrease:
      T3294
  -------------------------
  

• 8cb99552
  by Sylvain Henry at 2026-04-16T19:22:43-04:00

  hadrian: warn when package index is missing (#16484)
  
  Since cabal-install 3.0 we can query the path of remote-repo-cache and
  check if hackage package index is present.
  
  Fixes #16484
  

• d6ce7477
  by Richard Eisenberg at 2026-04-16T19:23:25-04:00

  Teach hadrian to --skip-test.
  
  Fixes #27188.
  
  This adds the --skip-test flag to `hadrian build`, as documented in the
  patch.
  

• 7666f4a9
  by Fendor at 2026-04-17T22:29:51-04:00

  Migrate `ghc-pkg` to use `OsPath` and `file-io`
  
  `ghc-pkg` should use UNC paths as much as possible to avoid MAX_PATH
  issues on windows.
  
  `file-io` uses UNC Paths by default on windows, ensuring we use the
  correct APIs and that we finally are no longer plagued by MAX_PATH
  issues in CI and private machines.
  
  On top of it, the higher correctness of `OsPath` is appreciated in this
  small codebase. Also, we improve memory usage very slightly, due to the
  more efficient memory representation of `OsPath` over `FilePath`
  
  Adds `ghc-pkg` regression test for MAX_PATH on windows
  
  Make sure `ghc-pkg` behaves as expected when long paths (> 255) are
  involved on windows.
  
  Let's generate a testcase where we can actually observe that `ghc-pkg`
  behaves as epxected.
  
  See the documentation for windows on Maximum Path Length Limitation:
  
  * `https://learn.microsoft.com/en-us/windows/win32/fileio/maximum-file-path-limitation`
  
  Adds changelog entry for long path support in ghc-pkg.
  

• 78434e8c
  by Simon Peyton Jones at 2026-04-17T22:30:38-04:00

  Kill off the substitution in Lint
  
  Now that we have invariant (NoTypeShadowing) we no longer
  need Lint to carry an ambient substitution.  This makes it
  simpler and faster.  A really worthwhile refactor.
  
  There are some knock-on effects
  
  * Linting join points after worker/wrapper.  See
    Note [Join points and beta redexes]
  
  * Running a type substitution after the desugarer.
    See Note [Substituting type-lets] in
    the new module GHC.Core.SubstTypeLets
  
  Implements #27078
  
  Most perf tests don't use Lint so we won't see a perf incresae.
  But T1969, which uses -O0 and Lint, gets 1.3% worse because it has
  to run the SubstTypeLets pass which is a somewhat expensive no-op
  
  Overall though compile-time allocations are down 0.1%.
  
  Metric Increase:
      T1969
  

• 86ca6c2c
  by mangoiv at 2026-04-17T22:31:22-04:00

  testsuite: inline elemCoreTest
  
  Some weird (probably python scoping) rule caused elemCoreTest, a regex
  being out of scope on ubuntu, presumably because of a newer python version.
  This patch just inlines the regex, which fixes the issue.
  
  Fixes #27193
  

• 72d6dc74
  by aparker at 2026-04-20T20:15:44-04:00

  NCG: Implement constant folding for vector simd ops (Issue #25030)
  

• b9cab907
  by sheaf at 2026-04-20T20:15:44-04:00

  Mark some SIMD tests as broken on i386 optllvm
  
  As seen in #25498, several SIMD tests are broken on i386 in the optllvm
  way. This commit marks them as "expect_broken".
  

• 76528cc3
  by Wolfgang Jeltsch at 2026-04-20T20:16:25-04:00

  Move most of the `System.IO` implementation into `base`
  
  This involves a rewrite of the `combine` helper function to avoid the
  use of `last`, which would now be flagged as an error.
  
  Metric Decrease:
      LinkableUsage01
      T3294
  Metric Increase:
      T12227
      T12707
      T5642
  

• 04d143c0
  by Luite Stegeman at 2026-04-21T14:05:33-04:00

  rts: add a few missing i386 relocations in the rts linker
  

• 014087e7
  by Luite Stegeman at 2026-04-21T14:05:34-04:00

  CodeOutput: Fix finalizers on multiple platforms
  
   - ELF platforms: emit .fini_array section
   - wasm32/Darwin: emit initializer with __cxa_atexit call
   - Windows: use -Wl,--whole-archive to prevent dropping finalizer symbols
   - rts linker: fix crash/assertion failure unloading objects with finalizers
  
  fixes #27072
  

• 915bba6f
  by Simon Jakobi at 2026-04-21T14:06:16-04:00

  Add regression test for #10531
  
  Closes #10531.
  

• 86a646a6
  by Andreas Klebinger at 2026-04-22T13:00:05-04:00

  Revert use of generic instances for compiler time perf reasons.
  
  Revert "Derive Semigroup/Monoid for instances believed could be derived in #25871"
  
  This reverts commit 11a04cbb221cc404fe00d65d7c951558ede4caa9.
  
  Revert "add Ghc.Data.Pair deriving"
  
  This reverts commit 15d9ce449e1be8c01b89fd39bdf1e700ea7d1dce.
  

• bc9ee1cf
  by Wen Kokke at 2026-04-22T13:00:51-04:00

  hadrian: Fix docs to remove static flavour
  
  In 638f6548, the static flavour was turned into into the fully_static
  flavour transformer. However, this commit did not update flavours.md.
  

• 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.
  

• 1350271b
  by sheaf at 2026-04-27T09:32:53-04:00

  Ensure TcM plugins are only initialised once
  
  This commit ensures we keep TcM plugins (typechecker plugins,
  defaulting plugins and hole fit plugins) running all the way through
  desugaring, instead of stopping them at the end of typechecking.
  
  To do this, the "stop" actions of TcPlugin and DefaultingPlugin are
  split into two: one for the "post-typecheck" action, and one for the
  final shutdown action (after desugaring).
  
  This allows the plugins to be invoked by the pattern match checker
  (during desugaring) without having to be repeatedly re-initialised and
  stopped, fixing #26839.
  
  In the process, this commit modifies 'initTc' and 'initTcInteractive',
  adding an extra argument that describes whether to start/stop the 'TcM'
  plugins.
  
  See Note [Stop TcM plugins after desugaring] for an overview.
  

• 42549222
  by sheaf at 2026-04-27T09:33:50-04:00

  Hadrian: add --keep-response-files
  
  This commit adds a Hadrian flag that allows response files to be
  retained. This is useful for debugging a failing Hadrian command line.
  

• 40564e8d
  by sheaf at 2026-04-27T09:34:46-04:00

  hadrian/build-cabal.bat: fix build on Windows
  
  Commit 8cb99552f6 introduced a warning for a missing package index.
  However, the logic was faulty on Windows: the piping was broken, and
  "remote-repo-cache:" was being interpreted as a (malformed) drive letter,
  leading to the error:
  
    The filename, directory name, or volume label syntax is incorrect.
  
  This commit fixes that by using a temporary file instead of piping.
  

• 14bc71e4
  by Sven Tennie at 2026-04-28T13:22:47-04:00

  ghc: Distinguish between having an interpreter and having an internal one
  
  Actually, these are related but different things:
  
  - ghc can run an interpreter (either internal or external)
  - ghc is compiled with an internal interpreter
  
  Splitting the logic solves compiler warnings and expresses the intent
  better.
  

• df691563
  by Vladislav Zavialov at 2026-04-28T13:23:29-04:00

  Refactor HsWildCardTy to use HoleKind (#27111)
  
  The payload of this patch is that the extension fields of HsWildCardTy
  and HsHole now match:
  
  	type instance XWildCardTy Ghc{Ps,Rn} = HoleKind
  	type instance XHole       Ghc{Ps,Rn} = HoleKind
  
  This is progress towards unification of HsExpr and HsType.
  Test case: T25121_status
  
  In addition to that, exact-printing of infix holes is fixed.
  Test case: PprInfixHole
  

• f3485446
  by fendor at 2026-04-28T13:24:12-04:00

  Expose startupHpc as an rts symbol
  

• 28f07d70
  by fendor at 2026-04-28T13:24:12-04:00

  Make HPC work with bytecode interpreter
  
  Add support to generate .tix files from bytecode objects and the
  bytecode interpreter.
  
  Conceptually, we insert HPC ticks into the bytecode similar to how we insert
  breakpoints.
  HPC and breakpoints do not share the same tick array but we use a separate
  tick-array for hpc/breakpoint ticks during bytecode generation.
  
  We teach the bytecode interpreter to handle hpc ticks.
  The implementation is quite trivial, simply increment the counter in the
  global hpc_ticks array for the respective module.
  
  This hpc_ticks array is generated as part of the `CStub`, so we can rely
  on it existing.
  
  A tricky bit is "registering" a bytecode object for HPC instrumentation.
  In the compiled case, this is achieved via CStub and initializer/finalizers
  `.init` sections which are called when the executable is run.
  After the initializers have been invoked, which is before `hs_init_ghc`,
  we then call `startup_hpc` in `hs_init_ghc` iff any modules were "registered"
  for hpc instrumentation via `hs_hpc_module`.
  
  Since bytecode objects are loaded after starting up GHCi, this workflow
  doesn't work for supporting `hpc` and the `hpc` run-time is never
  started, even if a module is added for instrumentation.
  
  We fix this issue by employing the same technique as is for `SptEntry`s:
  
  * We introduce a new field to `CompiledByteCode`, called `ByteCodeHpcInfo`
    which contains enough information to call `hs_hpc_module`, allowing us to
    register the module for `hpc` instrumentation`.
  * After registering the module, we unconditionally call `startupHpc`, to make
    sure the .tix file is written.
  
  Calling `startupHpc` multiple times is safe.
  Calling `hs_hpc_module` multiple times for the same module is also safe.
  
  If we didn't register the hpc module in this way, evaluating a bytecode object
  instrumented with `-fhpc` without registering it in the `hpc` run-time will
  simply not generate any `.tix` files for this bytecode object.
  
  However, this shouldn't happen if everything is set up correctly.
  
  Closes #27036
  

• 950879f0
  by Vladislav Zavialov at 2026-04-28T13:24:55-04:00

  Move NamespaceSpecifier from x-fields into the AST proper (#26678)
  
  This refactoring moves NamespaceSpecifier out of extension fields and into the
  AST proper, as it is part of the user-written source, and is not pass-specific.
  
  Summary of changes:
  
  * Move NamespaceSpecifier from GHC/Hs/Basic.hs to Language/Haskell/Syntax/ImpExp.hs
    and parameterise it by the compiler pass, creating the necessary extension points
  * Move NamespaceSpecifier out of XFixitySig into FixitySig
  * Move NamespaceSpecifier out of XIEThingAll (IEThingAllExt) into IEThingAll
  * Move NamespaceSpecifier out of XIEWholeNamespace (IEWholeNamespaceExt) into IEWholeNamespace
  
  This is a pure refactoring with no change in behaviour.
  

• 9797052b
  by Simon Peyton Jones at 2026-04-28T13:25:37-04:00

  Fix assertion check in checkResultTy
  
  As #27210 shows, the assertion was a little bit too eager.
  
  I refactored a bit by moving some code from GHC.Tc.Gen.App
  to GHC.Tc.Utils.Unify; see the new function tcSubTypeApp,
  which replaces tcSubTypeDS
  

• 9f85f034
  by Duncan Coutts at 2026-04-30T04:52:42-04:00

  Make cmm 'import "package" name;' syntax use consistent label types
  
  There is a little-used syntactic form in cmm imports:
  
  import "package" foo;
  
  Which means to import foo from the given package (unit id, specified as
  a string). This syntax is somewhat reminiscent of GHC's package import
  extension.
  
  This syntax form is not used in the rts cmm code, nor any of the boot
  libraries. It may not be used at all. Unclear.
  
  Change the kind of CLabel this syntax generates to be consistent with
  the others. The other cmm imports use ForeignLabel with
  ForeignLabelInExternalPackage. For some reason this form was using
  CmmLabel. Change that to also be ForeignLabel but with
  ForeignLabelInPackage. This specifies a specific package, rather
  than an unnamed external package.
  

• a811f68f
  by Duncan Coutts at 2026-04-30T04:52:42-04:00

  Change default cmm import statements to be internal
  
  Previously a cmm statement like:
  
  import foo;
  
  meant to expect the symbol from a different shared library than the
  current one.
  
  Now it means to expect the symbol from the same shared library as the
  current one. We'll add explicit syntax to indicate that it's a foreign
  import. Most existing uses are in fact intenal (rts to rts), so few
  imports will need to be annotated foreign. Examples would include cmm
  code in libraries (other than the rts) that need to access RTS APIs.
  
  In practice, this makes no difference whatsoever at the moment on any
  platform other than windows (where building Haskell libs as shared libs
  does not fully work yet), since the 'labelDynamic' treats all such
  labels as foreign, irrespective of the foreign label source.
  

• 17fe5d1d
  by Duncan Coutts at 2026-04-30T04:52:42-04:00

  Add cmm import syntax 'import DATA foo;' as better name for CLOSURE
  
  The existing syntax is:
  
  import CLOSURE foo;
  
  The new syntax is
  
  import DATA foo;
  
  This means to interpret the symbol foo as refering to data (i.e. a
  global constant or variable) rather than to code (a function). The
  historical syntax for this uses CLOSURE, which is rather misleading.
  Presumably this was done to avoid introducing new reserved words.
  
  Be less squemish about new reserved words and add DATA and use that.
  Keep the existing CLOSURE syntax as an alias for compatibility.
  

• 3a530d68
  by Duncan Coutts at 2026-04-30T04:52:42-04:00

  Add cmm 'import extern name;' syntax
  
  Since the default for cmm imports is now for symbols within the same
  shared object, we need a way to indicate we want a symbol from an
  external shared object:
  
  import extern foo;      -- for a function
  import extern DATA foo; -- for data
  
  This adds a new reserved word 'extern'.
  
  We don't expect to have to use this much. Most cmm imports are
  intra-DSO.
  
  This makes no difference currently on ELF and MachO platforms, but does
  make a difference to the linking conventions on PE (Windows).
  
  In future it's plausible we could take make distinctions on ELF or
  MachO, so it's worth trying to get it right. Windows can be the guinea
  pig.
  

• 2b8e44c7
  by Duncan Coutts at 2026-04-30T04:52:42-04:00

  Add cmm syntax 'import "package" DATA foo;' for completeness
  
  We already have:
  
  import DATA foo;      -- for data imports
  import "package" foo; -- for imports from a given unitid
  
  There's no reason not to have both at once:
  
  import "package" DATA foo;
  
  So add that.
  

• ee05e5cc
  by Duncan Coutts at 2026-04-30T04:52:42-04:00

  Improve the commentary for the cmm import grammar.
  
  AFAIK, this is the only place where GHC-style Cmm syntax is documented.
  

• b35946ad
  by Duncan Coutts at 2026-04-30T04:52:42-04:00

  Add a changelog.d entry for the .cmm import syntax changes
  

• d59b7c71
  by Wolfgang Jeltsch at 2026-04-30T04:53:25-04: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
      T9198
      T12425
      T13035
      T13820
      T18140
  

• 5bd6a964
  by Rodrigo Mesquita at 2026-04-30T04:54:08-04:00

  New rts Message to {set,unset} TSO flags
  
  This commit introduces stg_MSG_SET_TSO_FLAG_info and
  stg_MSG_UNSET_TSO_FLAG_info, which allows setting flags of a TSO other
  than yourself.
  
  This is especially useful/necessary to set breakpoints and toggle
  breakpoints of different threads, which is needed to safely implement
  features like pausing, toggling step-out, toggling step-in per thread,
  etc.
  
  Fixes #27131
  
  -------------------------
  Metric Decrease:
      T3294
  -------------------------
  

• ce97fd3e
  by Rodrigo Mesquita at 2026-04-30T04:54:08-04:00

  test: Add test setting another TSO's flags
  
  Introduces a test that runs on two capabilities. The main thread running
  on Capability 0 sets the flags on a TSO running on Capability 1.
  The TSO from Capability 1 itself checks whether its flags were set and
  reports that back.
  
  This validates that the RTS messages for setting TSO flags work, even if
  it doesn't test a harsher scenario with race conditions to exercise why
  the message passing is necessary for safely setting another TSO's flags.
  
  Part of #27131
  

• a4ff6315
  by David Eichmann at 2026-04-30T04:54:51-04:00

  Hadrian: withResponseFile outputs response file when verbodity is Verbose
  
  At the Verbose verbosity, shake will display full commandlines. With the
  use of response files, the full command is hidden. That makes it hard to run
  the command manually. This commit outputs the contents of the response
  file so that that full command can be recreated and also hints at the
  use of the --keep-response-files hadrian flag.
  

• cd732ee3
  by Duncan Coutts at 2026-04-30T04:54:51-04:00

  Use response files for hadrian linking with ghc (support long command lines)
  
  In future support for windows dynamic linking, we expect long command
  lines for linking dll files with ghc. Experiments with dynamic linking the
  ghc-internal library yielded a link command well over 32kb. We did not
  encounter this before for static libs, since we already use ar's @file
  feature (if available, which it is for the llvm toolchain).
  
  Co-authored-by: David Eichmann <davide@well-typed.com>
  

• 3d41368f
  by Andreas Klebinger at 2026-04-30T04:55:32-04:00

  Split GHC.Driver.Main.hs up into multiple components.
  
  This commit splits GHC.Driver.Main into four components:
  
  * GHC.Driver.Main.Compile
  * GHC.Driver.Main.Hsc
  * GHC.Driver.Main.Interactive
  * GHC.Driver.Main.Passes
  
  We might improve that separation further in the future but this should
  hopefully make it easier to reason about and work with this part of the
  code.
  

• 2128ba85
  by Cheng Shao at 2026-04-30T04:56:14-04:00

  compiler: avoid unique OccNames for internal Names in bytecode objects
  
  This patch improves bytecode object serialization logic by avoiding
  the construction of unique `OccName`s when serializing/deserializing
  internal `Name`s. Closes #27213.
  
  -------------------------
  Metric Decrease:
      LinkableUsage01
  -------------------------
  

• e16854c3
  by Vladislav Zavialov at 2026-04-30T04:56:57-04:00

  Replace GHC 9.16 references with GHC 10.0
  

• 39141343
  by Alice Rixte at 2026-05-01T14:09:32+02:00

  Add Bounded instances for Double, Float, CDouble and CFloat
  

• 5c4c3bf4
  by Sylvain Henry at 2026-05-02T03:39:28-04:00

  testsuite: fix flaky foundation Divisible / mulIntMayOflo# tests (#27222)
  
  Since the LCG was widened to 64 bits and the seed randomised per CI run
  (commit 2d30f7d3400 "Vendor mini-QuickCheck for testsuite"), two latent
  bugs in the foundation test surface stochastically:
  
  * The Divisible property `(x `div` y) * y + (x `mod` y) == x` raises
    ArithException(Overflow) when (a, b) = (minBound, -1) for fixed-width
    signed Integral types. Split testNumber/testDivisible into Bounded and
    unbounded variants and skip just that one pair, gated by
    `(minBound :: a) < 0` so unsigned types lose no coverage.
  
  * The `mulIntMayOflo#` test compared raw Int# bit-for-bit, but the primop
    is only specified to return 0/non-zero -- the exact non-zero indicator
    legitimately differs between backends and inlining choices. Add a
    dedicated `testPrimopMayOflo` helper that only compares zero / non-zero.
  
  Also fix the long-standing typo "Dividible" -> "Divisible" in identifiers.
  
  Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
  

• e242ce4f
  by Sylvain Henry at 2026-05-02T03:39:28-04:00

  testsuite: catch and display exceptions in MiniQuickCheck
  
  Exceptions raised while evaluating a property are now caught and reported
  as a normal failure (with arguments and seed), instead of aborting the
  test.
  
  Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
  

• 3b75cccd
  by fendor at 2026-05-02T03:40:14-04:00

  Fix name of Note [Structure of dep_boot_mods]
  

• f0ca3fb1
  by Brandon Chinn at 2026-05-07T08:29:54-07:00

  Add Data.RealFloat
  

• 437c770d
  by Brandon Chinn at 2026-05-07T08:29:54-07:00

  Add Infinity/NegInfinity/NaN pattern synonyms (#26961)
  

• 6eb175dc
  by Brandon Chinn at 2026-05-07T09:56:49-07:00

  Address feedback
  

364 changed files:

• .gitlab/generate-ci/gen_ci.hs
• .gitlab/jobs.yaml
• .gitlab/merge_request_templates/Default.md
• + changelog.d/T15973
• + changelog.d/T19174.md
• + changelog.d/T27121.md
• + changelog.d/T27124.md
• + changelog.d/T27131
• + changelog.d/binary-array-no-list
• + changelog.d/bytecode-interpreter-hpc-support
• + changelog.d/cmm-import-syntax-changes
• + changelog.d/fix-finalizers-27072
• + changelog.d/ghc-api-holes-ast-27111
• + changelog.d/ghc-api-namespace-specifier-26678
• + changelog.d/ghc-pkg-long-path-support
• + changelog.d/hadrian-response-files.md
• + changelog.d/hadrian-warn-missing-package-index-16484
• + changelog.d/llvm-22
• + changelog.d/simd_constant_folding
• + changelog.d/skip-test
• + changelog.d/tcplugin_init.md
• + changelog.d/tcplugins-pmc.md
• + changelog.d/typecheckModule-API.md
• + changelog.d/withTcPlugins.md
• compiler/GHC.hs
• compiler/GHC/ByteCode/Asm.hs
• compiler/GHC/ByteCode/Binary.hs
• compiler/GHC/ByteCode/Instr.hs
• compiler/GHC/ByteCode/Types.hs
• compiler/GHC/Cmm/Lexer.x
• compiler/GHC/Cmm/Opt.hs
• compiler/GHC/Cmm/Parser.y
• compiler/GHC/CmmToAsm/X86/CodeGen.hs
• compiler/GHC/CmmToLlvm/CodeGen.hs
• compiler/GHC/Core/Lint.hs
• + compiler/GHC/Core/Lint/SubstTypeLets.hs
• compiler/GHC/Core/Opt/FloatOut.hs
• compiler/GHC/Core/Opt/OccurAnal.hs
• compiler/GHC/Core/Opt/WorkWrap/Utils.hs
• compiler/GHC/Core/Subst.hs
• compiler/GHC/Core/Utils.hs
• compiler/GHC/CoreToStg/Prep.hs
• compiler/GHC/Data/FastString.hs
• compiler/GHC/Data/Pair.hs
• compiler/GHC/Driver/Backend.hs
• compiler/GHC/Driver/Backpack.hs
• compiler/GHC/Driver/CodeOutput.hs
• compiler/GHC/Driver/Config/Core/Lint.hs
• compiler/GHC/Driver/Env/Types.hs
• compiler/GHC/Driver/Flags.hs
• compiler/GHC/Driver/Main.hs
• + compiler/GHC/Driver/Main/Compile.hs
• compiler/GHC/Driver/Main.hs-boot → compiler/GHC/Driver/Main/Compile.hs-boot
• + compiler/GHC/Driver/Main/Hsc.hs
• + compiler/GHC/Driver/Main/Interactive.hs
• + compiler/GHC/Driver/Main/Passes.hs
• + compiler/GHC/Driver/Main/Passes.hs-boot
• compiler/GHC/Driver/Pipeline.hs
• compiler/GHC/Driver/Pipeline/Execute.hs
• compiler/GHC/Driver/Pipeline/Monad.hs
• compiler/GHC/Driver/Pipeline/Phases.hs
• compiler/GHC/Driver/Session.hs
• compiler/GHC/Hs/Basic.hs
• compiler/GHC/Hs/Binds.hs
• compiler/GHC/Hs/Decls.hs
• compiler/GHC/Hs/Expr.hs-boot
• compiler/GHC/Hs/ImpExp.hs
• compiler/GHC/Hs/Type.hs
• compiler/GHC/HsToCore.hs
• compiler/GHC/HsToCore/Coverage.hs
• compiler/GHC/HsToCore/Docs.hs
• compiler/GHC/HsToCore/Monad.hs
• compiler/GHC/HsToCore/Pmc.hs
• compiler/GHC/HsToCore/Pmc/Solver/Types.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/HsToCore/Ticks.hs
• compiler/GHC/HsToCore/Types.hs
• compiler/GHC/Iface/Ext/Ast.hs
• compiler/GHC/Iface/Load.hs
• compiler/GHC/Iface/Tidy.hs
• compiler/GHC/Linker/Executable.hs
• compiler/GHC/Linker/Loader.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Parser/PostProcess/Haddock.hs
• compiler/GHC/Rename/Bind.hs
• compiler/GHC/Rename/Env.hs
• compiler/GHC/Rename/HsType.hs
• compiler/GHC/Rename/Module.hs
• compiler/GHC/Rename/Names.hs
• compiler/GHC/Rename/Pat.hs
• compiler/GHC/Runtime/Eval.hs
• compiler/GHC/Runtime/Heap/Inspect.hs
• compiler/GHC/Runtime/Interpreter.hs
• compiler/GHC/Runtime/Loader.hs
• compiler/GHC/Stg/Debug.hs
• compiler/GHC/StgToByteCode.hs
• compiler/GHC/Tc/Errors.hs
• compiler/GHC/Tc/Errors/Hole.hs
• compiler/GHC/Tc/Errors/Ppr.hs
• compiler/GHC/Tc/Errors/Types.hs
• compiler/GHC/Tc/Gen/App.hs
• compiler/GHC/Tc/Gen/Export.hs
• compiler/GHC/Tc/Gen/Head.hs
• compiler/GHC/Tc/Gen/HsType.hs
• compiler/GHC/Tc/Gen/Pat.hs
• compiler/GHC/Tc/Module.hs
• compiler/GHC/Tc/Solver/Default.hs
• compiler/GHC/Tc/Solver/Rewrite.hs
• compiler/GHC/Tc/Solver/Solve.hs
• compiler/GHC/Tc/Types.hs
• compiler/GHC/Tc/Utils/Backpack.hs
• compiler/GHC/Tc/Utils/Monad.hs
• compiler/GHC/Tc/Utils/TcMType.hs
• compiler/GHC/Tc/Utils/Unify.hs
• compiler/GHC/ThToHs.hs
• compiler/GHC/Types/Error.hs
• compiler/GHC/Types/Error.hs-boot
• compiler/GHC/Types/ForeignStubs.hs
• compiler/GHC/Types/HpcInfo.hs
• compiler/GHC/Types/Name/Reader.hs
• compiler/GHC/Types/Tickish.hs
• compiler/GHC/Types/Unique/DSet.hs
• compiler/GHC/Unit/Module/Deps.hs
• compiler/GHC/Unit/Module/ModGuts.hs
• compiler/GHC/Unit/State.hs
• compiler/GHC/Utils/Binary.hs
• compiler/GHC/Utils/Misc.hs
• compiler/GHC/Utils/Ppr/Colour.hs
• compiler/Language/Haskell/Syntax/Binds.hs
• compiler/Language/Haskell/Syntax/Decls.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• compiler/Language/Haskell/Syntax/ImpExp.hs
• compiler/ghc.cabal.in
• configure.ac
• docs/users_guide/debug-info.rst
• docs/users_guide/extending_ghc.rst
• docs/users_guide/exts/explicit_namespaces.rst
• docs/users_guide/exts/linear_types.rst
• docs/users_guide/exts/modifiers.rst
• docs/users_guide/exts/qualified_strings.rst
• docs/users_guide/exts/required_type_arguments.rst
• docs/users_guide/using-warnings.rst
• docs/users_guide/using.rst
• ghc/GHC/Driver/Session/Mode.hs
• ghc/GHCi/UI.hs
• ghc/GHCi/UI/Info.hs
• ghc/Main.hs
• ghc/ghc-bin.cabal.in
• hadrian/build-cabal
• hadrian/build-cabal.bat
• hadrian/doc/flavours.md
• hadrian/doc/make.md
• hadrian/doc/testsuite.md
• hadrian/src/Builder.hs
• hadrian/src/CommandLine.hs
• hadrian/src/Hadrian/Builder.hs
• hadrian/src/Hadrian/Builder/Ar.hs
• hadrian/src/Hadrian/Utilities.hs
• hadrian/src/Settings/Builders/Ghc.hs
• hadrian/src/Settings/Builders/RunTest.hs
• hadrian/src/Settings/Packages.hs
• libraries/base/base.cabal.in
• libraries/base/changelog.md
• libraries/base/src/Control/Concurrent.hs
• libraries/base/src/Data/Data.hs
• + libraries/base/src/Data/RealFloat.hs
• libraries/base/src/Data/Version.hs
• libraries/base/src/GHC/ByteOrder.hs
• libraries/base/src/GHC/IO/Handle.hs
• libraries/base/src/Numeric.hs
• libraries/base/src/Prelude.hs
• libraries/base/src/System/IO.hs
• libraries/base/src/Text/Printf.hs
• libraries/base/tests/perf/all.T
• libraries/ghc-boot/GHC/Unit/Database.hs
• libraries/ghc-boot/ghc-boot.cabal.in
• libraries/ghc-heap/tests/tso_and_stack_closures.hs
• libraries/ghc-internal/include/CTypes.h
• libraries/ghc-internal/src/GHC/Internal/Data/Data.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Version.hs
• libraries/ghc-internal/src/GHC/Internal/Float.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
• libraries/ghc-internal/src/GHC/Internal/System/IO.hs
• + libraries/ghci/GHCi/Coverage.hs
• libraries/ghci/GHCi/Message.hs
• libraries/ghci/GHCi/Run.hs
• libraries/ghci/ghci.cabal.in
• rts/Disassembler.c
• rts/Hpc.c
• rts/Interpreter.c
• rts/Linker.c
• rts/LinkerInternals.h
• rts/Messages.c
• rts/RtsSymbols.c
• rts/StgMiscClosures.cmm
• rts/Threads.c
• rts/Threads.h
• rts/include/rts/Bytecodes.h
• rts/include/rts/storage/Closures.h
• rts/include/stg/MiscClosures.h
• rts/linker/Elf.c
• testsuite/driver/runtests.py
• testsuite/driver/testglobals.py
• testsuite/driver/testlib.py
• + testsuite/tests/MiniQuickCheck.hs
• testsuite/tests/cabal/Makefile
• testsuite/tests/cabal/all.T
• + testsuite/tests/cabal/ghcpkg10.stdout
• + testsuite/tests/codeGen/should_run/T27072d.hs
• + testsuite/tests/codeGen/should_run/T27072d.stdout
• + testsuite/tests/codeGen/should_run/T27072d_c.c
• + testsuite/tests/codeGen/should_run/T27072d_check.c
• + testsuite/tests/codeGen/should_run/T27072w.hs
• + testsuite/tests/codeGen/should_run/T27072w.stdout
• + testsuite/tests/codeGen/should_run/T27072w_c.c
• testsuite/tests/codeGen/should_run/all.T
• testsuite/tests/corelint/LintEtaExpand.stderr
• testsuite/tests/corelint/T21115b.stderr
• + testsuite/tests/driver/T10531/A.hs
• + testsuite/tests/driver/T10531/B.hs
• + testsuite/tests/driver/T10531/C.hs
• + testsuite/tests/driver/T10531/Makefile
• + testsuite/tests/driver/T10531/all.T
• testsuite/tests/ghc-api/T25121_status.stdout
• testsuite/tests/ghc-api/T26910.hs
• testsuite/tests/ghc-api/T6145.hs
• + testsuite/tests/ghci/T9074/Makefile
• + testsuite/tests/ghci/T9074/T9074.hs
• + testsuite/tests/ghci/T9074/T9074.stdout
• + testsuite/tests/ghci/T9074/T9074a.c
• + testsuite/tests/ghci/T9074/T9074b.c
• + testsuite/tests/ghci/T9074/all.T
• testsuite/tests/ghci/should_run/tc-plugin-ghci/TcPluginGHCi.hs
• testsuite/tests/haddock/should_compile_flag_haddock/T17544_kw.stderr
• testsuite/tests/hpc/Makefile
• testsuite/tests/hpc/T17073.stdout → testsuite/tests/hpc/T17073a.stdout
• + testsuite/tests/hpc/T17073b.stdout
• testsuite/tests/hpc/T20568.stdout → testsuite/tests/hpc/T20568a.stdout
• + testsuite/tests/hpc/T20568b.stdout
• testsuite/tests/hpc/all.T
• testsuite/tests/hpc/fork/Makefile
• testsuite/tests/hpc/function/Makefile
• testsuite/tests/hpc/function/test.T
• + testsuite/tests/hpc/function/tough1.stderr
• + testsuite/tests/hpc/function/tough1.stdout
• testsuite/tests/hpc/function2/test.T
• + testsuite/tests/hpc/function2/tough3.script
• + testsuite/tests/hpc/ghc_ghci/BytecodeMain.hs
• testsuite/tests/hpc/ghc_ghci/Makefile
• + testsuite/tests/hpc/ghc_ghci/hpc_ghc_ghci_bytecode.stdout
• + testsuite/tests/hpc/ghc_ghci/hpc_ghci01.stdout
• + testsuite/tests/hpc/ghc_ghci/hpc_ghci02.stdout
• testsuite/tests/hpc/ghc_ghci/test.T
• testsuite/tests/hpc/simple/Makefile
• + testsuite/tests/hpc/simple/hpc002.hs
• + testsuite/tests/hpc/simple/hpc002.stdout
• + testsuite/tests/hpc/simple/hpc003.hs
• + testsuite/tests/hpc/simple/hpc003.script
• + testsuite/tests/hpc/simple/hpc003.stdout
• testsuite/tests/hpc/simple/test.T
• 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/linters/notes.stdout
• testsuite/tests/numeric/should_run/all.T
• testsuite/tests/numeric/should_run/foundation.hs
• + testsuite/tests/overloadedstrings/should_fail/T25926.hs
• + testsuite/tests/overloadedstrings/should_fail/T25926.stderr
• + testsuite/tests/overloadedstrings/should_fail/T27124.hs
• + testsuite/tests/overloadedstrings/should_fail/T27124.stderr
• + testsuite/tests/overloadedstrings/should_fail/all.T
• + testsuite/tests/overloadedstrings/should_run/T27124a.hs
• testsuite/tests/overloadedstrings/should_run/all.T
• testsuite/tests/parser/should_compile/T20846.stderr
• testsuite/tests/plugins/defaulting-plugin/DefaultInterference.hs
• testsuite/tests/plugins/defaulting-plugin/DefaultInvalid.hs
• testsuite/tests/plugins/defaulting-plugin/DefaultLifted.hs
• testsuite/tests/plugins/defaulting-plugin/DefaultMultiParam.hs
• testsuite/tests/plugins/echo-plugin/Echo.hs
• testsuite/tests/plugins/plugins09.stdout
• testsuite/tests/plugins/plugins10.stdout
• testsuite/tests/plugins/plugins11.stdout
• testsuite/tests/plugins/static-plugins.stdout
• testsuite/tests/printer/Makefile
• + testsuite/tests/printer/PprInfixHole.hs
• testsuite/tests/printer/all.T
• + testsuite/tests/profiling/should_compile/T27121.hs
• + testsuite/tests/profiling/should_compile/T27121_aux.hs
• testsuite/tests/profiling/should_compile/all.T
• testsuite/tests/quasiquotation/T7918.hs
• + testsuite/tests/rts/T27131.hs
• + testsuite/tests/rts/T27131.stdout
• + testsuite/tests/rts/T27131_c.c
• testsuite/tests/rts/all.T
• + testsuite/tests/rts/linker/T27072/Lib.c
• + testsuite/tests/rts/linker/T27072/Makefile
• + testsuite/tests/rts/linker/T27072/T27072.stdout
• + testsuite/tests/rts/linker/T27072/all.T
• + testsuite/tests/rts/linker/T27072/main.c
• + testsuite/tests/simd/should_run/Makefile
• + testsuite/tests/simd/should_run/T25030.hs
• + testsuite/tests/simd/should_run/T25030.stdout
• testsuite/tests/simd/should_run/all.T
• testsuite/tests/simd/should_run/simd006.hs
• + testsuite/tests/simplCore/should_compile/T26941.hs
• + testsuite/tests/simplCore/should_compile/T26941_aux.hs
• testsuite/tests/simplCore/should_compile/all.T
• testsuite/tests/tcplugins/Common.hs
• testsuite/tests/tcplugins/RewritePerfPlugin.hs
• testsuite/tests/tcplugins/T11462_Plugin.hs
• testsuite/tests/tcplugins/T11525_Plugin.hs
• testsuite/tests/tcplugins/T26395_Plugin.hs
• + testsuite/tests/tcplugins/TcPlugin_InitStop_Ghci.hs
• + testsuite/tests/tcplugins/TcPlugin_InitStop_Ghci.script
• + testsuite/tests/tcplugins/TcPlugin_InitStop_Ghci.stderr
• + testsuite/tests/tcplugins/TcPlugin_InitStop_Ghci.stdout
• + testsuite/tests/tcplugins/TcPlugin_InitStop_NoCode.hs
• + testsuite/tests/tcplugins/TcPlugin_InitStop_NoCode.hs-boot
• + testsuite/tests/tcplugins/TcPlugin_InitStop_NoCode.stderr
• + testsuite/tests/tcplugins/TcPlugin_InitStop_NoCode_aux.hs
• + testsuite/tests/tcplugins/TcPlugin_InitStop_Warn.hs
• + testsuite/tests/tcplugins/TcPlugin_InitStop_Warn.stderr
• testsuite/tests/tcplugins/all.T
• + testsuite/tests/tcplugins/tc-plugin-initstop/Makefile
• + testsuite/tests/tcplugins/tc-plugin-initstop/Setup.hs
• + testsuite/tests/tcplugins/tc-plugin-initstop/TcPlugin_InitStop_Plugin.hs
• + testsuite/tests/tcplugins/tc-plugin-initstop/tc-plugin-initstop.cabal
• testsuite/tests/th/all.T
• testsuite/tests/typecheck/should_compile/T9497a.stderr
• testsuite/tests/typecheck/should_compile/holes.stderr
• testsuite/tests/typecheck/should_compile/holes3.stderr
• testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr
• + testsuite/tests/typecheck/should_fail/T27210.hs
• + testsuite/tests/typecheck/should_fail/T27210.stderr
• testsuite/tests/typecheck/should_fail/T9497d.stderr
• testsuite/tests/typecheck/should_fail/all.T
• testsuite/tests/typecheck/should_run/T9497a-run.stderr
• testsuite/tests/typecheck/should_run/T9497b-run.stderr
• testsuite/tests/typecheck/should_run/T9497c-run.stderr
• testsuite/tests/wasm/should_run/control-flow/LoadCmmGroup.hs
• utils/check-exact/ExactPrint.hs
• utils/ghc-pkg/Main.hs
• utils/ghc-pkg/ghc-pkg.cabal.in
• utils/haddock/haddock-api/src/Haddock/Backends/Hoogle.hs
• utils/haddock/haddock-api/src/Haddock/Convert.hs
• utils/haddock/haddock-api/src/Haddock/GhcUtils.hs
• utils/haddock/haddock-api/src/Haddock/Interface/AttachInstances.hs
• utils/haddock/haddock-api/src/Haddock/Interface/Rename.hs
• utils/haddock/haddock-api/src/Haddock/Types.hs
• utils/haddock/html-test/ref/Bug1004.html
• utils/haddock/html-test/ref/Bug973.html
• utils/haddock/html-test/ref/ConstructorPatternExport.html
• utils/haddock/html-test/ref/DefaultSignatures.html
• utils/haddock/html-test/ref/Hash.html
• utils/haddock/html-test/ref/PatternSyns.html
• utils/haddock/html-test/ref/PatternSyns2.html
• utils/haddock/html-test/ref/QuasiExpr.html
• utils/haddock/html-test/ref/Test.html

The diff was not included because it is too large.