Rodrigo Mesquita pushed to branch wip/T23675 at Glasgow Haskell Compiler / GHC

Commits:

• b6d5b091
  by Simon Peyton Jones at 2025-03-11T22:39:23-04:00

  We can't UNPACK multi-constructor GADTs
  
  This MR fixes #25672
  
  See Note [Unpacking GADTs and existentials] in GHC.Types.Id.Make
  

• 8eae151d
  by Teo Camarasu at 2025-03-11T22:40:00-04:00

  template-haskell: Add explicit exports lists to all remaining modules
  

• db621b58
  by Teo Camarasu at 2025-03-11T22:40:00-04:00

  template-haskell: fix haddocks
  
  It seems that we need a direct dependency on ghc-internal, otherwise
  Haddock cannot find our haddocks
  
  The bug seems to be caused by Hadrian because if I rebuild with
  cabal-install (without this extra dependency) then I get accurate
  Haddocks.
  
  Resolves #25705
  

• 64ea68d9
  by Ben Gamari at 2025-03-12T07:11:51-04:00

  mk-ghcup-metadata: Clean up and add type annotations
  
  Getting this file right has historically been quite painful as it is a
  dynamically-typed script running only late in the release pipeline.
  

• b3f80b07
  by Ben Gamari at 2025-03-12T07:12:27-04:00

  rts: Drop imports of pthreads functions in cmm sources
  
  These are no longer used. I noticed these while looking for uses of
  __PIC__ in Cmm sources.
  

• 915a6781
  by Matthew Pickering at 2025-03-13T01:46:41-04:00

  interfaces: Ensure that forceModIface deeply forces a ModIface
  
  A ModIface is the result of compilation that we keep for a long time in
  memory. Therefore, it's very important to manage what we are going to
  retain and remove any external references to things which we might have
  captured compilation.
  
  If storing your ModIface in memory uses too much space, then store
  less things or make it use a more efficient representation.
  
  In the past there have been many space leak bugs by not sufficiently
  forcing a ModIface (#15111)
  
  This patch adds all the missing NFData instances for all the places I
  could find where we weren't deeply forcing the structure.
  

• 24d373a6
  by Matthew Craven at 2025-03-13T01:47:18-04:00

  Add interface-stability test for ghc-prim
  

• 0cb1db92
  by sheaf at 2025-03-14T13:11:44-04:00

  Don't report used duplicate record fields as unused
  
  This commit fixes the bug reported in #24035 in which the import of a
  duplicate record field could be erroneously reported as unused.
  
  The issue is that an import of the form "import M (fld)" can import
  several different 'Name's, and we should only report an error if ALL
  of those 'Name's are unused, not if ANY are.
  
  Note [Reporting unused imported duplicate record fields]
  in GHC.Rename.Names explains the solution to this problem.
  
  Fixes #24035
  

• f1830d74
  by Matthew Pickering at 2025-03-14T13:12:21-04:00

  binary: Directly copy ShortByteString to buffer rather than go via ByteString
  
  This avoids allocating an intermediate bytestring. I just noticed on a
  profile that `putFS` was allocating, and it seemed strange to me why
  since it should just copy the contents of the FastString into the
  already allocated buffer. It turned out we were going indirectly via a
  ByteString.
  
  Fixes #25861
  

• b15fca2b
  by Matthew Pickering at 2025-03-15T05:36:40-04:00

  iface: Store logical parts of ModIface together
  
  The ModIface structure is divided into several logical parts:
  
  1. mi_mod_info: Basic module metadata (name, version, etc.)
  
  2. mi_public: The public interface of the module (the ABI), which includes:
     - Exports, declarations, fixities, warnings, annotations
     - Class and type family instances
     - Rewrite rules and COMPLETE pragmas
     - Safe Haskell and package trust information
     - ABI hashes for recompilation checking
  
  4. mi_self_recomp: Information needed for self-recompilation checking
     (see Note [Self recompilation information in interface files])
  
  5. mi_simplified_core: Optional simplified Core for bytecode generation
     (only present when -fwrite-if-simplified-core is enabled)
  
  6. mi_docs: Optional documentation (only present when -haddock is enabled)
  
  7. mi_top_env: Information about the top-level environment of the original source
  
  8. mi_ext_fields: Additional fields for extensibility
  
  This structure helps organize the interface data according to its purpose and usage
  patterns. Different parts of the compiler use different fields. By separating them
  logically in the interface we can arrange to only deserialize the fields that are needed.
  
  This patch also enforces the invariant that the fields of ModIface are
  lazy. If you are keeping a ModIface on disk, then force it using
  `forceModIface`. Otherwise, when the `ModIface` is read from disk, only
  the parts which are needed from the interface will be deserialised.
  
  In a follow-up patch I will tackle follow-up issues:
  
  * Recompilation checking doesn't take into account exported named defaults (#25855)
  * Recompilation checking does not take into account COMPLETE pragmas (#25854)
  * mi_deps_ field in an interface is confused about whether the
    information is for self-recompilation checking or part of the ABI
    (#25844)
  
  Fixes #25845
  
  -------------------------
  Metric Decrease:
      MultiLayerModulesDefsGhciWithCore
  -------------------------
  

• c758cb71
  by Ben Gamari at 2025-03-15T05:37:17-04:00

  configure: Fix incorrect SettingsLlvmAsFlags value
  
  Previously this was set to `LlvmAsCmd` rather than `LlvmAsFlags`,
  resulting in #25856.

• cfaaca14
  by sheaf at 2025-03-18T20:05:03-04:00

  Fix buglet in isEmptyWorkList
  
  There was a missing case in GHC.Tc.Solver.InertSet.isEmptyWorkList; it
  mistakenly ignored the 'wl_rw_eqs' field. This commit simply fixes that.
  No test case.
  

• 9f9fe0b3
  by sheaf at 2025-03-18T20:05:03-04:00

  Add mapMaybeTM method to TrieMap class
  
  This commit adds a new method to the TrieMap class, mapMaybeTM, and
  adds implementations to all the instances.
  
  mapMaybeTM is useful when filtering containers that contain other
  containers.
  

• 393531ff
  by Simon Peyton Jones at 2025-03-18T20:05:03-04:00

  Specialising expressions -- at last
  
  This MR addresses #24359, which implements the GHC proposal 493 on SPECIALISE pragmas.
  
  * The old code path (using SpecSig and SpecPrag) still exists.
  * The new code path (using SpecSigE and SpecPragE) runs alongside it.
  * All SPECIALISE pragmas are routed through the new code path, except
    if you give multiple type sigs, when the old code path is still used.
  * Main documentation: Note [Handling new-form SPECIALISE pragmas] in
    GHC.Tc.Gen.Sig`
  
  Thanks to @sheaf for helping with this MR.
  
  The Big Thing is to introduce
  
    {-# SPECIALISE forall x.  f @Int x True #-}
  
  where you can give type arguments and value argument to specialise; and
  you can quantify them with forall, just as in Rules.
  
  I thought it was going to be pretty simple, but it was a Long, Long Saga.
  
  Highlights
  
  * Overview Note [Handling new-form SPECIALISE pragmas] in GHC.Tc.Gen.Sig
    - New data constructor `SpecSigE` in data type `L.H.S.Binds.Sig`
    - New data construtor `SpecPragE` in data type `GHC.Hs.Binds.TcSpecPrag`
    - Renamer: uses `checkSpecESigShape` to decide which function to assocate the
               SPECIALISE pragma with
    - Some of the action is in `GHC.Tc.Gen.Sig.tcSpecPrag`
    - The rest is in `GHC.HsToCore.Binds.dsSpec`
  
  * We use a new TcS mode, TcSFullySolve, when simplifying the Wanteds
    that arise from the specialise expression. The mechanism is explained
    in Note [TcSFullySolve] in GHC.Tc.Solver.Monad. The reason why we need
    to do this is explained in Note [Fully solving constraints for specialisation]
    in GHC.Tc.Gen.Sig.
  
  * All of GHC.Tc.Gen.Rule is moved into GHC.Tc.Gen.Sig, because the code is
    very closely related.
  
  * The forall'd binders for SPECIALISE are the same as those for a RULE, so I
    refactored, introducing data type `L.H.S.Binds.RuleBndrs`, with functions
    to rename, zonk, typecheck it.  I refactored this data type a bit; nicer now.
  
  * On the LHS of RULES, or SPECIALISE, we want to disable the tricky mechanims
    described in Note [Desugaring non-canonical evidence] in GHC.HsToCore.Expr.
    Previously it wasn't fully disabled (just set to the empty set), and that
    didn't quite work in the new regime.
  
  * There are knock-on changes to Template Haskell.
  
  * For the LHS of a RULE and a SPECIALISE expression, I wanted to simplify
    it /without/ inlining the let-bindings for evidence variables.  I added
    a flag `so_inline` to the SimpleOpt optimiser to support this.  The
    entry point is `GHC.Core.SimpleOpt.simpleOptExprNoInline`
  
  * Since forever we have had a hack for type variables on the LHS of
    RULES. I took the opportunity to tidy this up.  The main action is
    in the zonker.  See GHC.Tc.Zonk.Type Note [Free tyvars on rule LHS],
    and especially data construtor `SkolemiseFlexi`
    in data type `GHC.Tc.Zonk.Env.ZonkFlexi`
  
  * Move `scopedSort` from GHC.Core.TyCo.FVs to GHC.Core.Predicate
    Reason: it now works for Ids as well, and I wanted to use isEvVar,
            which is defined in GHC.Core.Predicate
    Avoiding module loops meant that instead of exporting GHC.Core.TyCo.Tidy
    from GHC.Core.Type, modules now import the former directly.
  
    I also took the opportunity to remove unused exports
    from GHC.Core.Type.hs-boot
  
  * Flag stuff:
    - Add flag `-Wdeprecated-pragmas` and use it to control the warning when
      using old-style SPECIALISE pragmas with multiple type ascriptions,
  
    - Add flag `-Wuseless-specialisations` and use it to control the warning emitted
      when GHC determines that a SPECIALISE pragma would have no effect. Don't
      want if the SPECIALISE is SPECIALISE INLINE (#4444)
  
      In response to #25389, we continue to generate these seemingly code for these
      seemingly useless SPECIALISE pragmas
  
    - Adds deprecations to Template Haskell `pragSpecD` and `pracSpecInlD`,
  
  * Split up old-style SPECIALISE pragmas in GHC.Internal.Float,
    GHC.Internal.Numeric, GHC.Internal.Real
  
  * Remove useless SPECIALISE pragmas in Data.Array (updating the array submodule)
  
  Smaller things:
  
  - Update the Users Guide
  
  - Add mention of the changes to the 9.14 release notes as well as
    the Template Haskell changelog,
  

• 1884dd1a
  by Simon Peyton Jones at 2025-03-18T20:05:03-04:00

  Add -Wrule-lhs-equalities warning
  
  This commit adds a new warning, controlled by the warning flag,
  -Wrule-lhs-equalities, which is emitted when the LHS of a RULE gives
  rise to equality constraints that previous GHC versions would have
  quantified over.
  
  GHC instead discards such RULES, as GHC was never able to generate
  a rule template that would ever fire; it's better to be explicit about
  the fact that the RULE doesn't work.
  

• b00b3ef0
  by Ben Gamari at 2025-03-18T20:05:41-04:00

  compiler: Add export list to GHC.SysTools.Process
  
  This also revealed that `readProcessEnvWithExitCode` and its local
  helpers were dead code.
  

• 25850b22
  by ARATA Mizuki at 2025-03-18T20:06:25-04:00

  Fix code generation for SSE vector operations
  
  The new implementation generates correct code
  even if the registers overlap.
  
  Closes #25859
  

• e576468c
  by Andreas Klebinger at 2025-03-18T20:07:02-04:00

  Bump nofib submodule.
  
  Fixes #25867. (Ben-raytrace being broken by library changes)
  

• 443fc8b1
  by Sjoerd Visscher at 2025-03-19T12:01:04-04:00

  Multiplicity annotation on records
  
  Needing to store multiplicity annotations on records triggered a refactoring of AST of data declarations:
  
  Moved HsBangTy and HsRecTy from HsType to HsTypeGhcPsExt, the extension of HsType during parsing, since they are only needed during parsing.
  
  New HsConDeclField that stores all source data shared by all constructor declaration fields: unpackedness, strictness, multiplicity, documentation and the type of the field.
  
  Merged HsMultAnn and HsArrowOf, so all multiplicity annotations share the same data type.
  
  HsBang was no longer needed as a separate type, and was inlined into HsSrcBang.
  

• 313cf271
  by Ben Gamari at 2025-03-19T12:01:43-04:00

  gitlab-ci: Drop CentOS 7 binary distributions
  
  CentOS 7 is EoL and moreover we cannot even build images for it.
  
  See #25061.
  

• 5b94f99f
  by Ben Gamari at 2025-03-19T12:02:21-04:00

  rts: Ensure that WinIO flag is set when --io-manager=auto
  
  As noted in #25838, previously `selectIOManager` failed to set
  `rts_IOManagerIsWin32Native` in its `IO_MNGR_FLAG_AUTO`. This meant
  that the MIO path was taken when WinIO was supposedly selected,
  resulting in chaos.
  
  Fixes #25838.
  

• 1a3f1131
  by Peng Fan at 2025-03-19T12:03:10-04:00

  Pass the mcmodel=medium parameter to CC via GHC
  
  Ensure that GHC-driver builds default to mcmodel=medium, so that GHC
  passes this default parameter to CC without having to add it to the
  compiled project.
  
  Commit e70d41406b5d5638b42c4d8222cd03e76bbfeb86 does not ensure that all
  GHC-built object files have a default model of medium, and will raise an
  R_LARCH_B26 overflow error.
  

• 27cf7361
  by Matthew Craven at 2025-03-19T12:03:48-04:00

  Add interface-stability test for ghc-bignum
  
  As with ghc-prim, it makes sense to have some protection against
  accidental interface changes to this package caused by changes
  in ghc-internal.
  

• 25d46547
  by Matthew Craven at 2025-03-19T12:03:48-04:00

  Add README reference for the interface-stability tests
  

• 5d65393e
  by Simon Peyton Jones at 2025-03-20T05:41:24-04:00

  Remove the Core flattener
  
  This big MR entirely removes the "flattener" that took a type and
  replaced each type-family application with a fresh type variable.
  The flattener had its origin in the paper
       Injective type families for Haskell
  
  But (a) #25657 showed that flattening doesn't really work.
      (b) since we wrote the paper we have introduced the so-called
          "fine-grained" unifier GHC.Core.Unify, which can return
                   * SurelyApart
                   * Unifiable subst
                   * MaybeApart subst
          where the MaybeApart says that the two types are not unifiable by a
          substitution, but could (perhaps) be unified "later" after some type
          family reductions.  This turns out to subsume flattening.
  
  This MR does a major refactor of GHC.Core.Unify to make it capable of
  subsuming flattening.   The main payload is described in
         Note [Apartness and type families]
  and its many wrinkles.
  
  The key (non-refactoring) implementation change is to add `um_fam_env`
  to the `UMState` in the unification monad.
  
  Careful review with Richard revealed various bugs in the treament of
  `kco`, the kind coercion carried around by the unifier, so that is
  substantially fixed too: see Note [Kind coercions in Unify].
  
  Compile-time performance is improved by 0.1% with a few improvements over
  1% and one worsening by 1.3% namely T9872a.  (I have not investigated the
  latter.)
  
  Metric Decrease:
      T9872b
      T9872c
      TcPlugin_RewritePerf
  Metric Increase:
      T9872a
  

• 9003ef0a
  by sheaf at 2025-03-20T05:42:08-04:00

  Remove SDoc from UnknownSubordinate/MissingBinding
  
  This commit replaces unstructured SDoc arguments in error message constructors
  with uses of the following two datatypes:
  
    - SigLike: for different kinds of signatures (e.g. standalone kind signatures,
      fixity signatures, COMPLETE pragmas, etc)
    - Subordinate: for class methods, associated types, and record fields
  
  The following error message constructors now no longer have any SDocs in them:
  
    - TcRnIllegalBuiltinSyntax: SDoc -> SigLike
    - MissingBinding: SDoc -> SigLike
    - UnknownSubordinate: SDoc -> (Name, Subordinate)
    - SuggestMoveToDeclarationSite: SDoc -> SigLike
  

• 4329f3b6
  by sheaf at 2025-03-20T05:42:08-04:00

  Remove SDocs from HsDocContext
  
  This commit removes the remaining SDocs from the HsDocContext data type.
  It adds the following constructors:
  
    ClassInstanceCtx  -- Class instances
    ClassMethodSigCtx -- Class method signatures
    SpecialiseSigCtx  -- SPECIALISE pragmas
    PatSynSigCtx      -- Pattern synonym signatures
  
  We now report a bit more information for errors while renaming class instances,
  which slightly improves renamer-emitted error messages.
  

• 75c29aa1
  by sheaf at 2025-03-20T05:42:08-04:00

  Reject instance with non-class head in renamer
  
  This commit modifies rnClsInstDecl so that, when renaming, we reject a class
  instance declaration in which the head is not a class. Before this change, it
  would get rejected in the type-checker, but that meant that the renamer could
  emit unhelpful error messages, e.g.:
  
    data Foo m a
    instance Foo m where
      fmap _ x = case x of
  
  would rather unhelpfully say:
  
      ‘fmap’ is not a (visible) method of class ‘Foo’
  
  when of course 'Foo' is not even a class. We now reject the above program
  with the following error message:
  
      Illegal instance for data type ‘Foo’.
      Instance heads must be of the form
        C ty_1 ... ty_n
      where ‘C’ is a class.
  
  Fixes #22688
  

• a8f543a9
  by Cheng Shao at 2025-03-20T18:47:19-04:00

  testsuite: mark T7919 as fragile on i386 as well
  
  T7919 may also fail i386 CI jobs with test timeout.
  

• 256ac29c
  by sheaf at 2025-03-20T18:48:07-04:00

  Don't cache solved [W] HasCallStack constraints
  
  This commit ensures we do not add solved Wanted constraints that mention
  HasCallStack or HasExceptionContext constraints to the set of solved
  Wanted dictionary constraints: caching them is invalid, because re-using
  such cached dictionaries means using an old call-stack instead of
  constructing a new one, as was reported in #25529.
  
  Fixes #25529.
  

• 47646ce2
  by Andrew Lelechenko at 2025-03-20T18:48:43-04:00

  Improve haddock-visible documentation for GHC.Driver.Flags
  

• 2e4e15ed
  by Sylvain Henry at 2025-03-21T17:49:36-04:00

  Document -fnum-constant-folding (#25862)
  

• 044a6e08
  by sheaf at 2025-03-21T17:50:24-04:00

  LLVM: fix typo in padLiveArgs
  
  This commit fixes a serious bug in the padLiveArgs function, which
  was incorrectly computing too many padding registers. This caused
  segfaults, e.g. in the UnboxedTuples test.
  
  Fixes #25770
  Fixes #25773
  

• 1745c749
  by Teo Camarasu at 2025-03-22T18:42:37-04:00

  template-haskell: remove Language.Haskell.TH.Lib.Internal
  
  This module is purely used for the implementation of TH quote
  desugarring.
  
  Historically this needed to be exposed from `template-haskell`, since
  that's the package that the desugarred expressions referenced but since
  https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12479, this is no
  longer the case.
  
  Now these identifiers are in `ghc-internal`.
  
  Note that this module has carried the following warning for a long time:
  
  > This is not a part of the public API, and as such, there are no API guarantees for this
  module from version to version.
  
  Resolves #24766
  

• 3bc507db
  by Alan Zimmerman at 2025-03-22T18:43:13-04:00

  EPA: Fix exact printing of SPECIALISE pragma
  
  This commit fixes two minor issues with exactprinting of the
  SPECIALISE pragma after !12319 landed
  
  - The span for the RHS did not include the optional signature type
  - The `::` was printed twice when the legacy path was used
  
  Closes #25885
  

• bdf93da8
  by sheaf at 2025-03-24T11:25:12+01:00

  Renamer: improve handling of export children
  
  This commit refactors the 'childGREPriority' function which is used when
  renaming subordinate items in export lists and class declarations.
  
  Instead of having a complicated LookupChild parameter, we now simply pass the
  GREInfo of the parent, which allows us to decide what is a valid child:
  
    - classes can have children that are in the type constructor namespace,
    - promoted data constructors should be treated the same as normal data
      constructors.
  
  Fixes #24027
  

• 1dbc7846
  by Matthew Pickering at 2025-03-24T15:35:17-04:00

  Revert "mk-ghcup-metadata: Clean up and add type annotations"
  
  This reverts commit 64ea68d9a206ec4db5020b0a3fc563199ab18be3.
  
  See #25889
  

• 6941c825
  by doyougnu at 2025-03-25T10:05:58-04:00

  base: construct compat RTSFlags
  
  -- see CLC #289
  

• 730e6f77
  by doyougnu at 2025-03-25T10:06:02-04:00

  base: construct compat GHC.Stats
  
  -- see CLC #289
  

• cd9e6605
  by Ben Gamari at 2025-03-25T17:59:52-04:00

  rel_eng/upload: Clarify usage directions
  
  Previously it was not made clear that the directory name is significant.
  

• 7d18c19b
  by Cheng Shao at 2025-03-25T22:00:56+00:00

  ghci: make the Pipe type opaque
  
  This commit makes the Pipe type in ghci opaque, and introduce the
  mkPipeFromHandles constructor for creating a Pipe from a pair of
  Handles. Pipe is now just a pair of receiver/sender continuations
  under the hood. This allows a Pipe to be potentially backed by other
  IPC mechanisms (e.g. WebSockets) which is essential for wasm ghci
  browser mode.
  

• a2103fd2
  by Cheng Shao at 2025-03-25T22:00:56+00:00

  ghci: use improved Pipe logic for wasm iserv
  
  This commit makes wasm iserv take advantage of the Pipe refactoring by
  passing binary receiver/sender js callbacks from the dyld script. This
  paves the way for piping the binary messages through WebSockets in
  order to run wasm iserv in the browser, but more importantly, it
  allows us to get rid of a horrible hack in the dyld script: we no
  longer have to fake magical wasi file descriptors that are backed by
  nodejs blocking I/O! The legacy hack was due to these facts:
  
  - iserv only supported exchanging binary messages via handles backed
    by file descriptors
  - In wasi you can't access host file descriptors passed by host ghc
  - The nodejs wasi implementation only allows mapping host directories
    into the wasi vfs, not host file descriptors
  - Named pipes with file paths (mkfifo) doesn't work well with nodejs
    wasi implementation, causes spurious testsuite failures on macos
  
  But starting from this point, we can fully take advantage of
  non-blocking I/O on the js side.
  

• fa2fbd2b
  by Cheng Shao at 2025-03-25T22:00:56+00:00

  ghci: fix ^C handling for wasm iserv
  
  This commit fixes ^C handling for wasm iserv. Previously we didn't
  handle it at all, so ^C would kill the node process and host ghc would
  then crash as well. But native ghc with external interpreter can
  handle ^C just fine and wasm should be no different. Hence the fix:
  wasm iserv exports its signal handler as a js callback to be handled
  by the dyld script. Also see added note for details.
  

• efcebed6
  by Cheng Shao at 2025-03-25T22:00:56+00:00

  wasm: fix post-link.mjs for browser
  
  The wasm ghci browser mode needs to run dyld.mjs in the browser which
  imports post-link.mjs. This script makes post-link.mjs runnable in the
  browser by deferring node-specific module imports to their actual use
  sites.
  

• 27bb73c6
  by Cheng Shao at 2025-03-25T22:00:56+00:00

  wasm: use console.assert in dyld script
  
  This commit uses console.assert() instead of node-specific strict
  assert in the dyld script, in order to make it runnable in the
  browser. console.assert() only warns and doesn't crash upon assertion
  failure, but this is fine; we can always trivially define a strict
  assert function shall it be necessary when debugging, and there hasn't
  been such an assertion failure seen in the wild for long enough.
  

• 929df0ba
  by Cheng Shao at 2025-03-25T22:00:56+00:00

  wasm: asyncify the dylink.0 custom section parser
  
  This commit refactors the simple binary parser in the dyld script in
  charge of parsing the dylink.0 custom section. Previously the parser
  was synchronous and operated on the entire input buffer; this was
  simple and easy and worked well enough when the input wasm modules are
  instantly read from local filesystem.
  
  However, when running dyld in the browser, the wasm modules are
  transferred via fetch() requests. The host ghc and the browser might
  not be on the same machine, so slow network uplink does need to be
  considered. We only need to parse dylink.0 custom section to extract
  dependency info, and dylink.0 is the very first custom section in the
  wasm shared library binary payload, so the parsing process should not
  require fetch() to complete and should return the parsing result asap.
  
  Hence the refactorings in this commit: asyncify the parser, make it
  only consume as many bytes as needed by invoking an async consumer
  callback. The input is a readable stream from the fetch() response;
  once the response is available, the async wasm compilation can start
  in the background, and dylink.0 parsing shall end asap which results
  in more wasm shared libraries to be loaded earlier. Profit.
  

• 9a697181
  by Cheng Shao at 2025-03-25T22:00:56+00:00

  wasm: fix dyld setImmediate usage in browser
  
  The wasm dyld script used to only run in node and directly uses
  setImmediate in globalThis. In case of browsers, it needs to import
  setImmediate from the prelude, hence this commit.
  

• d9b71e82
  by Cheng Shao at 2025-03-25T22:00:57+00:00

  wasm: fix dyld downsweep filepath handling in browser
  
  The wasm dyld downsweep logic used to rely on nodejs path module to
  handle filepaths. That's not available in browsers, so this commit
  implements poor man's filepath handling in js, which is not elegant
  for sure but works for both nodejs and the browser.
  

• 7003a399
  by Cheng Shao at 2025-03-25T22:00:57+00:00

  wasm: isolate nodejs-specific logic with the isNode flag in dyld
  
  As we move towards supporting running the dyld script in the browser,
  this commit implements the isNode module-level binding which is true
  if dyld is running in nodejs. The nodejs-specific bits are gated under
  isNode.
  
  For the browser case, this commit introduces @bjorn3/browser_wasi_shim
  as the wasi implementation; we already use it in quite a few projects
  and it simply works.
  

• 22ba2a78
  by Cheng Shao at 2025-03-25T22:00:57+00:00

  wasm: isolate dyld side effects that might require IPC
  
  This commit spins out a DyLDHost class from DyLD that handles side
  effects that must be run in the same host environment that runs
  wasm32-wasi-ghc. When the dyld script runs in the browser, it'll need
  to do IPC to find libraries, fetch wasm library, etc, and the other
  side of dyld that runs on nodejs would simply expose the DyLDHost
  methods as endpoints for WebSockets/HTTP.
  

• e93fc33d
  by Cheng Shao at 2025-03-25T22:00:57+00:00

  wasm: implement wasm ghci browser mode
  
  This commit implements the rest of dyld logic that delivers the ghci
  browser mode:
  
  - The dyld script can now fully run in the browser. It communicates
    back with dyld-on-nodejs via WebSockets and also plain HTTP 1.1
    requests.
  - The host dyld starts a server and acts as a broker between the GHC
    process and the browser side. GHC doesn't need to know anything
    about the browser mode; no driver flags need to be added and no
    recompilation needs to happen, the GHC driver continues to use the
    original iserv binary messages protocol.
  - The dyld broker doesn't need to parse any message between the
    browser dyld and GHC; it merely sets up WebSockets connections to
    redirect these messages as well as ^C signals.
  - Plain HTTP 1.1 is used for IPC requests (e.g. downloading a wasm
    module).
  - The dyld broker serves a main.js script that bootstraps iserv in the
    browser, and a main.html empty page playground for testing. CORS is
    enabled so it could be possible to inject iserv into other websites
    and use ghci to play with them.
  - All the RPC logic is opaque to the DyLD class, the majority of the
    wasm dynamic linker code is already portable and runs fine in
    firefox/chrome/webkit.
  
  Closes #25399.
  

• fc576798
  by Cheng Shao at 2025-03-25T22:00:57+00:00

  wasm: add puppeteer/playwright support for ghci browser mode
  
  This commit adds support for using puppeteer/playwright for
  automatically launching a headless browser that backs the ghci browser
  mode. This is useful for testing the ghci browser mode as a part of
  GHC testsuite, and it's also convenient for local development since
  the step to start iserv can be automated away.
  

• ad7e271d
  by Cheng Shao at 2025-03-25T22:00:57+00:00

  wasm: support wasi console redirect for the ghci browser mode
  
  This commit adds optional support for redirecting wasi console
  stdout/stderr back to the host when running wasm ghci browser mode. By
  default, the wasi console outputs are only available under F12
  devtools console, but in case of testing against a mobile browser, the
  devtools console may not be readily available, and it would be more
  convenient to at least get wasi console output on the host side.
  
  The redirection logic is simple, just adding another two WebSockets
  connections that pump the line-buffered textual messages back to
  host.
  

• 731217ce
  by Cheng Shao at 2025-03-25T22:00:57+00:00

  wasm: add brotli compression for ghci browser mode
  
  This commit adds brotli compression for wasm shared libraries for ghci
  browser mode. With BROTLI_MIN_QUALITY, the overhead is negligible, and
  it helps reducing amount of transferred data when the browser connects
  to the server over a slow connection.
  

• ac70e643
  by Cheng Shao at 2025-03-26T13:37:19+00:00

  testsuite: add browser001 test for wasm ghci browser mode
  
  This commit adds support for testing the wasm ghci browser mode in the
  testsuite, as well as a simple first test case browser001 that makes
  use of TH, JSFFI and browser-specific DOM API. See added note and
  comments for details.
  

• 6ef5c0d2
  by Cheng Shao at 2025-03-26T13:37:24+00:00

  docs: add wasm ghci subsection in user manual
  
  This commit updates the user manual to add wasm ghci subsection.
  

• 37381bcf
  by Cheng Shao at 2025-03-26T13:37:24+00:00

  docs: update Note [The Wasm Dynamic Linker]
  
  This commit updates Note [The Wasm Dynamic Linker] to reflect recent
  developments, in particular the wasm ghci browser mode.
  

• 4b5a0f61
  by Cheng Shao at 2025-03-26T13:37:24+00:00

  ci: bump DOCKER_REV and test wasm ghci browser mode
  
  This commit bumps the ci-images revision for updated wasm toolchain,
  and adds the launch options required to test wasm ghci browser mode.
  

• c6a3bc8f
  by Cheng Shao at 2025-03-26T13:37:24+00:00

  driver: implement wasm ghci browser mode flags
  
  This commit implements GHC driver flags that enable the wasm ghci
  browser mode.
  

• f75e823e
  by Cheng Shao at 2025-03-26T18:01:54-04:00

  rts: add hs_try_putmvar_with_value to RTS API
  
  This commit adds hs_try_putmvar_with_value to rts. It allows more
  flexibility than hs_try_putmvar by taking an additional value argument
  as a closure to be put into the MVar. This function is used & tested
  by the wasm backend runtime, though it makes sense to expose it as a
  public facing RTS API function as well.
  

• 9cd9f347
  by Cheng Shao at 2025-03-26T18:01:54-04:00

  wasm: use MVar as JSFFI import blocking mechanism
  
  Previously, when blocking on a JSFFI import, we push a custom
  stg_jsffi_block stack frame and arrange the `promise.then` callback to
  write to that stack frame. It turns out we can simply use the good old
  MVar to implement the blocking logic, with a few benefits:
  
  - Less maintenance burden. We can drop the stg_jsffi_block related Cmm
    code without loss of functionality.
  - It interacts better with existing async exception mechanism. throwTo
    would properly block the caller if the target thread is masking
    async exceptions.
  

• da34f0aa
  by Cheng Shao at 2025-03-26T18:01:54-04:00

  wasm: properly pin the raiseJSException closure
  
  We used to use keepAlive# to pin the raiseJSException closure when
  blocking on a JSFFI import thunk, since it can potentially be used by
  RTS. But raiseJSException may be used in other places as well (e.g.
  the promise.throwTo logic), and it's better to simply unconditionally
  pin it in the JSFFI initialization logic.
  

• dc904bfd
  by Cheng Shao at 2025-03-26T18:01:54-04:00

  wasm: implement promise.throwTo() for async JSFFI exports
  
  This commit implements promise.throwTo() for wasm backend JSFFI
  exports. This allows the JavaScript side to interrupt Haskell
  computation by raising an async exception. See subsequent docs/test
  commits for more details.
  

• 7f80455e
  by Cheng Shao at 2025-03-26T18:01:55-04:00

  testsuite: add test for wasm promise.throwTo() logic
  
  This commit adds a test case to test the wasm backend
  promise.throwTo() logic.
  

• afdd3fe7
  by Cheng Shao at 2025-03-26T18:01:55-04:00

  docs: document the wasm backend promise.throwTo() feature
  

• 65dc65dc
  by sheaf at 2025-03-26T18:02:43-04:00

  Refactor CtEvidence into Given/Wanted
  
  This commit is a simple refactoring which splits up the CtEvidence,
  giving each constructor its own datatype:
  
    data CtEvidence
      = CtGiven  GivenCtEvidence
      | CtWanted WantedCtEvidence
  
    data GivenCtEvidence =
      GivenCt
        { ctev_pred :: TcPredType
        , ctev_evar :: EvVar
        , ctev_loc  :: CtLoc }
  
    data WantedCtEvidence =
      WantedCt
        { ctev_pred      :: TcPredType
        , ctev_dest      :: TcEvDest
        , ctev_loc       :: CtLoc
        , ctev_rewriters :: RewriterSet }
  
  This enables a few minor simplifications in the code, notably removing
  a panic from GHC.Tc.Solver.Solve.solveWantedForAll_implic.
  
  Fixes #25848
  

• ada04031
  by sheaf at 2025-03-26T18:03:27-04:00

  Export lists: same prio for NoParent & RightParent
  
  This commit ensures that, when we are renaming children in an export
  list item such as
  
    module M ( P(A,B,C) )
  
  we consider children with NoParent to have the same priority as children
  which have the correct parent (P in this case). This is because we
  should **not** prioritise a data constructor (with the right parent)
  over a pattern synonym we are bundling (which, before bundling, has
  no parent).
  
  Fixes #25892
  

• 721628a0
  by Adriaan Leijnse at 2025-03-27T09:10:10-04:00

  TTG: Replace HsUnboundVar with HsHole
  
  Context:
  
  The HsUnboundVar constructor in Language.Haskell.Syntax.Expr contained a
  RdrName, which stood in the way of the work towards a dedicated
  haskell-syntax library. The constructor was overloaded for unbound
  variables, anonymous and named holes, and parse errors.
  
  This commit:
  
  Replaces HsUnboundVar with HsHole. In the surface syntax HsHole only
  represents an anonymous expression hole ("_"). It is extended with the
  XHole type family.
  
  In the concrete GHC implementation of the language on the other hand,
  HsHole is used for "any thing which is not necessarily a valid or fully
  defined program fragment, but for which a type can be derived". This use
  is similar to how HsUnboundVar was used, but the parse error case is now
  made explicit with a ParseError case for XHole. This is in anticipation
  of future work on a fault tolerant compilation pipeline.
  

• dbd852f5
  by Ben Gamari at 2025-03-27T09:10:48-04:00

  rel_eng: Finish removal of CentOS jobs
  
  Remove centos7 from release fetch and ghcup metadata generation scripts.
  
  Closes #25893.
  

• 0e0231e7
  by Matthew Pickering at 2025-03-28T18:36:33-04:00

  hadrian: Make hash_unit_ids into a flavour transformer (and enable for release flavour)
  
  The primary reason for this change is to make the `release` flavour
  enable `--hash-unit-ids` by default without any further user intervention.
  
  * Packagers don't have to be aware of this special flag they should be
    using.
  * release builds on CI are uniformly testing with hashes (see !13418)
  
  Fixes #25379
  

• 9fc54c12
  by Rodrigo Mesquita at 2025-03-28T18:37:10-04:00

  driver: Move DynFlags consistency fixes off Main
  
  These consistency fixes found in Main.hs are required for the proper
  functioning of the compiler and should live together with all remaining
  fixes in `makeDynFlagsConsistent`.
  
  This is especially relevant to GHC applications that shouldn't have to
  copy/fix themselves possibly inconsistent DynFlags.
  
  Additionally, outputs information when verbosity is high about these
  consistency fixes that were previously quiet, adds information to the
  Note on consistency of DynFlags, and improves one of the fixes that
  incorrectly used `dynNow`.
  

• 2fdd0be9
  by sheaf at 2025-03-28T18:37:53-04:00

  Remove GhcHint from TcRnNotInScope constructor
  
  This is a tiny refactoring which:
  
    - removes GhcHint/ImportError fields from some constructors of
      TcRnMessage, using the TcRnMessageDetailed mechanism instead to
      report this informaiton:
        - removes the GhcHint and ImportErrors fields from TcRnNotInScope
        - removes the GhcHint field from TcRnTermNameInType
    - ensures that we only include these hints and import errors when the
      -fhelpful-errors flag is turned on
  
  Fixes #25874
  

• 9e5cd064
  by ARATA Mizuki at 2025-03-31T14:53:34-04:00

  Better support for SSE3 and SSE4.1
  
  In particular:
  
  * Pass appropriate attributes to LLVM
  * Define preprocessor macros for them
  

• c2c7dd51
  by ARATA Mizuki at 2025-03-31T14:53:34-04:00

  x86: Add support for SSSE3
  
  This commit adds the `-mssse3` flag, which controls usage of SSSE3 instructions in x86 code generation.
  

• d7c62580
  by ARATA Mizuki at 2025-03-31T14:53:34-04:00

  x86 NCG SIMD: Implement 128-bit integer vector arithmetics
  
  This commit implements the following operations on integer vectors:
  
  * negateIntNXM#
  * plus{Int,Word}NXM#
  * minus{Int,Word}NXM#
  * times{Int,Word}NXM#
  * quot{Int,Word}NXM#
  * rem{Int,Word}NXM#
  * min{Int,Word}NXM#
  * max{Int,Word}NXM#
  
  where (N,M) is one of (8,16), (16,8), (32,4), or (64,2).
  
  Closes #25643
  

• f5ea4e7e
  by ARATA Mizuki at 2025-03-31T14:53:34-04:00

  x86 NCG SIMD: Implement 128-bit integer vector shuffle
  
  This commit implements the following operations:
  
  * shuffle{Int,Word}8X16#
  * shuffle{Int,Word}16X8#
  * shuffle{Int,Word}32X4#
  * shuffle{Int,Word}64X2#
  
  See #25643
  

• 5eeb6645
  by Simon Peyton Jones at 2025-03-31T14:54:16-04:00

  Re-jig the way that the Simplifier tries RULES
  
  As #25170 showed, if a new RULE appears, it could change the simplifier's
  behaviour a bit, even if it never fires; and that messes up deterministic
  compilation.  (This was particularly nasty if the rule wasn't even transitively
  below the module being compiled.)
  
  This MR rejigs the use of `tryRules` so that behaviour does not change
  when a new, unrelated RULE is added.  It's described in
  
  * Note [When to apply rewrite rules]
  * Note [tryRules: plan (BEFORE)]
  * Note [tryRules: plan (AFTER)]
  
  The main change is in the refactored version of
    * simplOutId
    * rebuildCall
  The little state machine that was embedded in ArgInfo is gone.
  
  As I wandered around the Simplifier I also found opportunities for
  some loosely-related refactoring:
  
  * In several places, the /substitution/ in the SimpleEnv is empty;
    all we care about is the in-scope set and the flags.  So
    - I made a synonym `SimplEnvIS` that embodies that invariant,
    - used it in a number of type signatures (notably `rebuild`)
    - added some assertion checks (via `checkSimlEnvIS`)
  
  * I moved the hanlding of `runRW` out of `rebuildCall` (where we
    would have to test repeatedly) and into the new `simplOutId`, which
    fires up `rebuildCall`. Now it is only tested once.
  
  -------------------------
  Metric Decrease:
      T9020
      T9961
  -------------------------
  

• f534474a
  by sheaf at 2025-03-31T14:54:59-04:00

  Add comment: no qualified Names in the LocalRdrEnv
  
  This commit adds a reference to section 5.5.1 of the Haskell 2010 report,
  to explain that qualified names can't occur in the LocalRdrEnv.
  
  Fixes #25875
  

• d5ea80c6
  by Patrick at 2025-03-31T14:55:42-04:00

  Fix deadlock/loop in interface rehydration (#25858)
  
  In #25858, GHC hangs when processing modules with class defaults due to a
  circular dependency in the interface rehydration process. The deadlock/loop
  occurred when eager class defaults rehydration accessed not-yet-complete module details.
  
  To fix the immediate deadlock/loop.
  `tcIfaceDefaults` is refactored, we use the class name directly from the iface
  and use `forM` for lazy loading the class, which algins with the handling of other fields
  of ModDetails. This laziness ensure rehydration waits for HomePackageTable (HPT) to
  be updated and prevent premature evaluation of ModDetails inside `fixIO``.
  
  As suggested by Matthew, class defaults importing is also refactored
  to align with the compiler's established interface loading conventions.
  - add class defaults field to ExternalPackageState (EPS).
  - rehydrate and store class defaults in EPS at `loadInterface`.
  - Instead of using `tcIfaceDefaults` in `tcRnImports`, we add and use
    `tcGetClsDefaults` to read defaults directly from HPT or EPS
    when importing modules.
  
  Tests:
  - T25858, T25858v1-2: Test class hydration in defaults
  - T25858v3-4: Test type list hydration in defaults
  
  New Note [Tricky rehydrating IfaceDefaults loop] is added.
  
  Thanks to @sheaf (Sam), @mpickering (Matthew), and @simonpj (Simon) for their
  valuable input and analysis.
  
  Fixes #25858.
  

• 2d419d8d
  by Matthew Pickering at 2025-04-02T16:12:36-04:00

  Use unsafePerformIO in definition of computeFingerprint
  
  computeFingerprint is morally a pure function, which is implemented by
  mutating a buffer. Using unsafePerformIO inside the definition allows it
  to be used in pure contexts, fixing one place where an ad-hoc call to
  unsafePerformIO is already needed.
  

• ccdf979b
  by Matthew Pickering at 2025-04-02T16:12:37-04:00

  driver: Fix recompilation checking for exported defaults
  
  Since the exported defaults are not associated with any identifier from
  the module, they are just added to the export hash rather than
  the fine-grained recompilation logic.
  
  Fixes #25855
  

• c5bf9892
  by Matthew Pickering at 2025-04-02T16:12:37-04:00

  driver: Fix recompilation checking for COMPLETE pragmas
  
  A {-# COMPLETE P, Q #-} pragma is associated with the pattern synonyms P
  and Q during recompilation checking. Therefore, the existence of a
  pattern synonym becomes part of the ABI hash for P and Q.
  
  Then if a module uses these pattern synonyms and a complete pragma
  changes, it will trigger recompilation in that module.
  
  Fixes #25854
  

• d0fd9370
  by sheaf at 2025-04-02T16:14:05-04:00

  Handle named default exports separately
  
  This commit changes the way we check for duplicate exports of named
  default declarations. They are now treated entirely separately from
  other exports, because in an export list of the form
  
    module M ( default Cls, Cls )
  
  the default declaration does not export the class 'Cls', but only its
  default declarations.
  
  Also fixes a bug in Backpack where named default exports were getting
  dropped entirely. No test for that.
  
  Fixes #25857
  

• 62d04494
  by Cheng Shao at 2025-04-03T05:56:17-04:00

  ci: add x86_64-linux-ubuntu24_04 nightly/release jobs
  

• 327952e4
  by Cheng Shao at 2025-04-03T05:56:17-04:00

  rel-eng: add ubuntu24_04 bindists to ghcup metadata and fetch gitlab scripts
  

• aa1e3b8b
  by sheaf at 2025-04-03T05:57:24-04:00

  GHC settings: always unescape escaped spaces
  
  In #25204, it was noted that GHC didn't properly deal with having
  spaces in its executable path, as it would compute an invalid path
  for the C compiler.
  
  The original fix in 31bf85ee49fe2ca0b17eaee0774e395f017a9373 used a
  trick: escape spaces before splitting up flags into a list. This fixed
  the behaviour with extra flags (e.g. -I), but forgot to also unescape
  for non-flags, e.g. for an executable path (such as the C compiler).
  
  This commit rectifies this oversight by consistently unescaping the
  spaces that were introduced in order to split up argument lists.
  
  Fixes #25204
  

• 34a9b55d
  by lazyLambda at 2025-04-04T06:22:26-04:00

  Driver: make MonadComprehensions imply ParallelListComp
  
  This commit changes GHC.Driver.Flags.impliedXFlags to make the
  MonadComprehensions extension enable the ParallelListComp extension.
  
  Fixes #25645
  

• d99eb7cd
  by sheaf at 2025-04-04T06:23:28-04:00

  NamedDefaults: handle poly-kinded unary classes
  
  With this commit, we accept named default declarations for poly-kinded
  classes such as Typeable, e.g.
  
    default Typeable (Char)
  
  This used to fail because we assumed the kind of the class was monomorphic,
  e.g.
  
    Type -> Constraint
    (Type -> Type) -> Constraint
    Nat -> Constraint
  
  Now, we can handle a simple polymorphic class such as
  
    Typeable :: forall k. k -> Constraint
  
  Note that we keep the restriction that the class must only have
  one visible argument.
  
  This is all explained in the new Note [Instance check for default declarations]
  in GHC.Tc.Gen.Default.
  
  Fixes #25882
  

• 4cbc90de
  by sheaf at 2025-04-04T11:39:05-04:00

  LLVM: add type annotations to AtomicFetch_cmm.cmm
  

• e2237305
  by sheaf at 2025-04-04T11:39:05-04:00

  Cmm lint: lint argument types of CallishMachOps
  
  This commit adds a new check to Cmm lint to ensure that the argument
  types to a CallishMachOp are correct. The lack of this check was
  detected in the AtomicFetch test: the literals being passed as the
  second arguments to operations such as 'fetch_add', 'fetch_and'... were
  of the wrong width, which tripped up the LLVM backend.
  

• 9363e547
  by Cheng Shao at 2025-04-04T11:39:50-04:00

  ci: add ghc-wasm-meta integration testing jobs
  
  This patch adds ghc-wasm-meta integration testing jobs to the CI
  pipeline, which are only triggered via the `test-wasm` MR label or
  manually when the `wasm` label is set.
  
  These jobs will fetch the wasm bindists and test them against a
  variety of downstream projects, similarly to head.hackage jobs for
  native bindists, offering a convenient way to catch potential
  downstream breakage while refactoring the wasm backend.
  

• 27029e60
  by Adam Gundry at 2025-04-04T11:40:36-04:00

  base: Minor fixes to GHC.Records haddocks
  
  This corrects a stale reference to OverloadedRecordFields (which should
  be OverloadedRecordDot), fixes the haddock link syntax and adds an
  @since pragma.
  

• f827c4c6
  by Rodrigo Mesquita at 2025-04-07T11:22:10-04:00

  Parametrize default logger action with Handles
  
  Introduce `defaultLogActionWithHandles` to allow GHC applications to use
  GHC's formatting but using custom handles.
  
  `defaultLogAction` is then trivially reimplemented as
  ```
  defaultLogActionWithHandles stdout stderr
  ```
  

• 5dade5fd
  by sheaf at 2025-04-07T11:23:02-04:00

  Finer-grained recompilation checking for exports
  
  This commit refines the recompilation checking logic, to avoid
  recompiling modules with an explicit import list when the modules they
  import start exporting new items.
  
  More specifically, when:
  
    1. module N imports module M,
    2. M is changed, but in a way that:
        a. preserves the exports that N imports
        b. does not introduce anything that forces recompilation downstream,
           such as orphan instances
  
  then we no longer require recompilation of N.
  
  Note that there is more to (2a) as initially meets the eye:
  
    - if N includes a whole module or "import hiding" import of M,
      then we require that the export list of M does not change,
    - if N only includes explicit imports, we check that the imported
      items don't change, e.g.
  
        - if we have @import M(T(K, f), g)@, we must check that N
          continues to export all these identifiers, with the same Avail
          structure (i.e. we should error if N stops bundling K or f with
          T)
        - if we have @import M(T(..))@, we must check that the children
          of T have not changed
  
  See Note [When to recompile when export lists change?] in GHC.Iface.Recomp.
  
  This is all tested in the new tests RecompExports{1,2,3,4,5}
  
  Fixes #25881
  

• f32d6c2b
  by Andreas Klebinger at 2025-04-07T22:01:25-04:00

  NCG: AArch64 - Add -finter-module-far-jumps.
  
  When enabled the arm backend will assume jumps to targets outside of the
  current module are further than 128MB away.
  
  This will allow for code to work if:
  * The current module results in less than 128MB of code.
  * The whole program is loaded within a 4GB memory region.
  
  We have seen a few reports of broken linkers (#24648) where this flag might allow
  a program to compile/run successfully at a very small performance cost.
  
  -------------------------
  Metric Increase:
      T783
  -------------------------
  

• 553c280b
  by Andreas Klebinger at 2025-04-07T22:02:11-04:00

  Revert "rts: fix small argument passing on big-endian arch (fix #23387)"
  
  Based on analysis documented in #25791 this doesn't fully fix the big
  while introducing new bugs on little endian architectures.
  
  A more complete fix will have to be implemented to fix #23387
  
  This reverts commit 4f02d3c1a7b707e609bb3aea1dc6324fa19a5c39.
  

• b0dc6599
  by Andreas Klebinger at 2025-04-07T22:02:11-04:00

  Interpreter: Fixes to handling of subword value reads/writes.
  
  Load subword values as full words from the stack truncating/expanding as
  neccesary when dealing with subwords. This way byte order is implicitly
  correct.
  
  This commit also fixes the order in which we are pushing literals onto
  the stack on big endian archs.
  
  Last but not least we enable a test for ghci which actually tests these
  subword operations.
  

• ed38c09b
  by Cheng Shao at 2025-04-07T22:02:53-04:00

  testsuite: don't test WasmControlFlow stdout
  
  This patch solves a potential test flakiness in `WasmControlFlow` by
  removing `WasmControlFlow.stdout` which is not so portable/stable as
  it seems. See added `Note [WasmControlFlow]` for more detailed
  explanation.
  

• f807c590
  by Rodrigo Mesquita at 2025-04-08T17:41:51-04:00

  debugger: Add docs to obtainTermFromId
  

• 5dba052d
  by Rodrigo Mesquita at 2025-04-08T17:41:51-04:00

  Move logic to find and set Breakpoint to GHC
  
  Breakpoints are uniquely identified by a module and an index unique
  within that module. `ModBreaks` of a Module contains arrays mapping from
  this unique breakpoint index to information about each breakpoint. For
  instance, `modBreaks_locs` stores the `SrcSpan` for each breakpoint.
  
  To find a breakpoint using the line number you need to go through all
  breakpoints in the array for a given module and look at the line and
  column stored in the `SrcSpan`s. Similarly for columns and finding
  breakpoints by name.
  
  This logic previously lived within the `GHCi` application sources,
  however, it is common to any GHC applications wanting to set
  breakpoints, like the upcoming `ghc-debugger`.
  
  This commit moves this logic for finding and setting breakpoints to the
  GHC library so it can be used by both `ghci` and `ghc-debugger`.
  

• bc0b9f73
  by Rodrigo Mesquita at 2025-04-08T17:41:51-04:00

  Refactor and move logic for identifier breakpoints
  
  Breakpoints can be set on functions using syntax of the form
  `[Module.]function`. The parsing, resolution (e.g. inferring implicit
  module), and validation of this syntax for referring to functions was
  tightly coupled with its GHCi use.
  
  This commit extracts the general purpose bits of resolving this syntax
  into `GHC.Runtime.Debugger.Breakpoints` so it can be further used by
  other GHC applications and to improve the code structure of GHCi.
  
  Moreover, a few utilities that do splitting and joining of identifiers
  as strings were moved to `GHC.Runtime.Eval.Utils`, which also can be
  used in the future to clean up `GHC.Runtime.Eval` a bit.
  

• 4f728d21
  by Rodrigo Mesquita at 2025-04-08T17:41:51-04:00

  debugger: derive Ord for BreakpointIds
  

• 5528771c
  by Rodrigo Mesquita at 2025-04-08T17:41:51-04:00

  debugger: Move context utils from GHCi to GHC
  
  Moves `enclosingTickSpan`, `getCurrentBreakSpan`, and
  `getCurrentBreakModule`, general utilities on the internal debugger
  state, into the GHC library.
  

• 4871f543
  by sheaf at 2025-04-08T17:42:43-04:00

  Implicit quantification in type synonyms: add test
  
  This adds a test for ticket #24090, which involves implicit
  quantification in type synonyms.
  The underlying issue was fixed in 0d4ee209dfe53e5074d786487f531dabc36d561c.
  

• 48917d3c
  by sheaf at 2025-04-08T17:42:44-04:00

  Turn on implicit-rhs-quantification by default
  
  This flag was added to GHC 9.8, and will be removed in a future GHC
  release. In preparation, this commit adds it to the default warning
  flags.
  

• 629be068
  by Rodrigo Mesquita at 2025-04-08T17:43:26-04:00

  debugger: Add breakpoints to every Stmt
  
  While single-stepping through a Haskell program we stop at every
  breakpoint. However, we don't introduce breakpoints at every single
  expression (e.g. single variables) because they would be too many and
  uninteresting.
  
  That said, in a do-block, it is expected that stepping over would break
  at every line, even if it isn't particularly interesting (e.g. a single
  arg like getArgs). Moreover, let-statements in do-blocks, despite only
  being evaluated once needed, lead to surprising jumps while stepping
  through because some have outermost (outside the let) breakpoints
  while others don't.
  
  This commit makes every statement in a do-block have a breakpoint.
  This leads to predictable stepping through in a do-block.
  Duplicate breakpoints in the same location are avoided using the
  existing blacklist mechanism, which was missing a check in one relevant place.
  
  Fixes #25932
  

• 99a3affd
  by Matthew Pickering at 2025-04-08T17:44:08-04:00

  driver: refactor: Split downsweep and MakeAction into separate modules.
  
  This will facilitate using the downsweep functions in other parts of
  the compiler than just --make mode.
  
  Also, the GHC.Driver.Make module was huge. Now it's still huge but
  slightly smaller!
  

• ecfec4df
  by sheaf at 2025-04-09T14:13:12-04:00

  Store user-written qualification in the GhcRn AST
  
  This commit ensures we store the original user-written module
  qualification in the renamed AST. This allows us to take into account
  the user-written qualification in error messages.
  
  Fixes #25877
  

• 97c884e2
  by sheaf at 2025-04-09T14:13:12-04:00

  TcRnIllegalTermLevelUse: simpler error when possible
  
  This commit makes GHC emit a simple error message in the case of an
  illegal term-level use of a data constructor: we will try to report an
  out-of-scope error instead of a "Illegal term level use" error, as the
  latter might be a bit overwhelming for newcomers.
  
  We do this when we have a data constructor import suggestion to provide
  to the user. For example:
  
    module M where { data A = A }
  
    module N where
      import M(A)
  
      x = Bool
      -- Illegal term-level use of Bool
  
      y = A
      -- Data constructor not in scope: A.
      -- Perhaps add 'A' to the import list of 'M'.
  
  This commit also revamps the "similar names" suggestion mechanism,
  and in particular its treatment of name spaces. Now, which name spaces
  we suggest is based solely on what we are looking for, and no longer on
  the NameSpace of the Name we have. This is because, for illegal term-level
  use errors, it doesn't make much sense to change the suggestions based
  on the fact that we resolved to e.g. a type constructor/class; what
  matters is what we were expecting to see in this position.
  See GHC.Rename.Unbound.{suggestionIsRelevant,relevantNameSpace} as well
  as the new constructors to GHC.Tc.Errors.Types.WhatLooking.
  
  Fixes #23982
  

• bff645ab
  by Rodrigo Mesquita at 2025-04-09T14:13:57-04:00

  driver: Split Session functions out of Main
  
  This commit moves out functions that help in creating and validating a
  GHC multi session from Main into the ghc library where they can be used by
  other GHC applications.
  
  Moreover, `Mode` processing and `checkOptions` linting were moved to
  separate modules within the ghc-bin executable package.
  
  In particular:
  
  - Move `Mode` types and functions (referring to the mode GHC is running
    on) to `ghc-bin:GHC.Driver.Session.Mode`
  
  - Move `checkOptions` and aux functions, which validates GHC DynFlags
    based on the mode, to `ghc-bin:GHC.Driver.Session.Lint`
  
  - Moves `initMulti`, `initMake`, and aux functions, which initializes a make/multi-unit
    session, into `ghc:GHC.Driver.Session.Units`.
  

• 501b015e
  by Rodrigo Mesquita at 2025-04-09T14:13:57-04:00

  docs: Improve haddock of ExecComplete
  

• dea98988
  by Andreas Klebinger at 2025-04-09T19:23:57-04:00

  Avoid oversaturing constructor workers.
  
  Constructor applications always need to take the exact number of
  arguments. If we can't ensure that instead apply the constructor worker
  like a regular function.
  
  Fixes #23865
  

• f1acdd2c
  by sheaf at 2025-04-09T19:25:41-04:00

  NamedDefaults: require the class to be standard
  
  We now only default type variables if they only appear in constraints
  of the form `C v`, where `C` is either a standard class or a class with
  an in-scope default declaration.
  
  This rectifies an oversight in the original implementation of the
  NamedDefault extensions that was remarked in #25775; that implementation
  allowed type variables to appear in unary constraints which had arbitrary
  classes at the head.
  
  See the rewritten Note [How type-class constraints are defaulted] for
  details of the implementation.
  
  Fixes #25775
  Fixes #25778
  

• 5712e0d6
  by Vladislav Zavialov at 2025-04-10T05:17:38+00:00

  Retry type/class declarations and instances (#12088)
  
  Retry type/class declarations and instances to account for non-lexical
  dependencies arising from type/data family instances.
  
  This patch improves the kind checker's ability to use type instances in kind
  checking of other declarations in the same module.
  
  * Key change: tcTyAndClassDecls now does multiple passes over the TyClGroups,
    as long as it is able to make progress.
    See the new Note [Retrying TyClGroups] in GHC.Tc.TyCl
  
  * Supporting change: FVs of a TyClGroup are now recorded in its extension
    field, namely XCTyClGroup.
    See the new Note [Prepare TyClGroup FVs] in GHC.Rename.Module
  
  * Instances are no longer inserted at the earliest positions where their FVs
    are bound. This is a simplification.
    See the new Note [Put instances at the end] in GHC.Rename.Module
  
  * Automatic unpacking is now more predictable, but fewer fields get unpacked
    by default. Use explicit {-# UNPACK #-} pragmas instead.
    See the new Note [Flaky -funbox-strict-fields with type/data families]
  
  For the wide range of newly accepted programs, consult the added test cases.
  
  Fixed tickets:
      #12088, #12239, #14668, #15561, #16410, #16448, #16693,
      #19611, #20875, #21172, #22257, #25238, #25834
  
  Metric Decrease:
      T8095
  

• bc73a78d
  by sheaf at 2025-04-10T15:07:24-04:00

  checkFamApp: don't be so eager to cycle break
  
  As remarked in #25933, a pure refactoring of checkTyEqRhs in
  ab77fc8c7adebd610aa0bd99d653f9a6cc78a374 inadvertently changed behaviour,
  as it caused GHC to introduce cycle-breaker variables in some
  unnecessary circumstances.
  
  This commit refactors 'GHC.Tc.Utils.Unify.checkFamApp' in a way that
  should restore the old behaviour, so that, when possible, we first
  recur into the arguments and only introduce a cycle breaker if this
  recursion fails (e.g. due to an occurs check failure).
  
  Fixes #25933
  

• 3acd8182
  by Andreas Klebinger at 2025-04-10T22:32:12-04:00

  Expand docs for RTS flag `-M`.
  
  The behaviour of how/when exceptions are raised was not really covered
  in the docs.
  

• 026c1a39
  by Adam Sandberg Ericsson at 2025-04-10T22:32:56-04:00

  add cases for more SchedulerStatus codes in rts_checkSchedStatus

• 5977c6a1
  by sheaf at 2025-04-10T22:33:46-04:00

  Squash warnings in GHC.Runtime.Heap.Inspect
  
  There were incomplete record selector warnings in GHC.Runtime.Heap.Inspect
  due to the use of the partial 'dataArgs' record selector. This is fixed
  by passing the fields to the 'extractSubTerms' function directly,
  rather than passing a value of the parent data type.
  

• 6a3e38f5
  by Andreas Klebinger at 2025-04-11T15:13:53-04:00

  hadrian: Make ghcWithInterpreter the universal source of truth about availability of the interpreter
  
  We were doing some ad-hoc checks in different places in hadrian to
  determine whether we supported the interprter or not. Now this check if
  confined to one function, `ghcWithInterpreter`, and all the places which
  use this information consult `ghcWithInterpreter` to determine what to
  do.
  
  Fixes #25533.
  

• 207de6f1
  by Matthew Pickering at 2025-04-11T15:14:37-04:00

  testsuite: Fix running TH tests with profiled dynamic compiler
  
  Previously, I had failed to update the ghc_th_way_flags logic for the
  profiled dynamic compiler.
  
  In addition to this `ghc_dynamic` was incorrectly set for profiled
  dynamic compiler.
  
  I also updated MultiLayerModulesTH_OneShot test to work for any compiler
  linkage rather than just dynamic.
  
  Fixes #25947
  
  -------------------------
  Metric Decrease:
      MultiLayerModulesTH_Make
  -------------------------
  

• 5455f2b9
  by Matthew Pickering at 2025-04-12T08:31:36-04:00

  driver: Add support for "Fixed" nodes in the ModuleGraph
  
  A fixed node in the module graph is one which we presume is already
  built. It's therefore up to the user to make sure that the interface
  file and any relevant artifacts are available for a fixed node.
  
  Fixed/Compile nodes are represented by the ModuleNodeInfo type, which
  abstracts the common parts of Fixed/Compile nodes with accessor
  functions of type `ModuleNodeInfo -> ...`.
  
  Fixed nodes can only depend on other fixed nodes. This invariant can be
  checked by the function `checkModuleGraph` or `mkModuleGraphChecked`.
  
  --make mode is modified to work with fixed mode. In order to "compile" a
  fixed node, the artifacts are just loaded into the HomePackageTable.
  Currently nothing in the compiler will produce Fixed nodes but this is
  tested with the FixedNodes GHC API test.
  
  In subsequent patches we are going to remove the ExternalModuleGraph and
  use Fixed nodes for modules in the module graph in oneshot mode.
  
  Fixes #25920
  

• ad64d5c2
  by Cheng Shao at 2025-04-12T08:32:19-04:00

  ci: remove manual case of ghc-wasm-meta downstream testing jobs
  
  This patch removes the manual case of ghc-wasm-meta downstream testing
  jobs; now the only way of including them in the pipeline and running
  them is via the test-wasm label.
  
  The reason of the removal is it proves to be problematic for MRs with
  only the wasm label; the wasm job would succeed, then the pipeline
  status would be waiting for manual action instead of succeeding. There
  needs to be separate jobs for the label-triggered and manual-triggered
  cases, but I don't think it's worth that extra complexity, the
  label-triggered case is already sufficient.
  

• b34890c7
  by Vladislav Zavialov at 2025-04-13T01:08:21+03:00

  Fix EmptyCase panic in tcMatches (#25960)
  
  Due to faulty reasoning in Note [Pattern types for EmptyCase],
  tcMatches was too keen to panic.
  
  * Old (incorrect) assumption: pat_tys is a singleton list.
    This does not hold when \case{} is checked against a function type
    preceded by invisible forall. See the new T25960 test case.
  
  * New (hopefully correct) assumption: vis_pat_tys is a singleton list.
    This should follow from:
  
      checkArgCounts :: MatchGroup GhcRn ... -> TcM VisArity
      checkArgCounts (MG { mg_alts = L _ [] })
        = return 1
      ...
  

• 84806ebc
  by Vladislav Zavialov at 2025-04-13T11:40:08-04:00

  Remove unused type: TokenLocation
  

• 05eb50df
  by Vladislav Zavialov at 2025-04-13T19:16:38-04:00

  Register EpToken in Parser.PostProcess.Haddock (#22558)
  
  This change allows us to reject more badly placed Haddock comments.
  Examples:
  
    module
      -- | Bad comment for the module
      T17544_kw where
  
    data Foo -- | Bad comment for MkFoo
      where MkFoo :: Foo
  
    newtype Bar -- | Bad comment for MkBar
      where MkBar :: () -> Bar
  
    class Cls a
        -- | Bad comment for clsmethod
      where
        clsmethod :: a
  

• 01944e5e
  by Vladislav Zavialov at 2025-04-13T19:17:21-04:00

  Reject puns in T2T (#24153)
  
  This patch implements pun detection in T2T. Consider:
  
    x = 42
    f, g :: forall a -> ...
    f (type x) = g x
  
  In accordance with the specification, the `g x` function call is renamed
  as a term, so `x` refers to the top-level binding `x = 42`, not to the
  type variable binding `type x` as one might expect.
  
  This is somewhat counterintuitive because `g` expects a type argument.
  Forbidding puns in T2T allows us to produce a helpful error message:
  
    Test.hs:5:16: error: [GHC-09591]
      Illegal punned variable occurrence in a required type argument.
      The name ‘x’ could refer to:
        ‘x’ defined at Test.hs:3:1
        ‘x’ bound at Test.hs:5:9
  
  This commit is a follow up to 0dfb1fa799af254c8a1e1045fc3996af2d57a613
  where checking for puns was left as future work.
  

• cc580552
  by Vladislav Zavialov at 2025-04-13T19:18:02-04:00

  Additional test cases for #12088, #13790
  
  Extract more test cases from ticket discussions, including multi-module
  examples. Follow up to 5712e0d646f611dfbfedfd7ef6dff3a18c016edb
  

• d47bf776
  by Matthew Pickering at 2025-04-14T16:44:41+01:00

  driver: Use ModuleGraph for oneshot and --make mode
  
  This patch uses the `hsc_mod_graph` field for both oneshot and --make
  mode. Therefore, if part of the compiler requires usage of the module
  graph, you do so in a uniform way for the two different modes.
  
  The `ModuleGraph` describes the relationship between the modules in the
  home package and units in external packages. The `ModuleGraph` can be
  queried when information about the transitive closure of a package is
  needed. For example, the primary use of the ModuleGraph from within the
  compiler is in the loader, which needs to know the transitive closure of
  a module so it can load all the relevant objects for evaluation.
  
  In --make mode, downsweep computes the ModuleGraph before any
  compilation starts.
  
  In oneshot mode, a thunk is created at the start of compilation, which
  when forced will compute the module graph beneath the current module.
  The thunk is only forced at the moment when the user uses Template
  Haskell.
  
  Finally, there are some situations where we need to discover what
  dependencies to load but haven't loaded a module graph at all. In this
  case, there is a fallback which computes the transitive closure on the
  fly and doesn't cache the result. Presumably if you are going to call
  getLinkDeps a lot, you would compute the right ModuleGraph before you
  started.
  
  Importantly, this removes the ExternalModuleGraph abstraction. This was quite
  awkward to work with since it stored information about the home package
  inside the EPS.
  
  This patch will also be very useful when implementing explicit level
  imports, which requires more significant use of the module graph in
  order to determine which level instances are available at.
  
  Towards #25795
  
  -------------------------
  Metric Decrease:
      MultiLayerModulesTH_Make
      MultiLayerModulesTH_OneShot
  -------------------------
  

• 395e0ad1
  by sheaf at 2025-04-16T12:33:26-04:00

  base: remove .Internal modules (e.g. GHC.TypeLits)
  
  This commit removes the following internal modules from base,
  as per CLC proposal 217:
  
    - GHC.TypeNats.Internal
    - GHC.TypeLits.Internal
    - GHC.ExecutionStack.Internal
  
  Fixes #25007
  

• e0f3ff11
  by Patrick at 2025-04-17T04:31:12-04:00

  Refactor Handling of Multiple Default Declarations
  
  Fixes: #25912, #25914, #25934
  
  Previously, GHC discarded all loaded defaults (tcg_default) when local
  defaults were encountered during typechecking. According to the
  exportable-named-default proposal (sections 2.4.2 and 2.4.3), local
  defaults should be merged into tcg_default, retaining any defaults
  already present while overriding where necessary.
  
  Key Changes:
  
  * Introduce DefaultProvenance to track the origin of default declarations
    (local, imported, or built-in), replacing the original cd_module
    in ClassDefaults with cd_provenance :: DefaultProvenance.
  * Rename tcDefaults to tcDefaultDecls, limiting its responsibility to only
    converting renamed class defaults into ClassDefaults.
  * Add extendDefaultEnvWithLocalDefaults to merge local defaults into the
    environment, with proper duplication checks:
    - Duplicate local defaults for a class trigger an error.
    - Local defaults override imported or built-in defaults.
  * Update and add related notes: Note [Builtin class defaults],
    Note [DefaultProvenance].
  * Add regression tests: T25912, T25914, T25934.
  
  Thanks sam and simon for the help on this patch.
  Co-authored-by: sheaf <sam.derbyshire@gmail.com>
  

• 386f1854
  by Teo Camarasu at 2025-04-17T04:31:55-04:00

  template-haskell: Remove `addrToByteArrayName` and `addrToByteArray`
  
  These were part of the implementation of the `Lift ByteArray` instance and were errornously exported because this module lacked an explicit export list. They have no usages on Hackage.
  
  Resolves #24782
  

• b96e2f77
  by Sylvain Henry at 2025-04-18T20:46:33-04:00

  RTS: remove target info and fix host info (#24058)
  
  The RTS isn't a compiler, hence it doesn't have a target and we remove
  the reported target info displayed by "+RTS --info". We also fix the
  host info displayed by "+RTS --info": the host of the RTS is the
  RTS-building compiler's target, not the compiler's host (wrong when
  doing cross-compilation).
  

• 6d9965f4
  by Sylvain Henry at 2025-04-18T20:46:33-04:00

  RTS: remove build info
  
  As per the discussion in !13967, there is no reason to tag the RTS with
  information about the build platform.
  

• d52e9b3f
  by Vladislav Zavialov at 2025-04-18T20:47:15-04:00

  Diagnostics: remove the KindMismatch constructor (#25957)
  
  The KindMismatch constructor was only used as an intermediate
  representation in pretty-printing.
  
  Its removal addresses a problem detected by the "codes" test case:
  
    [GHC-89223] is untested (constructor = KindMismatch)
  
  In a concious deviation from the usual procedure, the error code
  GHC-89223 is removed entirely rather than marked as Outdated.
  The reason is that it never was user-facing in the first place.
  

• e2f2f9d0
  by Vladislav Zavialov at 2025-04-20T10:53:39-04:00

  Add name for -Wunusable-unpack-pragmas
  
  This warning had no name or flag and was triggered unconditionally.
  Now it is part of -Wdefault.
  
  In GHC.Tc.TyCl.tcTyClGroupsPass's strict mode, we now have to
  force-enable this warning to ensure that detection of flawed groups
  continues to work even if the user disables the warning with the
  -Wno-unusable-unpack-pragmas option. Test case: T3990c
  
  Also, the misnamed BackpackUnpackAbstractType is now called
  UnusableUnpackPragma.
  

• 6caa6508
  by Adam Gundry at 2025-04-20T10:54:22-04:00

  Fix specialisation of incoherent instances (fixes #25883)
  
  GHC normally assumes that class constraints are canonical, meaning that
  the specialiser is allowed to replace one dictionary argument with another
  provided that they have the same type.  The `-fno-specialise-incoherents`
  flag alters INCOHERENT instance definitions so that they will prevent
  specialisation in some cases, by inserting `nospec`.
  
  This commit fixes a bug in 7124e4ad76d98f1fc246ada4fd7bf64413ff2f2e, which
  treated some INCOHERENT instance matches as if `-fno-specialise-incoherents`
  was in effect, thereby unnecessarily preventing specialisation. In addition
  it updates the relevant `Note [Rules for instance lookup]` and adds a new
  `Note [Canonicity for incoherent matches]`.
  

• 0426fd6c
  by Adam Gundry at 2025-04-20T10:54:23-04:00

  Add regression test for #23429
  

• eec96527
  by Adam Gundry at 2025-04-20T10:54:23-04:00

  user's guide: update specification of overlapping/incoherent instances
  
  The description of the instance resolution algorithm in the user's
  guide was slightly out of date, because it mentioned in-scope given
  constraints only at the end, whereas the implementation checks for
  their presence before any of the other steps.
  
  This also adds a warning to the user's guide about the impact of
  incoherent instances on specialisation, and more clearly documents
  some of the other effects of `-XIncoherentInstances`.
  

• a00eeaec
  by Matthew Craven at 2025-04-20T10:55:03-04:00

  Fix bytecode generation for `tagToEnum# <LITERAL>`
  
  Fixes #25975.
  

• 2e204269
  by Andreas Klebinger at 2025-04-22T12:20:41+02:00

  Simplifier: Constant fold invald tagToEnum# calls to bottom expr.
  
  When applying tagToEnum# to a out-of-range value it's best to simply
  constant fold it to a bottom expression. That potentially allows more
  dead code elimination and makes debugging easier.
  
  Fixes #25976
  

• 7250fc0c
  by Matthew Pickering at 2025-04-22T16:24:04-04:00

  Move -fno-code note into Downsweep module
  
  This note was left behind when all the code which referred to it was
  moved into the GHC.Driver.Downsweep module
  

• d2dc89b4
  by Matthew Pickering at 2025-04-22T16:24:04-04:00

  Apply editing notes to Note [-fno-code mode] suggested by sheaf
  
  These notes were suggested in https://gitlab.haskell.org/ghc/ghc/-/merge_requests/14241
  

• 91564daf
  by Matthew Pickering at 2025-04-24T00:29:02-04:00

  ghci: Use loadInterfaceForModule rather than loadSrcInterface in mkTopLevEnv
  
  loadSrcInterface takes a user given `ModuleName` and resolves it to the
  module which needs to be loaded (taking into account module
  renaming/visibility etc).
  
  loadInterfaceForModule takes a specific module and loads it.
  
  The modules in `ImpDeclSpec` have already been resolved to the actual
  module to get the information from during renaming. Therefore we just
  need to fetch the precise interface from disk (and not attempt to rename
  it again).
  
  Fixes #25951
  

• 2e0c07ab
  by Simon Peyton Jones at 2025-04-24T00:29:43-04:00

  Test for #23298
  

• 0eef99b0
  by Sven Tennie at 2025-04-24T07:34:36-04:00

  RV64: Introduce J instruction (non-local jumps) and don't deallocate stack slots for J_TBL (#25738)
  
  J_TBL result in local jumps, there should not deallocate stack slots
  (see Note [extra spill slots].)
  
  J is for non-local jumps, these may need to deallocate stack slots.
  

• 1bd3d13e
  by fendor at 2025-04-24T07:35:17-04:00

  Add `UnitId` to `EvalBreakpoint`
  
  The `EvalBreakpoint` is used to communicate that a breakpoint was
  encountered during code evaluation.
  This `EvalBreakpoint` needs to be converted to an `InternalBreakpointId`
  which stores a `Module` to uniquely find the correct `Module` in the
  Home Package Table.
  
  The `EvalBreakpoint` used to store only a `ModuleName` which is then
  converted to a `Module` based on the currently active home unit.
  This is incorrect in the face of multiple home units, the break point
  could be in an entirely other home unit!
  To fix this, we additionally store the `UnitId` of the `Module` in
  `EvalBreakpoint` to later reconstruct the correct `Module`
  
  All of the changes are the consequence of extending `EvalBreakpoint`
  with the additional `ShortByteString` of the `UnitId`.
  
  For performance reasons, we store the `ShortByteString` backing the
  `UnitId` directly, avoiding marshalling overhead.
  

• fe6ed8d9
  by Sylvain Henry at 2025-04-24T18:04:12-04:00

  Doc: add doc for JS interruptible calling convention (#24444)
  

• 6111c5e4
  by Ben Gamari at 2025-04-24T18:04:53-04:00

  compiler: Ensure that Panic.Plain.assertPanic' provides callstack
  
  In 36cddd2ce1a3bc62ea8a1307d8bc6006d54109cf @alt-romes removed CallStack
  output from `GHC.Utils.Panic.Plain.assertPanic'`. While this output is
  redundant due to the exception backtrace proposal, we may be
  bootstrapping with a compiler which does not yet include this machinery.
  Reintroduce the output for now.
  
  Fixes #25898.
  

• 217caad1
  by Matthew Pickering at 2025-04-25T18:58:42+01:00

  Implement Explicit Level Imports for Template Haskell
  
  This commit introduces the `ExplicitLevelImports` and
  `ImplicitStagePersistence` language extensions as proposed in GHC
  Proposal #682.
  
  Key Features
  ------------
  
  - `ExplicitLevelImports` adds two new import modifiers - `splice` and
    `quote` - allowing precise control over the level at which imported
    identifiers are available
  - `ImplicitStagePersistence` (enabled by default) preserves existing
    path-based cross-stage persistence behavior
  - `NoImplicitStagePersistence` disables implicit cross-stage
    persistence, requiring explicit level imports
  
  Benefits
  --------
  
  - Improved compilation performance by reducing unnecessary code generation
  - Enhanced IDE experience with faster feedback in `-fno-code` mode
  - Better dependency tracking by distinguishing compile-time and runtime dependencies
  - Foundation for future cross-compilation improvements
  
  This implementation enables the separation of modules needed at
  compile-time from those needed at runtime, allowing for more efficient
  compilation pipelines and clearer code organization in projects using
  Template Haskell.
  
  Implementation Notes
  --------------------
  
  The level which a name is availble at is stored in the 'GRE', in the normal
  GlobalRdrEnv. The function `greLevels` returns the levels which a specific GRE
  is imported at. The level information for a 'Name' is computed by `getCurrentAndBindLevel`.
  The level validity is checked by `checkCrossLevelLifting`.
  
  Instances are checked by `checkWellLevelledDFun`, which computes the level an
  instance by calling `checkWellLevelledInstanceWhat`, which sees what is
  available at by looking at the module graph.
  
  Modifications to downsweep
  --------------------------
  
  Code generation is now only enabled for modules which are needed at
  compile time.
  See the Note [-fno-code mode] for more information.
  
  Uniform error messages for level errors
  ---------------------------------------
  
  All error messages to do with levels are now reported uniformly using
  the `TcRnBadlyStaged` constructor.
  
  Error messages are uniformly reported in terms of levels.
  
  0 - top-level
  1 - quote level
  -1 - splice level
  
  The only level hard-coded into the compiler is the top-level in
  GHC.Types.ThLevelIndex.topLevelIndex.
  
  Uniformly refer to levels and stages
  ------------------------------------
  
  There was much confusion about levels vs stages in the compiler.
  A level is a semantic concept, used by the typechecker to ensure a
  program can be evaluated in a well-staged manner.
  
  A stage is an operational construct, program evaluation proceeds in
  stages.
  
  Deprecate -Wbadly-staged-types
  ------------------------------
  
  `-Wbadly-staged-types` is deprecated in favour of `-Wbadly-levelled-types`.
  
  Lift derivation changed
  -----------------------
  
  Derived lift instances will now not generate code with expression
  quotations.
  
  Before:
  
  ```
  data A = A Int deriving Lift
  
  =>
  lift (A x) = [| A $(lift x) |]
  ```
  
  After:
  
  ```
  lift (A x) = conE 'A `appE` (lift x)
  ```
  
  This is because if you attempt to derive `Lift` in a module where
  `NoImplicitStagePersistence` is enabled, you would get an infinite loop
  where a constructor was attempted to be persisted using the instance you
  are currently defining.
  
  GHC API Changes
  ---------------
  
  The ModuleGraph now contains additional information about the type of
  the edges (normal, quote or splice) between modules. This is abstracted
  using the `ModuleGraphEdge` data type.
  
  Fixes #25828
  
  -------------------------
  Metric Increase:
      MultiLayerModulesTH_Make
  -------------------------
  

• 7641a74a
  by Simon Peyton Jones at 2025-04-26T22:05:19-04:00

  Get a decent MatchContext for pattern synonym bindings
  
  In particular when we have a pattern binding
      K p1 .. pn = rhs
  where K is a pattern synonym.  (It might be nested.)
  
  This small MR fixes #25995.  It's a tiny fix, to an error message,
  removing an always-dubious `unkSkol`.
  
  The bug report was in the context of horde-ad, a big program,
  and I didn't manage to make a small repro case quickly. I decided
  not to bother further.
  

• ce616f49
  by Simon Peyton Jones at 2025-04-27T21:10:25+01:00

  Fix infelicities in the Specialiser
  
  On the way to #23109 (unary classes) I discovered some infelicities
  (or maybe tiny bugs, I forget) in the type-class specialiser.
  
  I also tripped over #25965, an outright bug in the rule matcher
  
  Specifically:
  
  * Refactor: I enhanced `wantCallsFor`, whih previously always said
  `True`, to discard calls of class-ops, data constructors etc.  This is
  a bit more efficient; and it means we don't need to worry about
  filtering them out later.
  
  * Fix: I tidied up some tricky logic that eliminated redundant
    specialisations.  It wasn't working correctly.  See the expanded
    Note [Specialisations already covered], and
    (MP3) in Note [Specialising polymorphic dictionaries].
  
    See also the new top-level `alreadyCovered`
    function, which now goes via `GHC.Core.Rules.ruleLhsIsMoreSpecific`
  
    I also added a useful Note [The (CI-KEY) invariant]
  
  * Fix #25965: fixed a tricky bug in the `go_fam_fam` in
    `GHC.Core.Unify.uVarOrFam`, which allows matching to succeed
    without binding all type varibles.
  
    I enhanced Note [Apartness and type families] some more
  
  * #25703. This ticket "just works" with -fpolymorphic-specialisation;
    but I was surprised that it worked! In this MR I added documentation
    to Note [Interesting dictionary arguments] to explain; and tests to
    ensure it stays fixed.
  

• 22d11fa8
  by Simon Peyton Jones at 2025-04-28T18:05:19-04:00

  Track rewriter sets more accurately in constraint solving
  
  The key change, which fixed #25440, is to call `recordRewriter` in
  GHC.Tc.Solver.Rewrite.rewrite_exact_fam_app.  This missing call meant
  that we were secretly rewriting a Wanted with a Wanted, but not really
  noticing; and that led to a very bad error message, as you can see
  in the ticket.
  
  But of course that led me into rabbit hole of other refactoring around
  the RewriteSet code:
  
  * Improve Notes [Wanteds rewrite Wanteds]
  
  * Zonk the RewriterSet in `zonkCtEvidence` rather than only in GHC.Tc.Errors.
    This is tidier anyway (e.g. de-clutters debug output), and helps with the
    next point.
  
  * In GHC.Tc.Solver.Equality.inertsCanDischarge, don't replace a constraint
    with no rewriters with an equal constraint that has many. See
    See (CE4) in Note [Combining equalities]
  
  * Move zonkRewriterSet and friends from GHC.Tc.Zonk.Type into
    GHC.Tc.Zonk.TcType, where they properly belong.
  
  A handful of tests get better error messages.
  
  For some reason T24984 gets 12% less compiler allocation -- good
  
  Metric Decrease:
      T24984
  

• 6467d61e
  by Brandon Chinn at 2025-04-29T18:36:03-04:00

  Fix lexing "\^\" (#25937)
  
  This broke in the refactor in !13128, where the old code parsed escape
  codes and collapsed string gaps at the same time, but the new code
  collapsed gaps first, then resolved escape codes. The new code used a
  naive heuristic to skip escaped backslashes, but didn't account for
  "\^\".
  

• 99868a86
  by Jens Petersen at 2025-04-29T18:36:44-04:00

  hadrian: default selftest to disabled

• aba2a4a5
  by Zubin Duggal at 2025-04-30T06:35:59-04:00

  get-win32-tarballs.py: List tarball files to be downloaded if we cannot find them
  
  Fixes #25929
  

• d99a617b
  by Ben Gamari at 2025-04-30T06:36:40-04:00

  Move Data ModuleName instance to Language.Haskell.Syntax.Module.Name
  
  Fixes #25968.
  

• 9995c2b7
  by Serge S. Gulin at 2025-05-04T17:13:36+03:00

  Support for ARM64 Windows (LLVM-enabled) (fixes #24603)
  
  1. Add Windows AArch64 cross-compilation support via CI jobs
  Introduce new CI configurations for cross-compiling to Windows ARM64 using Debian12Wine, FEX, and MSYS2.
  Configure toolchain variables for LLVM MinGW and Wine emulation in CI pipelines.
  
  2. Adjust compiler and RTS for AArch64 Windows compatibility
  Reserve register `x18` on Windows and Darwin platforms in AArch64 codegen.
  Handle Windows-specific relocations and data sections in AArch64 assembler.
  Update PEi386 linker to recognize ARM64 binaries and support exception handling.
  Adjust LLVM target definitions and data layouts for new architectures.
  Update `ghc-toolchain` and build scripts to handle `TablesNextToCode` on Windows ARM64.
  
  3. Enhance CI scripts and stability
  Modify `ci.sh` to handle mingw cross-targets, fixing GHC executable paths and test execution.
  Use `diff -w` in tests to ignore whitespace differences, improving cross-platform consistency.
  
  4. Refactor and clean up code
  Remove redundant imports in hello.hs test.
  Improve error messages and checks for unsupported configurations in the driver.
  Add `EXDEV` error code to `errno.js`.
  Add async/sync flags to IO logs at `base.js`.
  Improve POSIX compatibility for file close at `base.js`: decrease indeterminism for mixed cases of async and sync code.
  
  5. Update dependencies: `Cabal`, `Win32`, `directory`, `process`, `haskeline`, and `unix`.
  
  submodule
  
  Co-authored-by: Cheng Shao <terrorjack@type.dance>
  Co-authored-by: Dmitrii Egorov <egorov.d.i@icloud.com>
  Co-authored-by: Andrei Borzenkov <root@sandwitch.dev>
  

• 50fa8165
  by Javran Cheng at 2025-05-05T05:55:39-04:00

  Suppress unused do-binding if discarded variable is Any or ZonkAny.
  
  Consider example (#25895):
  
  >  do { forever (return ()); blah }
  
  where `forever :: forall a b. IO a -> IO b`.
  
  Nothing constrains `b`, so it will be instantiates with `Any` or
  `ZonkAny`.
  But we certainly don't want to complain about a discarded do-binding.
  
  Fixes #25895
  

• e46c6b18
  by Rodrigo Mesquita at 2025-05-06T09:01:57-04:00

  Refactor mkTopLevImportedEnv out of mkTopLevEnv
  
  This makes the code clearer and allows the top-level import context to
  be fetched directly from the HomeModInfo through the API (e.g. useful
  for the debugger).
  

• 0ce0d263
  by Rodrigo Mesquita at 2025-05-06T09:01:57-04:00

  Export sizeOccEnv from GHC.Types.Name.Occurrence
  
  Counts the number of OccNames in an OccEnv
  

• 165f98d8
  by Simon Peyton Jones at 2025-05-06T09:02:39-04:00

  Fix a bad untouchability bug im simplifyInfer
  
  This patch addresses #26004.  The root cause was that simplifyInfer
  was willing to unify variables "far out".  The fix, in
  runTcSWithEvBinds', is to initialise the inert set given-eq level with
  the current level. See
      (TGE6) in Note [Tracking Given equalities]
  in GHC.Tc.Solver.InertSet
  
  Two loosely related refactors:
  
  * Refactored approximateWCX to return just the free type
    variables of the un-quantified constraints.  That avoids duplication
    of work (these free vars are needed in simplifyInfer) and makes it
    clearer that the constraints themselves are irrelevant.
  
  * A little local refactor of TcSMode, which reduces the number of
    parameters to runTcSWithEvBinds
  

• 6e67fa08
  by Ben Gamari at 2025-05-08T06:21:21-04:00

  llvmGen: Fix built-in variable predicate
  
  Previously the predicate to identify LLVM builtin global variables was
  checking for `$llvm` rather than `@llvm` as it should.
  

• a9d0a22c
  by Ben Gamari at 2025-05-08T06:21:22-04:00

  llvmGen: Fix linkage of built-in arrays
  
  LLVM now insists that built-in arrays use Appending linkage, not
  Internal.
  
  Fixes #25769.
  

• 9c6d2b1b
  by sheaf at 2025-05-08T06:22:11-04:00

  Use mkTrAppChecked in ds_ev_typeable
  
  This change avoids violating the invariant of mkTrApp according to which
  the argument should not be a fully saturated function type.
  This ensures we don't return false negatives for type equality
  involving function types.
  
  Fixes #25998
  

• 75cadf81
  by Ryan Hendrickson at 2025-05-08T06:22:55-04:00

  haddock: Preserve indentation in multiline examples
  
  Intended for use with :{ :}, but doesn't look for those characters. Any
  consecutive lines with birdtracks will only have initial whitespace
  stripped up to the column of the first line.
  

• fee9b351
  by Cheng Shao at 2025-05-08T06:23:36-04:00

  ci: re-enable chrome for wasm ghci browser tests
  
  Currently only firefox is enabled for wasm ghci browser tests, for
  some reason testing with chrome works on my machine but gets stuck on
  gitlab instance runners. This patch re-enables testing with chrome by
  passing `--no-sandbox`, since chrome sandboxing doesn't work in
  containers without `--cap-add=SYS_ADMIN`.
  

• 282df905
  by Vladislav Zavialov at 2025-05-09T03:18:25-04:00

  Take subordinate 'type' specifiers into account
  
  This patch fixes multiple bugs (#22581, #25983, #25984, #25991)
  in name resolution of subordinate import lists.
  
  Bug #22581
  ----------
  In subordinate import lists, the use of the `type` namespace specifier
  used to be ignored. For example, this import statement was incorrectly
  accepted:
  
    import Prelude (Bool(type True))
  
  Now it results in an error message:
  
    <interactive>:2:17: error: [GHC-51433]
      In the import of ‘Prelude’:
        a data type called ‘Bool’ is exported,
        but its subordinate item ‘True’ is not in the type namespace.
  
  Bug #25983
  ----------
  In subordinate import lists within a `hiding` clause, non-existent
  items led to a poor warning message with -Wdodgy-imports. Consider:
  
    import Prelude hiding (Bool(X))
  
  The warning message for this import statement used to misreport the
  cause of the problem:
  
    <interactive>:3:24: warning: [GHC-56449] [-Wdodgy-imports]
      In the import of ‘Prelude’:
        an item called ‘Bool’ is exported, but it is a type.
  
  Now the warning message is correct:
  
    <interactive>:2:24: warning: [GHC-10237] [-Wdodgy-imports]
      In the import of ‘Prelude’:
        a data type called ‘Bool’ is exported, but it does not export
        any constructors or record fields called ‘X’.
  
  Bug #25984
  ----------
  In subordinate import lists within a `hiding` clause, non-existent
  items resulted in the entire import declaration being discarded.
  For example, this program was incorrectly accepted:
  
    import Prelude hiding (Bool(True,X))
    t = True
  
  Now it results in an error message:
  
    <interactive>:2:5: error: [GHC-88464]
      Data constructor not in scope: True
  
  Bug #25991
  ----------
  In subordinate import lists, it was not possible to refer to a class
  method if there was an associated type of the same name:
  
    module M_helper where
      class C a b where
        type a # b
        (#) :: a -> b -> ()
  
    module M where
      import M_helper (C((#)))
  
  This import declaration failed with:
  
    M.hs:2:28: error: [GHC-10237]
      In the import of ‘M_helper’:
        an item called ‘C’ is exported, but it does not export any children
        (constructors, class methods or field names) called ‘#’.
  
  Now it is accepted.
  
  Summary
  -------
  The changes required to fix these bugs are almost entirely confined to
  GHC.Rename.Names. Other than that, there is a new error constructor
  BadImportNonTypeSubordinates with error code [GHC-51433].
  
  Test cases:
    T22581a T22581b T22581c T22581d
    T25983a T25983b T25983c T25983d T25983e T25983f T25983g
    T25984a T25984b
    T25991a T25991b1 T25991b2
  

• 51b0ce8f
  by Simon Peyton Jones at 2025-05-09T03:19:07-04:00

  Slighty improve `dropMisleading`
  
  Fix #26105, by upgrading the (horrible, hacky) `dropMisleading`
  function.
  
  This fix makes things a bit better but does not cure the underlying
  problem.
  

• 7b2d1e6d
  by Simon Peyton Jones at 2025-05-11T03:24:47-04:00

  Refine `noGivenNewtypeReprEqs` to account for quantified constraints
  
  This little MR fixes #26020.  We are on the edge of completeness
  for newtype equalities (that doesn't change) but this MR makes GHC
  a bit more consistent -- and fixes the bug reported.
  

• eaa8093b
  by Cheng Shao at 2025-05-11T03:25:28-04:00

  wasm: mark freeJSVal as INLINE
  
  This patch marks `freeJSVal` as `INLINE` for the wasm backend. I
  noticed that the `freeJSVal` invocations are not inlined when
  inspecting STG/Cmm dumps of downstream libraries that use release
  build of the wasm backend. The performance benefit of inlining here is
  very modest, but so is the cost anyway; if you are using `freeJSVal`
  at all then you care about every potential chance to improve
  performance :)
  

• eac196df
  by Cheng Shao at 2025-05-11T03:25:28-04:00

  wasm: add zero length fast path for fromJSString
  
  This patch adds a zero length fast path for `fromJSString`; when
  marshaling a zero-length `JSString` we don't need to allocate an empty
  `ByteArray#` at all.
  

• 652cba7e
  by Peng Fan at 2025-05-14T04:24:35-04:00

  Add LoongArch NCG support
  
  Not supported before.
  

• c01f4374
  by Lin Runze at 2025-05-14T04:24:35-04:00

  ci: Add LoongArch64 cross-compile CI for testing
  

• ce6cf240
  by Ben Gamari at 2025-05-14T04:25:18-04:00

  rts/linker: Don't fail due to RTLD_NOW
  
  In !12264 we started using the NativeObj machinery introduced some time
  ago for loading of shared objects. One of the side-effects of this
  change is shared objects are now loaded eagerly (i.e. with `RTLD_NOW`).
  This is needed by NativeObj to ensure full visibility of the mappings of
  the loaded object, which is in turn needed for safe shared object
  unloading.
  
  Unfortunately, this change subtly regressed, causing compilation
  failures in some programs. Specifically, shared objects which refer to
  undefined symbols (e.g. which may be usually provided by either the
  executable image or libraries loaded via `dlopen`) will fail to load
  with eager binding. This is problematic as GHC loads all package
  dependencies while, e.g., evaluating TemplateHaskell splices. This
  results in compilation failures in programs depending upon (but not
  using at compile-time) packages with undefined symbol references.
  
  To mitigate this NativeObj now first attempts to load an object via
  eager binding, reverting to lazy binding (and disabling unloading) on
  failure.
  
  See Note [Don't fail due to RTLD_NOW].
  
  Fixes #25943.
  

• 88ee8bb5
  by Sylvain Henry at 2025-05-14T04:26:15-04:00

  Deprecate GHC.JS.Prim.Internal.Build (#23432)
  
  Deprecated as per CLC proposal 329 (https://github.com/haskell/core-libraries-committee/issues/329)
  

• b4ed465b
  by Cheng Shao at 2025-05-14T04:26:57-04:00

  libffi: update to 3.4.8
  
  Bumps libffi submodule.
  

• a3e71296
  by Matthew Pickering at 2025-05-14T04:27:38-04:00

  Remove leftover trace
  

• 2d0ecdc6
  by Cheng Shao at 2025-05-14T04:28:19-04:00

  Revert "ci: re-enable chrome for wasm ghci browser tests"
  
  This reverts commit fee9b351fa5a35d5778d1252789eacaaf5663ae8.
  Unfortunately the chrome test jobs may still timeout on certain
  runners (e.g. OpenCape) for unknown reasons.
  

• 3b3a5dec
  by Ben Gamari at 2025-05-15T16:10:01-04:00

  Don't emit unprintable characters when printing Uniques
  
  When faced with an unprintable tag we now instead print the codepoint
  number.
  
  Fixes #25989.
  
  (cherry picked from commit e832b1fadee66e8d6dd7b019368974756f8f8c46)
  

• e1ef8974
  by Mike Pilgrem at 2025-05-16T16:09:14-04:00

  Translate iff in Haddock documentation into everyday English
  

• fd64667d
  by Vladislav Zavialov at 2025-05-20T03:25:08-04:00

  Allow the 'data' keyword in import/export lists (#25899)
  
  This patch introduces the 'data' namespace specifier in import and
  export lists. The intended use is to import data constructors without
  their parent type constructors, e.g.
  
    import Data.Proxy as D (data Proxy)
    type DP = D.Proxy   -- promoted data constructor
  
  Additionally, it is possible to use 'data' to explicitly qualify any
  data constructors or terms, incl. operators and field selectors
  
    import Prelude (Semigroup(data (<>)))
    import Data.Function (data (&))
    import Data.Monoid (data Dual, data getDual)
  
    x = Dual "Hello" <> Dual "World" & getDual
  
  The implementation mostly builds on top of the existing logic for the
  'type' and 'pattern' namespace specifiers, plus there are a few tweaks
  to how we generate suggestions in error messages.
  

• acc86753
  by Ben Gamari at 2025-05-20T03:25:51-04:00

  compiler: Use field selectors when creating BCOs
  
  This makes it easier to grep for these fields.
  

• 60a55fd7
  by Ben Gamari at 2025-05-20T03:25:51-04:00

  compiler: Clarify BCO size
  
  Previously the semantics and size of StgBCO was a bit unclear.
  Specifically, the `size` field was documented to contain the size of the
  bitmap whereas it was actually the size of the closure *and* bitmap.
  Additionally, it was not as clear as it could be that the bitmap was a
  full StgLargeBitmap with its own `size` field.
  

• ac9fb269
  by Simon Peyton Jones at 2025-05-20T09:19:04-04:00

  Track rewriter sets more accurately in constraint solving
  
  This MR addresses #26003, by refactoring the arcane
  intricacies of Note [Equalities with incompatible kinds].
  NB: now retitled to
      Note [Equalities with heterogeneous kinds].
  and the main Note for this MR.
  
  In particular:
  
  * Abandon invariant (COERCION-HOLE) in Note [Unification preconditions] in
    GHC.Tc.Utils.Unify.
  
  * Abandon invariant (TyEq:CH)) in Note [Canonical equalities] in
    GHC.Tc.Types.Constraint.
  
  * Instead: add invariant (REWRITERS) to Note [Unification preconditions]:
    unify only if the constraint has an empty rewriter set.
  
  Implementation:
  
  * In canEqCanLHSFinish_try_unification, skip trying unification if there is a
    non-empty rewriter set.
  
  * To do this, make sure the rewriter set is zonked; do so in selectNextWorkItem,
    which also deals with prioritisation.
  
  * When a coercion hole is filled, kick out inert equalities that have that hole
    as a rewriter.  It might now be unlocked and available to unify.
  
  * Remove the ad-hoc `ch_hetero_kind` field of `CoercionHole`.
  
  * In `selectNextWorkItem`, priorities equalities withan empty rewriter set.
  
  * Defaulting: see (DE6) in Note [Defaulting equalities]
    and Note [Limited defaulting in the ambiguity check]
  
  * Concreteness checks: there is some extra faff to try to get decent
    error messages when the FRR (representation-polymorphism) checks
    fail. In partiular, add a "When unifying..." explanation when the
    representation-polymorphism check arose from another constraint.
  

• 86406f48
  by Cheng Shao at 2025-05-20T09:19:47-04:00

  rts: fix rts_clearMemory logic when sanity checks are enabled
  
  This commit fixes an RTS assertion failure when invoking
  rts_clearMemory with +RTS -DS. -DS implies -DZ which asserts that free
  blocks contain 0xaa as the designated garbage value. Also adds the
  sanity way to rts_clearMemory test to prevent future regression.
  Closes #26011.
  
  ChatGPT Codex automatically diagnosed the issue and proposed the
  initial patch in a single shot, given a GHC checkout and the following
  prompt:
  
  ---
  
  Someone is reporting the following error when attempting to use `rts_clearMemory` with the RTS option `-DS`:
  
  ```
  test.wasm: internal error: ASSERTION FAILED: file rts/sm/Storage.c, line 1216
  
      (GHC version 9.12.2.20250327 for wasm32_unknown_wasi)
      Please report this as a GHC bug:  https://www.haskell.org/ghc/reportabug
  ```
  
  What's the culprit? How do I look into this issue?
  
  ---
  
  I manually reviewed & revised the patch, tested and submitted it.
  

• 7147370b
  by Cheng Shao at 2025-05-20T17:22:19-04:00

  compiler: do not allocate strings in bytecode assembler
  
  This patch refactors the compiler to avoid allocating iserv buffers
  for BCONPtrStr at assemble-time. Now BCONPtrStr ByteStrings are
  recorded as a part of CompiledByteCode, and actual allocation only
  happens at link-time. This refactoring is necessary for adding
  bytecode serialization functionality, as explained by the revised
  comments in this commit.
  

• a67db612
  by Cheng Shao at 2025-05-20T17:22:19-04:00

  compiler: make bc_strs serializable
  
  This commit makes the bc_strs field in CompiledByteCode serializable;
  similar to previous commit, we preserve the ByteString directly and
  defer the actual allocation to link-time, as mentioned in updated
  comment.
  

• 5faf34ef
  by Cheng Shao at 2025-05-20T17:22:19-04:00

  compiler: make bc_itbls serializable
  
  This commit makes bc_itbls in CompiledByteCode serializable. A
  dedicated ConInfoTable datatype has been added in ghci which is the
  recipe for dynamically making a datacon's info table, containing the
  payload of the MkConInfoTable iserv message.
  

• 2abaf8c1
  by Cheng Shao at 2025-05-20T17:22:19-04:00

  compiler: remove FFIInfo bookkeeping in BCO
  
  This commit removes the bc_ffis field from CompiledByteCode
  completely, as well as all the related bookkeeping logic in
  GHC.StgToByteCode. bc_ffis is actually *unused* in the rest of GHC
  codebase! It is merely a list of FFIInfo, which is just a remote
  pointer of the libffi ffi_cif struct; once we allocate the ffi_cif
  struct and put its pointer in a CCALL instruction, we'll never free it
  anyway. So there is no point of bookkeeping.
  

• adb9e4d2
  by Cheng Shao at 2025-05-20T17:22:19-04:00

  compiler: make FFIInfo serializable in BCO
  
  This commit makes all the FFIInfo needed in CCALL instructions
  serializable. Previously, when doing STG to BCO lowering, we would
  allocate a libffi ffi_cif struct and keep its remote pointer as
  FFIInfo; but actually we can just keep the type signature as FFIInfo
  and defer the actual allocation to link-time.
  

• 200f401b
  by Cheng Shao at 2025-05-20T17:22:19-04:00

  ghci: remove redundant NewBreakModule message
  
  This commit removes the redundant NewBreakModule message from ghci: it
  just allocates two strings! This functionality can be implemented with
  existing MallocStrings in one iserv call.
  

• ddaadca6
  by Cheng Shao at 2025-05-20T17:22:19-04:00

  compiler: make breakpoint module name and unit id serializable
  
  This commit makes breakpoint module name and unit id serializable, in
  BRK_FUN instructions as well as ModBreaks. We can simply keep the
  module name and unit ids, and defer the buffer allocation to link
  time.
  

• a0fde202
  by Cheng Shao at 2025-05-20T17:22:19-04:00

  compiler: remove unused newModule
  
  This commit removes the now unused newModule function from GHC.
  

• 68c8f140
  by Cheng Shao at 2025-05-20T17:22:19-04:00

  compiler: add BCONPtrFS for interned top level string literals in BCO
  
  This commit adds BCONPtrFS as a BCO non-pointer literal kind, which
  has the same semantics of BCONPtrStr, except it contains a FastString
  instead of a ByteString. By using BCONPtrFS to represent top level
  string literals that are already FastString in the compilation
  pipeline, we enjoy the FastString interning logic and avoid allocating
  a bunch of redundant ByteStrings for the same FastStrings, especially
  when we lower the BRK_FUN instruction.
  

• f2b532bc
  by Peng Fan at 2025-05-20T17:23:15-04:00

  hadrian: enable GHCi for loongarch64
  

• 8ded2330
  by kwxm at 2025-05-20T17:24:07-04:00

  Fix bugs in `integerRecipMod` and `integerPowMod`
  
  This fixes #26017.
  
    * `integerRecipMod x 1` now returns `(# 1 | #)` for all x; previously it
      incorrectly returned `(# | () #)`, indicating failure.
  
    * `integerPowMod 0 e m` now returns `(# | () #)` for e<0 and m>1, indicating
      failure; previously it incorrectly returned `(# 0 | #)`.
  

• c9abb87c
  by Andreas Klebinger at 2025-05-20T17:24:50-04:00

  Specialise: Don't float out constraint components.
  
  It was fairly complex to do so and it doesn't seem to improve anything.
  Nofib allocations were unaffected as well.
  
  See also Historical Note [Floating dictionaries out of cases]
  

• 202b201c
  by Andreas Klebinger at 2025-05-21T10:16:14-04:00

  Interpreter: Add limited support for direct primop evaluation.
  
  This commit adds support for a number of primops directly
  to the interpreter. This avoids the indirection of going
  through the primop wrapper for those primops speeding interpretation
  of optimized code up massively.
  
  Code involving IntSet runs about 25% faster with optimized core and these
  changes. For core without breakpoints it's even more pronouced and I
  saw reductions in runtime by up to 50%.
  
  Running GHC itself in the interpreter was sped up by ~15% through this
  change.
  
  Additionally this comment does a few other related changes:
  
  testsuite:
  * Run foundation test in ghci and ghci-opt ways to test these
  primops.
  * Vastly expand the foundation test to cover all basic primops
    by comparing result with the result of calling the wrapper.
  
  Interpreter:
  * When pushing arguments for interpreted primops extend each argument to
    at least word with when pushing. This avoids some issues with big
    endian. We can revisit this if it causes performance issues.
  * Restructure the stack chunk check logic. There are now macros for
    read accesses which might cross stack chunk boundries and macros which
    omit the checks which are used when we statically know we access an
    address in the current stack chunk.
  

• 67a177b4
  by sheaf at 2025-05-21T10:17:04-04:00

  QuickLook: do a shape test before unifying
  
  This commit ensures we do a shape test before unifying. This ensures
  we don't try to unify a TyVarTv with a non-tyvar, e.g.
  
    alpha[tyv] := Int
  
  On the way, we refactor simpleUnifyCheck:
  
    1. Move the checkTopShape check into simpleUnifyCheck
    2. Refactors simpleUnifyCheck to return a value of the new type
       SimpleUnifyResult type. Now, simpleUnifyCheck returns "can unify",
       "cannot unify" or "dunno" (with "cannot unify" being the new result
       it can return). Now:
         - touchabilityTest is included; it it fails we return "cannot unify"
         - checkTopShape now returns "cannot unify" instead of "dunno" upon failure
    3. Move the call to simpleUnifyCheck out of checkTouchableTyVarEq.
       After that, checkTouchableTyVarEq becames a simple call to
       checkTyEqRhs, so we inline it.
  
  This allows the logic in canEqCanLHSFinish_try_unification to be simplified.
  In particular, we now avoid calling 'checkTopShape' twice.
  Two further changes suggested by Simon were also implemented:
  
    - In canEqCanLHSFinish, if checkTyEqRhs returns PuFail with
      'do_not_prevent_rewriting', we now **continue with this constraint**.
      This allows us to use the constraint for rewriting.
  
    - checkTyEqRhs now has a top-level check to avoid flattening a tyfam app
      in a top-level equality of the form alpha ~ F tys, as this is
      going around in circles. This simplifies the implementation without
      any change in behaviour.
  
  Fixes #25950
  Fixes #26030
  

• 4020972c
  by sheaf at 2025-05-21T10:17:04-04:00

  FixedRuntimeRepError: omit unhelpful explanation
  
  This commit tweaks the FixedRuntimeRepError case of pprTcSolverReportMsg,
  to avoid including an explanation which refers to a type variable that
  appears nowhere else.
  
  For example, the old error message could look like the following:
  
    The pattern binding does not have a fixed runtime representation.
    Its type is:
      T :: TYPE R
    Cannot unify ‘R’ with the type variable ‘c0’
    because the former is not a concrete ‘RuntimeRep’.
  
  With this commit, we now omit the last two lines, because the concrete
  type variable (here 'c0') does not appear in the type displayed to the
  user (here 'T :: TYPE R').
  

• 6d058a69
  by Andrea Bedini at 2025-05-21T16:00:51-04:00

  Don't fail when ghcversion.h can't be found (#26018)
  
  If ghcversion.h can't be found, don't try to include it. This happens
  when there is no rts package in the package db and when -ghcversion-file
  argument isn't passed.
  
  Co-authored-by: Syvlain Henry <sylvain@haskus.fr>
  

• b1212fbf
  by Vladislav Zavialov at 2025-05-21T16:01:33-04:00

  Implement -Wpattern-namespace-specifier (#25900)
  
  In accordance with GHC Proposal #581 "Namespace-specified imports",
  section 2.3 "Deprecate use of pattern in import/export lists", the
  `pattern` namespace specifier is now deprecated.
  
  Test cases: T25900 T25900_noext
  

• e650ec3e
  by Ben Gamari at 2025-05-23T03:42:46-04:00

  base: Forward port changelog language from 9.12
  

• 94cd9ca4
  by Ben Gamari at 2025-05-23T03:42:46-04:00

  base: Fix RestructuredText-isms in changelog
  

• 7722232c
  by Ben Gamari at 2025-05-23T03:42:46-04:00

  base: Note strictness changes made in 4.16.0.0
  
  Addresses #25886.
  

• 3f4b823c
  by Ben Gamari at 2025-05-23T03:43:28-04:00

  rts/linker: Factor out ProddableBlocks machinery
  

• 6e23fef2
  by Ben Gamari at 2025-05-23T03:43:28-04:00

  rts/linker: Improve efficiency of proddable blocks structure
  
  Previously the linker's "proddable blocks" check relied on a simple
  linked list of spans. This resulted in extremely poor complexity while
  linking objects with lots of small sections (e.g. objects built with
  split sections).
  
  Rework the mechanism to instead use a simple interval set implemented
  via binary search.
  
  Fixes #26009.
  

• ea74860c
  by Ben Gamari at 2025-05-23T03:43:28-04:00

  testsuite: Add simple functional test for ProddableBlockSet
  

• 74c4db46
  by Ben Gamari at 2025-05-23T03:43:28-04:00

  rts/linker/PEi386: Drop check for LOAD_LIBRARY_SEARCH_*_DIRS
  
  The `LOAD_LIBRARY_SEARCH_USER_DIRS` and
  `LOAD_LIBRARY_SEARCH_DEFAULT_DIRS` were introduced in Windows Vista and
  have been available every since. As we no longer support Windows XP we
  can drop this check.
  
  Addresses #26009.
  

• 972d81d6
  by Ben Gamari at 2025-05-23T03:43:28-04:00

  rts/linker/PEi386: Clean up code style
  

• 8a1073a5
  by Ben Gamari at 2025-05-23T03:43:28-04:00

  rts/Hash: Factor out hashBuffer
  
  This is a useful helper which can be used for non-strings as well.
  

• 44f509f2
  by Ben Gamari at 2025-05-23T03:43:28-04:00

  rts/linker/PEi386: Fix incorrect use of break in nested for
  
  Previously the happy path of PEi386 used `break` in a double-`for` loop
  resulting in redundant calls to `LoadLibraryEx`.
  
  Fixes #26052.
  

• bfb12783
  by Ben Gamari at 2025-05-23T03:43:28-04:00

  rts: Correctly mark const arguments
  

• 08469ff8
  by Ben Gamari at 2025-05-23T03:43:28-04:00

  rts/linker/PEi386: Don't repeatedly load DLLs
  
  Previously every DLL-imported symbol would result in a call to
  `LoadLibraryEx`. This ended up constituting over 40% of the runtime of
  `ghc --interactive -e 42` on Windows. Avoid this by maintaining a
  hash-set of loaded DLL names, skipping the call if we have already
  loaded the requested DLL.
  
  Addresses #26009.
  

• 823d1ccf
  by Ben Gamari at 2025-05-23T03:43:28-04:00

  rts/linker: Expand comment describing ProddableBlockSet
  

• e9de9e0b
  by Sylvain Henry at 2025-05-23T15:12:34-04:00

  Remove emptyModBreaks
  
  Remove emptyModBreaks and track the absence of ModBreaks with `Maybe
  ModBreaks`. It avoids testing for null pointers...
  

• 17db44c5
  by Ben Gamari at 2025-05-23T15:13:16-04:00

  base: Expose Backtraces constructor and fields
  
  This was specified in the proposal (CLC #199) yet somehow didn't make it
  into the implementation.
  
  Fixes #26049.
  

• b08c08ae
  by soulomoon at 2025-05-28T01:57:23+08:00

  Refactor handling of imported COMPLETE pragmas
  from the HPT
  
  Previously, we imported COMPLETE pragmas from all modules in the Home
  Package Table (HPT) during type checking. However, since !13675, there
  may be non-below modules in the HPT from the dependency tree that we do
  not want to import COMPLETE pragmas from. This refactor changes the way
  we handle COMPLETE pragmas from the HPT to only import them from modules
  that are "below" the current module in the HPT.
  
  - Add hugCompleteSigsBelow to filter COMPLETE pragmas from "below"
    modules in the HPT, mirroring hugRulesBelow.
  - Move responsibility for calling hugCompleteSigsBelow to tcRnImports,
    storing the result in the new tcg_complete_match_env field of TcGblEnv.
  - Update getCompleteMatchesTcM to use tcg_complete_match_env.
  
  This refactor only affects how COMPLETE pragmas are imported from the
  HPT, imports from external packages are unchanged.
  

• 16014bf8
  by Hécate Kleidukos at 2025-05-28T20:09:34-04:00

  Expose all of Backtraces' internals for ghc-internal
  
  Closes #26049
  

• a0adc30d
  by Ryan Hendrickson at 2025-05-30T14:12:52-04:00

  haddock: Fix links to type operators
  

• 7b64697c
  by Mario Blažević at 2025-05-30T14:13:41-04:00

  Introduce parenBreakableList and use it in ppHsContext
  

• 5f213bff
  by fendor at 2025-06-02T09:16:24+02:00

  Make GHCi commands compatible with multiple home units
  
  === Design
  
  We enable all GHCi features that were previously guarded by the `inMulti`
  option.
  
  GHCi supported multiple home units up to a certain degree for quite a while now.
  The supported feature set was limited, due to a design impasse:
  One of the home units must be "active", e.g., there must be one `HomeUnit`
  whose `UnitId` is "active" which is returned when calling
  
  ```haskell
  do
    hscActiveUnitId <$> getSession
  ```
  
  This makes sense in a GHC session, since you are always compiling a particular
  Module, but it makes less intuitive sense in an interactive session.
  Given an expression to evaluate, we can't easily tell in which "context" the expression
  should be parsed, typechecked and evaluated.
  That's why initially, most of GHCi features, except for `:reload`ing were disabled
  if the GHCi session had more than one `HomeUnitEnv`.
  
  We lift this restriction, enabling all features of GHCi for the multiple home unit case.
  To do this, we fundamentally change the `HomeUnitEnv` graph to be multiple home unit first.
  Instead of differentiating the case were we have a single home unit and multiple,
  we now always set up a multiple home unit session that scales seamlessly to an arbitrary
  amount of home units.
  
  We introduce two new `HomeUnitEnv`s that are always added to the `HomeUnitGraph`.
  They are:
  
  The "interactive-ghci", called the `interactiveGhciUnit`, contains the same
  `DynFlags` that are used by the `InteractiveContext` for interactive evaluation
  of expressions.
  This `HomeUnitEnv` is only used on the prompt of GHCi, so we may refer to it as
  "interactive-prompt" unit.
  See Note [Relation between the `InteractiveContext` and `interactiveGhciUnitId`]
  for discussing its role.
  
  And the "interactive-session"", called `interactiveSessionUnit` or
  `interactiveSessionUnitId`, which is used for loading Scripts into
  GHCi that are not `Target`s of any home unit, via `:load` or `:add`.
  
  Both of these "interactive" home units depend on all other `HomeUnitEnv`s that
  are passed as arguments on the cli.
  Additionally, the "interactive-ghci" unit depends on `interactive-session`.
  
  We always evaluate expressions in the context of the
  "interactive-ghci" session.
  Since "interactive-ghci" depends on all home units, we can import any `Module`
  from the other home units with ease.
  
  As we have a clear `HomeUnitGraph` hierarchy, we can set `interactiveGhciUnitId`
  as the active home unit for the full duration of the GHCi session.
  In GHCi, we always set `interactiveGhciUnitId` to be the currently active home unit.
  
  === Implementation Details
  
  Given this design idea, the implementation is relatively straight
  forward.
  The core insight is that a `ModuleName` is not sufficient to identify a
  `Module` in the `HomeUnitGraph`. Thus, large parts of the PR is simply
  about refactoring usages of `ModuleName` to prefer `Module`, which has a
  `Unit` attached and is unique over the `HomeUnitGraph`.
  
  Consequentially, most usages of `lookupHPT` are likely to be incorrect and have
  been replaced by `lookupHugByModule` which is keyed by a `Module`.
  
  In `GHCi/UI.hs`, we make sure there is only one location where we are
  actually translating `ModuleName` to a `Module`:
  
  * `lookupQualifiedModuleName`
  
  If a `ModuleName` is ambiguous, we detect this and report it to the
  user.
  
  To avoid repeated lookups of `ModuleName`s, we store the `Module` in the
  `InteractiveImport`, which additionally simplifies the interface
  loading.
  
  A subtle detail is that the `DynFlags` of the `InteractiveContext` are
  now stored both in the `HomeUnitGraph` and in the `InteractiveContext`.
  In UI.hs, there are multiple code paths where we are careful to update
  the `DynFlags` in both locations.
  Most importantly in `addToProgramDynFlags`.
  
  ---
  
  There is one metric increase in this commit:
  
  -------------------------
  Metric Increase:
      T4029
  -------------------------
  
  It is an increase from 14.4 MB to 16.1 MB (+11.8%) which sounds like a
  pretty big regression at first.
  However, we argue this increase is solely caused by using more data
  structures for managing multiple home units in the GHCi session.
  In particular, due to the design decision of using three home units, the
  base memory usage increases... but by how much?
  
  A big contributor is the `UnitState`, of which we have three now, which
  on its own 260 KB per instance. That makes an additional memory usage of
  520 KB, already explaining a third of the overall memory usage increase.
  Then we store more elements in the `HomeUnitGraph`, we have more
  `HomeUnitEnv` entries, etc...
  
  While we didn't chase down each byte, we looked at the memory usage over time
  for both `-hi` and `-hT` profiles and can say with confidence while the memory
  usage increased slightly, we did not introduce any space leak, as
  the graph looks almost identical as the memory usage graph of GHC HEAD.
  
  ---
  
  Adds testcases for GHCi multiple home units session
  
  * Test truly multiple home unit sessions, testing reload logic and code evaluation.
  * Test that GHCi commands such as `:all-types`, `:browse`, etc., work
  * Object code reloading for home modules
  * GHCi debugger multiple home units session
  

• de603d01
  by fendor at 2025-06-02T09:16:24+02:00

  Update "loading compiled code" GHCi documentation
  
  To use object code in GHCi, the module needs to be compiled for use in
  GHCi. To do that, users need to compile their modules with:
  
  * `-dynamic`
  * `-this-unit-id interactive-session`
  
  Otherwise, the interface files will not match.
  

• b255a8ca
  by Vladislav Zavialov at 2025-06-02T16:00:12-04:00

  docs: Fix code example for NoListTuplePuns
  
  Without the fix, the example produces an error:
  
    Test.hs:11:3: error: [GHC-45219]
        • Data constructor ‘Tuple’ returns type ‘Tuple2 a b’
            instead of an instance of its parent type ‘Tuple a’
        • In the definition of data constructor ‘Tuple’
          In the data type declaration for ‘Tuple’
  
  Fortunately, a one line change makes it compile.
  

• 6558467c
  by Ryan Hendrickson at 2025-06-06T05:46:58-04:00

  haddock: Parse math even after ordinary characters
  
  Fixes a bug where math sections were not recognized if preceded by a
  character that isn't special (like space or a markup character).
  

• 265d0024
  by ARATA Mizuki at 2025-06-06T05:47:48-04:00

  AArch64 NCG: Fix sub-word arithmetic right shift
  
  As noted in Note [Signed arithmetic on AArch64], we should zero-extend sub-word values.
  
  Fixes #26061
  

• 05e9be18
  by Simon Hengel at 2025-06-06T05:48:35-04:00

  Allow Unicode in "message" and "hints" with -fdiagnostics-as-json
  
  (fixes #26075)
  

• bfa6b70f
  by ARATA Mizuki at 2025-06-06T05:49:24-04:00

  x86 NCG: Fix code generation of bswap64 on i386
  
  Co-authored-by: sheaf <sam.derbyshire@gmail.com>
  
  Fix #25601
  

• 35826d8b
  by Matthew Pickering at 2025-06-08T22:00:41+01:00

  Hadrian: Add option to generate .hie files for stage1 libraries
  
  The +hie_files flavour transformer can be enabled to produce hie files
  for stage1 libraries. The hie files are produced in the
  "extra-compilation-artifacts" folder and copied into the resulting
  bindist.
  
  At the moment the hie files are not produced for the release flavour,
  they add about 170M to the final bindist.
  
  Towards #16901
  

• e2467dbd
  by Ryan Hendrickson at 2025-06-09T13:07:05-04:00

  Fix various failures to -fprint-unicode-syntax
  

• 1d99d3e4
  by maralorn at 2025-06-12T03:47:39-04:00

  Add necessary flag for js linking
  

• 974d5734
  by maralorn at 2025-06-12T03:47:39-04:00

  Don’t use additional linker flags to detect presence of -fno-pie in configure.ac
  
  This mirrors the behavior of ghc-toolchain
  

• 1e9eb118
  by Andrew Lelechenko at 2025-06-12T03:48:21-04:00

  Add HasCallStack to Control.Monad.Fail.fail
  
  CLC proposal https://github.com/haskell/core-libraries-committee/issues/327
  
  2% compile-time allocations increase in T3064, likely because `fail`
  is now marginally more expensive to compile.
  
  Metric Increase:
      T3064
  

• 6d12060f
  by meooow25 at 2025-06-12T14:26:07-04:00

  Bump containers submodule to 0.8
  
  Also
  
  * Disable -Wunused-imports for containers
  * Allow containers-0.8 for in-tree packages
  * Bump some submodules so that they allow containers-0.8. These are not
    at any particular versions.
  * Remove unused deps containers and split from ucd2haskell
  * Fix tests affected by the new containers and hpc-bin
  

• 537bd233
  by Peng Fan at 2025-06-12T14:27:02-04:00

  NCG/LA64: Optimize code generation and reduce build-directory size.
  
  1. makeFarBranches: Prioritize fewer instruction sequences.
  2. Prefer instructions with immediate numbers to reduce register moves,
    e.g. andi,ori,xori,addi.
  3. Ppr: Remove unnecessary judgments.
  4. genJump: Avoid "ld+jr" as much as possible.
  5. BCOND and BCOND1: Implement conditional jumps with two jump ranges,
    with limited choice of the shortest.
  6. Implement FSQRT, CLT, CTZ.
  7. Remove unnecessary code.
  

• 19f20861
  by Simon Peyton Jones at 2025-06-13T09:51:11-04:00

  Improve redundant constraints for instance decls
  
  Addresses #25992, which showed that the default methods
  of an instance decl could make GHC fail to report redundant
  constraints.
  
  Figuring out how to do this led me to refactor the computation
  of redundant constraints.  See the entirely rewritten
  
     Note [Tracking redundant constraints]
  
  in GHC.Tc.Solver.Solve
  

• 1d02798e
  by Matthew Pickering at 2025-06-13T09:51:54-04:00

  Refactor the treatment of nested Template Haskell splices
  
  * The difference between a normal splice, a quasiquoter and implicit
  splice caused by lifting is stored in the AST after renaming.
  
  * Information that the renamer learns about splices is stored in the
  relevant splice extension points (XUntypedSpliceExpr, XQuasiQuote).
  
  * Normal splices and quasi quotes record the flavour of splice
    (exp/pat/dec etc)
  
  * Implicit lifting stores information about why the lift was attempted,
    so if it fails, that can be reported to the user.
  
  * After renaming, the decision taken to attempt to implicitly lift a
  variable is stored in the `XXUntypedSplice` extension field in the
  `HsImplicitLiftSplice` constructor.
  
  * Since all the information is stored in the AST, in `HsUntypedSplice`,
    the type of `PendingRnSplice` now just stores a `HsUntypedSplice`.
  
  * Error messages since the original program can be easily
    printed, this is noticeable in the case of implicit lifting.
  * The user-written syntax is directly type-checked. Before, some
    desugaring took place in the
  * Fixes .hie files to work better with nested splices (nested splices
    are not indexed)
  * The location of the quoter in a quasiquote is now located, so error
    messages will precisely point to it (and again, it is indexed by hie
    files)
  
  In the future, the typechecked AST should also retain information about
  the splices and the specific desugaring being left to the desugarer.
  
  Also, `runRnSplice` should call `tcUntypedSplice`, otherwise the
  typechecking logic is duplicated (see the `QQError` and `QQTopError`
  tests for a difference caused by this).
  

• f93798ba
  by Cheng Shao at 2025-06-13T09:52:35-04:00

  libffi: update to 3.5.1
  
  Bumps libffi submodule.
  

• c7aa0c10
  by Andreas Klebinger at 2025-06-15T05:47:24-04:00

  Revert "Specialise: Don't float out constraint components."
  
  This reverts commit c9abb87ccc0c91cd94f42b3e36270158398326ef.
  
  Turns out two benchmarks from #19747 regresses by a factor of 7-8x if
  we do not float those out.
  

• fd998679
  by Krzysztof Gogolewski at 2025-06-15T05:48:06-04:00

  Fix EPT enforcement when mixing unboxed tuples and non-tuples
  
  The code was assuming that an alternative cannot be returning a normal
  datacon and an unboxed tuple at the same time. However, as seen in #26107,
  this can happen when using a GADT to refine the representation type.
  
  The solution is just to conservatively return TagDunno.
  

• 7048ed2e
  by Ben Gamari at 2025-06-17T10:56:43+01:00

  configure: Don't force value of OTOOL, etc. if not present
  
  Previously if `otool` and `install_name_tool` were not present they
  would be overridden by `fp_settings.m4`. This logic was introduced in
  4ff93292243888545da452ea4d4c1987f2343591 without explanation.
  

• 317bf5cd
  by Ben Gamari at 2025-06-17T10:56:43+01:00

  ghc-toolchain: Add support for otool, install_name_tool
  
  Fixes part of ghc#23675.
  

• 0587802e
  by Ben Gamari at 2025-06-17T11:10:27+01:00

  ghc-toolchain: Add support for llc, opt, llvm-as
  
  Fixes #23675.
  

1528 changed files:

• .gitlab-ci.yml
• .gitlab/ci.sh
• .gitlab/generate-ci/gen_ci.hs
• .gitlab/hello.hs
• .gitlab/jobs.yaml
• .gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py
• .gitlab/rel_eng/mk-ghcup-metadata/mk_ghcup_metadata.py
• .gitlab/rel_eng/upload.sh
• compiler/CodeGen.Platform.h
• compiler/GHC.hs
• compiler/GHC/Builtin/Names.hs
• compiler/GHC/Builtin/Names/TH.hs
• compiler/GHC/Builtin/PrimOps/Ids.hs
• compiler/GHC/Builtin/Types.hs
• compiler/GHC/Builtin/primops.txt.pp
• compiler/GHC/ByteCode/Asm.hs
• compiler/GHC/ByteCode/InfoTable.hs
• compiler/GHC/ByteCode/Instr.hs
• compiler/GHC/ByteCode/Linker.hs
• compiler/GHC/ByteCode/Types.hs
• compiler/GHC/Cmm/CLabel.hs
• compiler/GHC/Cmm/Dataflow/Label.hs
• compiler/GHC/Cmm/Lint.hs
• compiler/GHC/Cmm/MachOp.hs
• compiler/GHC/Cmm/Type.hs
• compiler/GHC/CmmToAsm.hs
• compiler/GHC/CmmToAsm/AArch64/CodeGen.hs
• compiler/GHC/CmmToAsm/AArch64/Instr.hs
• compiler/GHC/CmmToAsm/AArch64/Ppr.hs
• compiler/GHC/CmmToAsm/Config.hs
• compiler/GHC/CmmToAsm/Dwarf/Constants.hs
• + compiler/GHC/CmmToAsm/LA64.hs
• + compiler/GHC/CmmToAsm/LA64/CodeGen.hs
• + compiler/GHC/CmmToAsm/LA64/Cond.hs
• + compiler/GHC/CmmToAsm/LA64/Instr.hs
• + compiler/GHC/CmmToAsm/LA64/Ppr.hs
• + compiler/GHC/CmmToAsm/LA64/RegInfo.hs
• + compiler/GHC/CmmToAsm/LA64/Regs.hs
• compiler/GHC/CmmToAsm/PIC.hs
• compiler/GHC/CmmToAsm/PPC/CodeGen.hs
• compiler/GHC/CmmToAsm/RV64/CodeGen.hs
• compiler/GHC/CmmToAsm/RV64/Instr.hs
• compiler/GHC/CmmToAsm/RV64/Ppr.hs
• compiler/GHC/CmmToAsm/Reg/Graph/TrivColorable.hs
• compiler/GHC/CmmToAsm/Reg/Linear.hs
• compiler/GHC/CmmToAsm/Reg/Linear/AArch64.hs
• compiler/GHC/CmmToAsm/Reg/Linear/FreeRegs.hs
• + compiler/GHC/CmmToAsm/Reg/Linear/LA64.hs
• compiler/GHC/CmmToAsm/Reg/Target.hs
• compiler/GHC/CmmToAsm/X86/CodeGen.hs
• compiler/GHC/CmmToAsm/X86/Instr.hs
• compiler/GHC/CmmToAsm/X86/Ppr.hs
• compiler/GHC/CmmToC.hs
• compiler/GHC/CmmToLlvm/Base.hs
• compiler/GHC/CmmToLlvm/CodeGen.hs
• compiler/GHC/CmmToLlvm/Data.hs
• compiler/GHC/Core.hs
• compiler/GHC/Core/Coercion.hs
• compiler/GHC/Core/Coercion/Axiom.hs
• compiler/GHC/Core/Coercion/Opt.hs
• compiler/GHC/Core/DataCon.hs
• compiler/GHC/Core/FamInstEnv.hs
• compiler/GHC/Core/InstEnv.hs
• compiler/GHC/Core/Lint.hs
• compiler/GHC/Core/Make.hs
• compiler/GHC/Core/Map/Expr.hs
• compiler/GHC/Core/Map/Type.hs
• compiler/GHC/Core/Opt/CSE.hs
• compiler/GHC/Core/Opt/ConstantFold.hs
• compiler/GHC/Core/Opt/Simplify/Env.hs
• compiler/GHC/Core/Opt/Simplify/Iteration.hs
• compiler/GHC/Core/Opt/Simplify/Utils.hs
• compiler/GHC/Core/Opt/SpecConstr.hs
• compiler/GHC/Core/Opt/Specialise.hs
• compiler/GHC/Core/Predicate.hs
• compiler/GHC/Core/Rules.hs
• compiler/GHC/Core/Rules/Config.hs
• compiler/GHC/Core/SimpleOpt.hs
• compiler/GHC/Core/Subst.hs
• compiler/GHC/Core/Tidy.hs
• compiler/GHC/Core/TyCo/Compare.hs
• compiler/GHC/Core/TyCo/FVs.hs
• compiler/GHC/Core/TyCo/Ppr.hs
• compiler/GHC/Core/TyCo/Rep.hs
• compiler/GHC/Core/TyCo/Subst.hs
• compiler/GHC/Core/TyCo/Tidy.hs
• compiler/GHC/Core/TyCon.hs
• compiler/GHC/Core/Type.hs
• compiler/GHC/Core/Type.hs-boot
• compiler/GHC/Core/Unify.hs
• compiler/GHC/CoreToIface.hs
• compiler/GHC/CoreToStg.hs
• compiler/GHC/CoreToStg/Prep.hs
• compiler/GHC/Data/Graph/Directed/Reachability.hs
• compiler/GHC/Data/Strict.hs
• compiler/GHC/Data/TrieMap.hs
• compiler/GHC/Driver/Backend.hs
• compiler/GHC/Driver/Backpack.hs
• compiler/GHC/Driver/Config.hs
• compiler/GHC/Driver/Config/CmmToAsm.hs
• compiler/GHC/Driver/Config/StgToCmm.hs
• + compiler/GHC/Driver/Downsweep.hs
• compiler/GHC/Driver/DynFlags.hs
• compiler/GHC/Driver/Env.hs
• compiler/GHC/Driver/Env/Types.hs
• compiler/GHC/Driver/Errors/Ppr.hs
• compiler/GHC/Driver/Errors/Types.hs
• compiler/GHC/Driver/Flags.hs
• compiler/GHC/Driver/Main.hs
• compiler/GHC/Driver/Make.hs
• + compiler/GHC/Driver/MakeAction.hs
• compiler/GHC/Driver/MakeFile.hs
• + compiler/GHC/Driver/Messager.hs
• compiler/GHC/Driver/Pipeline.hs
• compiler/GHC/Driver/Pipeline.hs-boot
• compiler/GHC/Driver/Pipeline/Execute.hs
• compiler/GHC/Driver/Session.hs
• + compiler/GHC/Driver/Session/Units.hs
• compiler/GHC/Hs/Binds.hs
• compiler/GHC/Hs/Decls.hs
• compiler/GHC/Hs/Expr.hs
• compiler/GHC/Hs/Expr.hs-boot
• compiler/GHC/Hs/Extension.hs
• compiler/GHC/Hs/ImpExp.hs
• compiler/GHC/Hs/Instances.hs
• compiler/GHC/Hs/Pat.hs
• compiler/GHC/Hs/Stats.hs
• compiler/GHC/Hs/Syn/Type.hs
• compiler/GHC/Hs/Type.hs
• compiler/GHC/Hs/Utils.hs
• compiler/GHC/HsToCore.hs
• compiler/GHC/HsToCore/Binds.hs
• compiler/GHC/HsToCore/Breakpoints.hs
• compiler/GHC/HsToCore/Docs.hs
• compiler/GHC/HsToCore/Errors/Ppr.hs
• compiler/GHC/HsToCore/Errors/Types.hs
• compiler/GHC/HsToCore/Expr.hs
• compiler/GHC/HsToCore/Foreign/Call.hs
• compiler/GHC/HsToCore/Match.hs
• compiler/GHC/HsToCore/Monad.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/HsToCore/Usage.hs
• compiler/GHC/Iface/Decl.hs
• compiler/GHC/Iface/Ext/Ast.hs
• compiler/GHC/Iface/Flags.hs
• compiler/GHC/Iface/Load.hs
• compiler/GHC/Iface/Make.hs
• compiler/GHC/Iface/Recomp.hs
• compiler/GHC/Iface/Recomp/Binary.hs
• compiler/GHC/Iface/Recomp/Flags.hs
• compiler/GHC/Iface/Recomp/Types.hs
• compiler/GHC/Iface/Rename.hs
• compiler/GHC/Iface/Syntax.hs
• compiler/GHC/Iface/Tidy.hs
• compiler/GHC/Iface/Type.hs
• compiler/GHC/IfaceToCore.hs
• compiler/GHC/IfaceToCore.hs-boot
• compiler/GHC/Linker/Deps.hs
• compiler/GHC/Linker/Loader.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/Annotation.hs
• compiler/GHC/Parser/Errors/Ppr.hs
• compiler/GHC/Parser/Errors/Types.hs
• compiler/GHC/Parser/Header.hs
• compiler/GHC/Parser/Lexer.x
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Parser/PostProcess/Haddock.hs
• compiler/GHC/Parser/String.hs
• compiler/GHC/Platform.hs
• compiler/GHC/Platform/LoongArch64.hs → compiler/GHC/Platform/LA64.hs
• compiler/GHC/Platform/Regs.hs
• compiler/GHC/Rename/Bind.hs
• compiler/GHC/Rename/Env.hs
• compiler/GHC/Rename/Expr.hs
• compiler/GHC/Rename/Fixity.hs
• compiler/GHC/Rename/HsType.hs
• compiler/GHC/Rename/Module.hs
• compiler/GHC/Rename/Names.hs
• compiler/GHC/Rename/Pat.hs
• compiler/GHC/Rename/Splice.hs
• compiler/GHC/Rename/Unbound.hs
• compiler/GHC/Rename/Utils.hs
• compiler/GHC/Runtime/Context.hs
• compiler/GHC/Runtime/Debugger.hs
• + compiler/GHC/Runtime/Debugger/Breakpoints.hs
• compiler/GHC/Runtime/Eval.hs
• compiler/GHC/Runtime/Eval/Types.hs
• + compiler/GHC/Runtime/Eval/Utils.hs
• compiler/GHC/Runtime/Heap/Inspect.hs
• compiler/GHC/Runtime/Interpreter.hs
• compiler/GHC/Runtime/Interpreter/JS.hs
• compiler/GHC/Runtime/Interpreter/Types.hs
• compiler/GHC/Runtime/Interpreter/Wasm.hs
• compiler/GHC/Runtime/Loader.hs
• compiler/GHC/Settings/IO.hs
• compiler/GHC/Stg/CSE.hs
• compiler/GHC/Stg/EnforceEpt/Types.hs
• compiler/GHC/StgToByteCode.hs
• compiler/GHC/StgToCmm/Config.hs
• compiler/GHC/StgToCmm/Prim.hs
• compiler/GHC/StgToJS/Linker/Linker.hs
• compiler/GHC/SysTools/Cpp.hs
• compiler/GHC/SysTools/Process.hs
• compiler/GHC/Tc/Deriv.hs
• compiler/GHC/Tc/Deriv/Generate.hs
• compiler/GHC/Tc/Deriv/Generics.hs
• compiler/GHC/Tc/Deriv/Utils.hs
• compiler/GHC/Tc/Errors.hs
• compiler/GHC/Tc/Errors/Ppr.hs
• compiler/GHC/Tc/Errors/Types.hs
• compiler/GHC/Tc/Gen/App.hs
• compiler/GHC/Tc/Gen/Bind.hs
• compiler/GHC/Tc/Gen/Default.hs
• compiler/GHC/Tc/Gen/Export.hs
• compiler/GHC/Tc/Gen/Expr.hs
• compiler/GHC/Tc/Gen/Head.hs
• compiler/GHC/Tc/Gen/HsType.hs
• compiler/GHC/Tc/Gen/Match.hs
• compiler/GHC/Tc/Gen/Pat.hs
• − compiler/GHC/Tc/Gen/Rule.hs
• compiler/GHC/Tc/Gen/Sig.hs
• compiler/GHC/Tc/Gen/Splice.hs
• compiler/GHC/Tc/Gen/Splice.hs-boot
• compiler/GHC/Tc/Instance/Family.hs
• compiler/GHC/Tc/Instance/FunDeps.hs
• compiler/GHC/Tc/Module.hs
• compiler/GHC/Tc/Plugin.hs
• compiler/GHC/Tc/Solver.hs
• compiler/GHC/Tc/Solver/Default.hs
• compiler/GHC/Tc/Solver/Dict.hs
• compiler/GHC/Tc/Solver/Equality.hs
• compiler/GHC/Tc/Solver/InertSet.hs
• compiler/GHC/Tc/Solver/Irred.hs
• compiler/GHC/Tc/Solver/Monad.hs
• compiler/GHC/Tc/Solver/Rewrite.hs
• compiler/GHC/Tc/Solver/Solve.hs
• compiler/GHC/Tc/Solver/Types.hs
• compiler/GHC/Tc/TyCl.hs
• compiler/GHC/Tc/TyCl/Build.hs
• compiler/GHC/Tc/TyCl/Instance.hs
• compiler/GHC/Tc/TyCl/PatSyn.hs
• compiler/GHC/Tc/TyCl/Utils.hs
• compiler/GHC/Tc/Types.hs
• compiler/GHC/Tc/Types/Constraint.hs
• compiler/GHC/Tc/Types/ErrCtxt.hs
• compiler/GHC/Tc/Types/Evidence.hs
• compiler/GHC/Tc/Types/LclEnv.hs
• compiler/GHC/Tc/Types/Origin.hs
• compiler/GHC/Tc/Types/TH.hs
• compiler/GHC/Tc/Utils/Backpack.hs
• compiler/GHC/Tc/Utils/Concrete.hs
• compiler/GHC/Tc/Utils/Env.hs
• compiler/GHC/Tc/Utils/Instantiate.hs
• compiler/GHC/Tc/Utils/Monad.hs
• compiler/GHC/Tc/Utils/TcMType.hs
• compiler/GHC/Tc/Utils/TcType.hs
• compiler/GHC/Tc/Utils/Unify.hs
• compiler/GHC/Tc/Validity.hs
• compiler/GHC/Tc/Zonk/Env.hs
• compiler/GHC/Tc/Zonk/TcType.hs
• compiler/GHC/Tc/Zonk/Type.hs
• compiler/GHC/ThToHs.hs
• compiler/GHC/Types/Annotations.hs
• compiler/GHC/Types/Avail.hs
• compiler/GHC/Types/Basic.hs
• compiler/GHC/Types/Breakpoint.hs
• compiler/GHC/Types/CostCentre.hs
• compiler/GHC/Types/CostCentre/State.hs
• compiler/GHC/Types/DefaultEnv.hs
• compiler/GHC/Types/Error.hs
• compiler/GHC/Types/Error/Codes.hs
• compiler/GHC/Types/ForeignCall.hs
• compiler/GHC/Types/GREInfo.hs
• compiler/GHC/Types/Hint.hs
• compiler/GHC/Types/Hint/Ppr.hs
• compiler/GHC/Types/Id/Make.hs
• compiler/GHC/Types/Literal.hs
• compiler/GHC/Types/Name.hs
• compiler/GHC/Types/Name/Occurrence.hs
• compiler/GHC/Types/Name/Ppr.hs
• compiler/GHC/Types/Name/Reader.hs
• compiler/GHC/Types/SourceFile.hs
• compiler/GHC/Types/SrcLoc.hs
• + compiler/GHC/Types/ThLevelIndex.hs
• compiler/GHC/Types/TyThing/Ppr.hs
• compiler/GHC/Types/Unique.hs
• compiler/GHC/Types/Var.hs
• compiler/GHC/Types/Var/Env.hs
• compiler/GHC/Unit/Env.hs
• compiler/GHC/Unit/External.hs
• compiler/GHC/Unit/Finder.hs
• compiler/GHC/Unit/Home/Graph.hs
• compiler/GHC/Unit/Home/PackageTable.hs
• compiler/GHC/Unit/Module/Deps.hs
• − compiler/GHC/Unit/Module/External/Graph.hs
• compiler/GHC/Unit/Module/Graph.hs
• compiler/GHC/Unit/Module/Imported.hs
• compiler/GHC/Unit/Module/ModDetails.hs
• compiler/GHC/Unit/Module/ModIface.hs
• compiler/GHC/Unit/Module/ModNodeKey.hs
• compiler/GHC/Unit/Module/ModSummary.hs
• + compiler/GHC/Unit/Module/Stage.hs
• compiler/GHC/Unit/Types.hs
• compiler/GHC/Utils/Binary.hs
• compiler/GHC/Utils/Logger.hs
• compiler/GHC/Utils/Outputable.hs
• compiler/GHC/Utils/Panic.hs
• compiler/GHC/Utils/Panic/Plain.hs
• compiler/Language/Haskell/Syntax/Basic.hs
• compiler/Language/Haskell/Syntax/Binds.hs
• compiler/Language/Haskell/Syntax/Decls.hs
• compiler/Language/Haskell/Syntax/Expr.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• compiler/Language/Haskell/Syntax/ImpExp.hs
• + compiler/Language/Haskell/Syntax/ImpExp/IsBoot.hs
• compiler/Language/Haskell/Syntax/Module/Name.hs
• compiler/Language/Haskell/Syntax/Type.hs
• compiler/Language/Haskell/Syntax/Type.hs-boot
• compiler/ghc.cabal.in
• configure.ac
• docs/users_guide/9.14.1-notes.rst
• docs/users_guide/expected-undocumented-flags.txt
• docs/users_guide/exts/control.rst
• docs/users_guide/exts/data_kinds.rst
• docs/users_guide/exts/explicit_namespaces.rst
• docs/users_guide/exts/ffi.rst
• docs/users_guide/exts/instances.rst
• docs/users_guide/exts/linear_types.rst
• docs/users_guide/exts/monad_comprehensions.rst
• docs/users_guide/exts/named_defaults.rst
• docs/users_guide/exts/parallel_list_comprehensions.rst
• docs/users_guide/exts/pattern_synonyms.rst
• docs/users_guide/exts/pragmas.rst
• docs/users_guide/exts/template_haskell.rst
• docs/users_guide/ghci.rst
• docs/users_guide/javascript.rst
• docs/users_guide/phases.rst
• docs/users_guide/runtime_control.rst
• docs/users_guide/using-optimisation.rst
• docs/users_guide/using-warnings.rst
• docs/users_guide/using.rst
• docs/users_guide/wasm.rst
• + ghc/GHC/Driver/Session/Lint.hs
• + ghc/GHC/Driver/Session/Mode.hs
• ghc/GHCi/UI.hs
• ghc/GHCi/UI/Exception.hs
• ghc/GHCi/UI/Info.hs
• ghc/GHCi/UI/Monad.hs
• ghc/Main.hs
• ghc/ghc-bin.cabal.in
• hadrian/README.md
• hadrian/bindist/config.mk.in
• hadrian/cfg/default.host.target.in
• hadrian/cfg/default.target.in
• hadrian/cfg/system.config.in
• hadrian/doc/flavours.md
• hadrian/doc/user-settings.md
• hadrian/hadrian.cabal
• hadrian/src/CommandLine.hs
• hadrian/src/Context.hs
• hadrian/src/Context/Path.hs
• hadrian/src/Flavour.hs
• hadrian/src/Flavour/Type.hs
• hadrian/src/Hadrian/Haskell/Hash.hs
• hadrian/src/Oracles/Flag.hs
• hadrian/src/Oracles/Setting.hs
• hadrian/src/Rules/BinaryDist.hs
• hadrian/src/Rules/Generate.hs
• hadrian/src/Settings.hs
• hadrian/src/Settings/Builders/Cabal.hs
• hadrian/src/Settings/Builders/Ghc.hs
• hadrian/src/Settings/Builders/RunTest.hs
• hadrian/src/Settings/Default.hs
• hadrian/src/Settings/Flavours/Release.hs
• hadrian/src/Settings/Packages.hs
• hadrian/src/Settings/Warnings.hs
• libffi-tarballs
• libraries/Cabal
• libraries/Win32
• libraries/array
• libraries/base/base.cabal.in
• libraries/base/changelog.md
• libraries/base/src/Control/Exception/Backtrace.hs
• − libraries/base/src/GHC/ExecutionStack/Internal.hs
• libraries/base/src/GHC/JS/Prim/Internal/Build.hs
• libraries/base/src/GHC/RTS/Flags.hs
• libraries/base/src/GHC/Records.hs
• libraries/base/src/GHC/Stats.hs
• − libraries/base/src/GHC/TypeLits/Internal.hs
• − libraries/base/src/GHC/TypeNats/Internal.hs
• libraries/base/src/System/CPUTime/Windows.hsc
• libraries/base/tests/IO/Makefile
• libraries/base/tests/IO/withBinaryFile002.stderr
• libraries/base/tests/IO/withFile002.stderr
• libraries/base/tests/IO/withFileBlocking002.stderr
• libraries/base/tests/perf/encodingAllocations.hs
• libraries/containers
• libraries/directory
• libraries/ghc-boot-th/GHC/Boot/TH/Ppr.hs
• libraries/ghc-boot/GHC/Serialized.hs
• libraries/ghc-boot/ghc-boot.cabal.in
• libraries/ghc-heap/ghc-heap.cabal.in
• + libraries/ghc-internal/cbits/int64x2minmax.c
• + libraries/ghc-internal/cbits/vectorQuotRem.c
• libraries/ghc-internal/ghc-internal.cabal.in
• libraries/ghc-internal/jsbits/base.js
• libraries/ghc-internal/jsbits/errno.js
• libraries/ghc-internal/src/GHC/Internal/Bignum/Integer.hs
• libraries/ghc-internal/src/GHC/Internal/Control/Monad/Fail.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Maybe.hs
• libraries/ghc-internal/src/GHC/Internal/Data/Typeable/Internal.hs
• libraries/ghc-internal/src/GHC/Internal/Exception/Backtrace.hs
• libraries/ghc-internal/src/GHC/Internal/Exception/Type.hs-boot
• libraries/ghc-internal/src/GHC/Internal/Float.hs
• libraries/ghc-internal/src/GHC/Internal/IO.hs-boot
• libraries/ghc-internal/src/GHC/Internal/IO/Exception.hs-boot
• libraries/ghc-internal/src/GHC/Internal/LanguageExtensions.hs
• libraries/ghc-internal/src/GHC/Internal/Numeric.hs
• libraries/ghc-internal/src/GHC/Internal/Real.hs
• libraries/ghc-internal/src/GHC/Internal/System/Posix/Internals.hs
• libraries/ghc-internal/src/GHC/Internal/TH/Lib.hs
• libraries/ghc-internal/src/GHC/Internal/TH/Syntax.hs
• libraries/ghc-internal/src/GHC/Internal/Type/Reflection.hs
• libraries/ghc-internal/src/GHC/Internal/TypeError.hs
• libraries/ghc-internal/src/GHC/Internal/TypeLits.hs
• libraries/ghc-internal/src/GHC/Internal/TypeNats.hs
• libraries/ghc-internal/src/GHC/Internal/Wasm/Prim/Exports.hs
• libraries/ghc-internal/src/GHC/Internal/Wasm/Prim/Imports.hs
• libraries/ghc-internal/src/GHC/Internal/Wasm/Prim/Types.hs
• libraries/ghc-internal/tools/ucd2haskell/ucd2haskell.cabal
• libraries/ghci/GHCi/Message.hs
• libraries/ghci/GHCi/ResolvedBCO.hs
• libraries/ghci/GHCi/Run.hs
• libraries/ghci/GHCi/Server.hs
• libraries/ghci/GHCi/Signals.hs
• libraries/ghci/ghci.cabal.in
• libraries/haskeline
• libraries/hpc
• libraries/process
• libraries/template-haskell/Language/Haskell/TH/Lib.hs
• − libraries/template-haskell/Language/Haskell/TH/Lib/Internal.hs
• libraries/template-haskell/Language/Haskell/TH/Ppr.hs
• libraries/template-haskell/Language/Haskell/TH/PprLib.hs
• libraries/template-haskell/Language/Haskell/TH/Syntax.hs
• libraries/template-haskell/changelog.md
• libraries/template-haskell/template-haskell.cabal.in
• libraries/unix
• llvm-targets
• m4/fp_cc_supports_target.m4
• m4/fp_gcc_supports_no_pie.m4
• m4/fp_settings.m4
• m4/fp_setup_windows_toolchain.m4
• m4/fptools_set_c_ld_flags.m4
• m4/fptools_set_platform_vars.m4
• m4/ghc_tables_next_to_code.m4
• m4/ghc_toolchain.m4
• m4/prep_target_file.m4
• nofib
• rts/Disassembler.c
• rts/Exception.cmm
• rts/Hash.c
• rts/Hash.h
• rts/HeapStackCheck.cmm
• rts/IOManager.c
• rts/Interpreter.c
• rts/Linker.c
• rts/LinkerInternals.h
• rts/PathUtils.c
• rts/PathUtils.h
• rts/PrimOps.cmm
• rts/RtsAPI.c
• rts/RtsSymbols.c
• rts/RtsUtils.c
• rts/StgCRun.c
• rts/include/HsFFI.h
• rts/include/RtsAPI.h
• rts/include/rts/Bytecodes.h
• rts/include/rts/storage/Closures.h
• rts/linker/Elf.c
• rts/linker/LoadNativeObjPosix.c
• rts/linker/MachO.c
• rts/linker/PEi386.c
• rts/linker/PEi386.h
• + rts/linker/ProddableBlocks.c
• + rts/linker/ProddableBlocks.h
• rts/rts.cabal
• rts/sm/Storage.h
• rts/wasm/JSFFI.c
• rts/wasm/blocker.cmm
• rts/wasm/scheduler.cmm
• rts/win32/veh_excn.c
• testsuite/config/ghc
• testsuite/driver/testlib.py
• testsuite/ghc-config/ghc-config.hs
• testsuite/mk/boilerplate.mk
• testsuite/tests/ado/ado004.stderr
• testsuite/tests/annotations/should_fail/annfail03.stderr
• testsuite/tests/annotations/should_fail/annfail04.stderr
• testsuite/tests/annotations/should_fail/annfail06.stderr
• testsuite/tests/annotations/should_fail/annfail09.stderr
• testsuite/tests/backpack/should_fail/bkpfail51.stderr
• testsuite/tests/bytecode/T22376/all.T
• + testsuite/tests/bytecode/T25975.hs
• + testsuite/tests/bytecode/T25975.stdout
• testsuite/tests/bytecode/all.T
• testsuite/tests/callarity/unittest/CallArity1.hs
• testsuite/tests/cmm/should_run/AtomicFetch_cmm.cmm
• + testsuite/tests/cmm/should_run/T25601.hs
• + testsuite/tests/cmm/should_run/T25601.stdout
• + testsuite/tests/cmm/should_run/T25601a.cmm
• testsuite/tests/cmm/should_run/all.T
• + testsuite/tests/codeGen/should_run/T26061.hs
• + testsuite/tests/codeGen/should_run/T26061.stdout
• testsuite/tests/codeGen/should_run/all.T
• + testsuite/tests/core-to-stg/T23865.hs
• testsuite/tests/core-to-stg/all.T
• testsuite/tests/count-deps/CountDepsAst.stdout
• testsuite/tests/count-deps/CountDepsParser.stdout
• + testsuite/tests/deSugar/should_compile/T10251.stderr
• testsuite/tests/deSugar/should_run/DsDoExprFailMsg.stderr
• testsuite/tests/deSugar/should_run/DsMonadCompFailMsg.stderr
• + testsuite/tests/default/T25775.hs
• + testsuite/tests/default/T25775.stderr
• + testsuite/tests/default/T25857.hs
• + testsuite/tests/default/T25857.stderr
• + testsuite/tests/default/T25858.hs
• + testsuite/tests/default/T25858.stdout
• + testsuite/tests/default/T25858v1.hs
• + testsuite/tests/default/T25858v1.stdout
• + testsuite/tests/default/T25858v1_helper.hs
• + testsuite/tests/default/T25858v2.hs
• + testsuite/tests/default/T25858v2.stdout
• + testsuite/tests/default/T25858v2_helper.hs
• + testsuite/tests/default/T25858v3.hs
• + testsuite/tests/default/T25858v3.stdout
• + testsuite/tests/default/T25858v3_helper.hs
• + testsuite/tests/default/T25858v4.hs
• + testsuite/tests/default/T25858v4.stdout
• + testsuite/tests/default/T25882.hs
• + testsuite/tests/default/T25912.hs
• + testsuite/tests/default/T25912.stdout
• + testsuite/tests/default/T25912_helper.hs
• + testsuite/tests/default/T25914.hs
• + testsuite/tests/default/T25934.hs
• testsuite/tests/default/all.T
• testsuite/tests/default/default-fail01.stderr
• testsuite/tests/default/default-fail02.stderr
• testsuite/tests/default/default-fail03.stderr
• testsuite/tests/default/default-fail04.stderr
• testsuite/tests/default/default-fail08.stderr
• + testsuite/tests/dependent/should_compile/GADTSingletons.hs
• + testsuite/tests/dependent/should_compile/T12088a.hs
• + testsuite/tests/dependent/should_compile/T12088b.hs
• + testsuite/tests/dependent/should_compile/T12088c.hs
• + testsuite/tests/dependent/should_compile/T12088d.hs
• + testsuite/tests/dependent/should_compile/T12088e.hs
• + testsuite/tests/dependent/should_compile/T12088f.hs
• + testsuite/tests/dependent/should_compile/T12088g.hs
• + testsuite/tests/dependent/should_compile/T12088i.hs
• + testsuite/tests/dependent/should_compile/T12088j.hs
• + testsuite/tests/dependent/should_compile/T12088mm1.hs
• + testsuite/tests/dependent/should_compile/T12088mm1_helper.hs
• + testsuite/tests/dependent/should_compile/T12088mm2.hs
• + testsuite/tests/dependent/should_compile/T12088mm2_helper.hs
• + testsuite/tests/dependent/should_compile/T12088mm3.hs
• + testsuite/tests/dependent/should_compile/T12088mm3_helper.hs
• + testsuite/tests/dependent/should_compile/T12088sg1.hs
• + testsuite/tests/dependent/should_compile/T12088sg2.hs
• + testsuite/tests/dependent/should_compile/T12088sg3.hs
• + testsuite/tests/dependent/should_compile/T12239.hs
• + testsuite/tests/dependent/should_compile/T13790.hs
• + testsuite/tests/dependent/should_compile/T14668a.hs
• + testsuite/tests/dependent/should_compile/T14668b.hs
• testsuite/tests/dependent/should_compile/T14729.stderr
• + testsuite/tests/dependent/should_compile/T15561.hs
• testsuite/tests/dependent/should_compile/T15743.stderr
• testsuite/tests/dependent/should_compile/T15743e.stderr
• + testsuite/tests/dependent/should_compile/T16410.hs
• + testsuite/tests/dependent/should_compile/T16448.hs
• + testsuite/tests/dependent/should_compile/T16693.hs
• + testsuite/tests/dependent/should_compile/T19611.hs
• + testsuite/tests/dependent/should_compile/T20875.hs
• + testsuite/tests/dependent/should_compile/T21172.hs
• + testsuite/tests/dependent/should_compile/T22257a.hs
• + testsuite/tests/dependent/should_compile/T22257b.hs
• + testsuite/tests/dependent/should_compile/T25238.hs
• + testsuite/tests/dependent/should_compile/T25834.hs
• testsuite/tests/dependent/should_compile/all.T
• testsuite/tests/dependent/should_fail/T11471.stderr
• testsuite/tests/dependent/should_fail/T13135_simple.stderr
• testsuite/tests/dependent/should_fail/T16326_Fail8.stderr
• testsuite/tests/deriving/should_compile/T14682.stderr
• testsuite/tests/deriving/should_compile/T17324.stderr
• testsuite/tests/deriving/should_compile/T17339.stderr
• testsuite/tests/determinism/determ021/determ021.stdout
• testsuite/tests/diagnostic-codes/codes.stdout
• testsuite/tests/driver/Makefile
• + testsuite/tests/driver/RecompCompletePragma/A1.hs
• + testsuite/tests/driver/RecompCompletePragma/A2.hs
• + testsuite/tests/driver/RecompCompletePragma/A3.hs
• + testsuite/tests/driver/RecompCompletePragma/A4.hs
• + testsuite/tests/driver/RecompCompletePragma/B1.hs
• + testsuite/tests/driver/RecompCompletePragma/C1.hs
• + testsuite/tests/driver/RecompCompletePragma/C2.hs
• + testsuite/tests/driver/RecompCompletePragma/C3.hs
• + testsuite/tests/driver/RecompCompletePragma/Makefile
• + testsuite/tests/driver/RecompCompletePragma/RecompCompleteFixity.stderr
• + testsuite/tests/driver/RecompCompletePragma/RecompCompleteFixity.stdout
• + testsuite/tests/driver/RecompCompletePragma/RecompCompleteFixityA.hs
• + testsuite/tests/driver/RecompCompletePragma/RecompCompleteFixityB.hs
• + testsuite/tests/driver/RecompCompletePragma/RecompCompleteIndependence.hs
• + testsuite/tests/driver/RecompCompletePragma/RecompCompleteIndependence.stdout
• + testsuite/tests/driver/RecompCompletePragma/RecompCompletePragma.stderr
• + testsuite/tests/driver/RecompCompletePragma/RecompCompletePragma.stdout
• + testsuite/tests/driver/RecompCompletePragma/RecompCompletePragma2.stdout
• + testsuite/tests/driver/RecompCompletePragma/RecompCompletePragmaA.hs
• + testsuite/tests/driver/RecompCompletePragma/RecompCompletePragmaB.hs
• + testsuite/tests/driver/RecompCompletePragma/all.T
• + testsuite/tests/driver/RecompExportedDefault/A.hs
• + testsuite/tests/driver/RecompExportedDefault/A2.hs
• + testsuite/tests/driver/RecompExportedDefault/A3.hs
• + testsuite/tests/driver/RecompExportedDefault/A4.hs
• + testsuite/tests/driver/RecompExportedDefault/Makefile
• + testsuite/tests/driver/RecompExportedDefault/RecompExportedDefault.hs
• + testsuite/tests/driver/RecompExportedDefault/RecompExportedDefault.stdout
• + testsuite/tests/driver/RecompExportedDefault/all.T
• + testsuite/tests/driver/RecompExports/Makefile
• + testsuite/tests/driver/RecompExports/RecompExports1.stderr
• + testsuite/tests/driver/RecompExports/RecompExports1.stdout
• + testsuite/tests/driver/RecompExports/RecompExports1_M.hs_1
• + testsuite/tests/driver/RecompExports/RecompExports1_M.hs_2
• + testsuite/tests/driver/RecompExports/RecompExports1_M.hs_3
• + testsuite/tests/driver/RecompExports/RecompExports1_N.hs
• + testsuite/tests/driver/RecompExports/RecompExports2.stderr
• + testsuite/tests/driver/RecompExports/RecompExports2.stdout
• + testsuite/tests/driver/RecompExports/RecompExports2_M.hs_1
• + testsuite/tests/driver/RecompExports/RecompExports2_M.hs_2
• + testsuite/tests/driver/RecompExports/RecompExports2_M.hs_3
• + testsuite/tests/driver/RecompExports/RecompExports2_N.hs
• + testsuite/tests/driver/RecompExports/RecompExports3.stderr
• + testsuite/tests/driver/RecompExports/RecompExports3.stdout
• + testsuite/tests/driver/RecompExports/RecompExports3_M.hs_1
• + testsuite/tests/driver/RecompExports/RecompExports3_M.hs_2
• + testsuite/tests/driver/RecompExports/RecompExports3_M.hs_3
• + testsuite/tests/driver/RecompExports/RecompExports3_N.hs
• + testsuite/tests/driver/RecompExports/RecompExports4.stderr
• + testsuite/tests/driver/RecompExports/RecompExports4.stdout
• + testsuite/tests/driver/RecompExports/RecompExports4_M.hs_1
• + testsuite/tests/driver/RecompExports/RecompExports4_M.hs_2
• + testsuite/tests/driver/RecompExports/RecompExports4_N.hs
• + testsuite/tests/driver/RecompExports/RecompExports5.stdout
• + testsuite/tests/driver/RecompExports/RecompExports5_M.hs_1
• + testsuite/tests/driver/RecompExports/RecompExports5_M.hs_2
• + testsuite/tests/driver/RecompExports/RecompExports5_N.hs
• + testsuite/tests/driver/RecompExports/all.T
• testsuite/tests/driver/T20459.stderr
• testsuite/tests/driver/T24196/T24196.stderr
• testsuite/tests/driver/T24275/T24275.stderr
• + testsuite/tests/driver/T4437.stdout
• testsuite/tests/driver/T8526/T8526.stdout
• testsuite/tests/driver/all.T
• testsuite/tests/driver/fat-iface/fat014.stdout
• testsuite/tests/driver/inline-check.stderr
• testsuite/tests/driver/json.stderr
• testsuite/tests/driver/json2.stderr
• testsuite/tests/driver/json_warn.stderr
• testsuite/tests/driver/multipleHomeUnits/multiGHCi.stderr
• testsuite/tests/ffi/should_compile/all.T
• testsuite/tests/ffi/should_run/all.T
• testsuite/tests/gadt/T19847a.stderr
• + testsuite/tests/gadt/T23298.hs
• + testsuite/tests/gadt/T23298.stderr
• testsuite/tests/gadt/all.T
• testsuite/tests/ghc-api/T18522-dbg-ppr.hs
• testsuite/tests/ghc-api/T6145.hs
• testsuite/tests/ghc-api/annotations-literals/literals.hs
• testsuite/tests/ghc-api/annotations-literals/parsed.hs
• testsuite/tests/ghc-api/apirecomp001/myghc.hs
• testsuite/tests/ghc-api/exactprint/Test20239.stderr
• + testsuite/tests/ghc-api/fixed-nodes/FixedNodes.hs
• + testsuite/tests/ghc-api/fixed-nodes/FixedNodes.stdout
• + testsuite/tests/ghc-api/fixed-nodes/InterfaceModuleGraph.hs
• + testsuite/tests/ghc-api/fixed-nodes/InterfaceModuleGraph.stdout
• + testsuite/tests/ghc-api/fixed-nodes/Makefile
• + testsuite/tests/ghc-api/fixed-nodes/ModuleGraphInvariants.hs
• + testsuite/tests/ghc-api/fixed-nodes/ModuleGraphInvariants.stdout
• + testsuite/tests/ghc-api/fixed-nodes/T1.hs
• + testsuite/tests/ghc-api/fixed-nodes/T1A.hs
• + testsuite/tests/ghc-api/fixed-nodes/T1B.hs
• + testsuite/tests/ghc-api/fixed-nodes/T1C.hs
• + testsuite/tests/ghc-api/fixed-nodes/all.T
• testsuite/tests/ghc-api/settings-escape/T11938.hs → testsuite/tests/ghc-api/settings-escape/T24265.hs
• testsuite/tests/ghc-api/settings-escape/T11938.stderr → testsuite/tests/ghc-api/settings-escape/T24265.stderr
• + testsuite/tests/ghc-api/settings-escape/T25204.hs
• + testsuite/tests/ghc-api/settings-escape/T25204.stdout
• + testsuite/tests/ghc-api/settings-escape/T25204_C.c
• testsuite/tests/ghc-api/settings-escape/all.T
• + testsuite/tests/ghc-api/settings-escape/ghc-install-folder/ghc version.h
• testsuite/tests/ghc-api/settings-escape/ghc-install-folder/lib/.gitkeep → testsuite/tests/ghc-api/settings-escape/ghc-install-folder/lib with spaces/.gitkeep
• testsuite/tests/ghc-e/should_fail/T9930fail.stderr
• + testsuite/tests/ghci-browser/all.T
• + testsuite/tests/ghci-browser/browser001.script
• + testsuite/tests/ghci-browser/browser001.stdout
• + testsuite/tests/ghci.debugger/scripts/T25932.hs
• + testsuite/tests/ghci.debugger/scripts/T25932.script
• + testsuite/tests/ghci.debugger/scripts/T25932.stdout
• testsuite/tests/ghci.debugger/scripts/T8487.script
• testsuite/tests/ghci.debugger/scripts/all.T
• testsuite/tests/ghci.debugger/scripts/break018.script
• testsuite/tests/ghci.debugger/scripts/break018.stdout
• + testsuite/tests/ghci.debugger/scripts/break031/Makefile
• + testsuite/tests/ghci.debugger/scripts/break031/a/A.hs
• + testsuite/tests/ghci.debugger/scripts/break031/all.T
• + testsuite/tests/ghci.debugger/scripts/break031/b/B.hs
• + testsuite/tests/ghci.debugger/scripts/break031/break031a.script
• + testsuite/tests/ghci.debugger/scripts/break031/break031a.stdout
• + testsuite/tests/ghci.debugger/scripts/break031/break031b.script
• + testsuite/tests/ghci.debugger/scripts/break031/break031b.stderr
• + testsuite/tests/ghci.debugger/scripts/break031/break031b.stdout
• + testsuite/tests/ghci.debugger/scripts/break031/unitA
• + testsuite/tests/ghci.debugger/scripts/break031/unitB
• testsuite/tests/ghci.debugger/scripts/dynbrk004.stdout
• testsuite/tests/ghci.debugger/scripts/dynbrk007.script
• testsuite/tests/ghci.debugger/scripts/dynbrk007.stdout
• + testsuite/tests/ghci/all.T
• + testsuite/tests/ghci/ghci-mem-primops.hs
• + testsuite/tests/ghci/ghci-mem-primops.script
• + testsuite/tests/ghci/ghci-mem-primops.stdout
• testsuite/tests/ghci/linking/dyn/T3372.hs
• + testsuite/tests/ghci/prog-mhu001/Makefile
• + testsuite/tests/ghci/prog-mhu001/all.T
• + testsuite/tests/ghci/prog-mhu001/e/E.hs
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001a.script
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001a.stdout
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001b.script
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001b.stdout
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001c.script
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001c.stdout
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001d.script
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001d.stdout
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001e.script
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001e.stdout
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001f.script
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001f.stdout
• + testsuite/tests/ghci/prog-mhu001/unitE
• + testsuite/tests/ghci/prog-mhu001/unitE-main-is
• + testsuite/tests/ghci/prog-mhu002/Makefile
• + testsuite/tests/ghci/prog-mhu002/a/A.hs
• + testsuite/tests/ghci/prog-mhu002/all.T
• + testsuite/tests/ghci/prog-mhu002/b/B.hs
• + testsuite/tests/ghci/prog-mhu002/c/C.hs
• + testsuite/tests/ghci/prog-mhu002/d/Main.hs
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002a.script
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002a.stderr
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002a.stdout
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002b.script
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002b.stderr
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002b.stdout
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002c.script
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002c.stdout
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002d.script
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002d.stdout
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002e.script
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002e.stdout
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002f.script
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002f.stdout
• + testsuite/tests/ghci/prog-mhu002/unitA
• + testsuite/tests/ghci/prog-mhu002/unitB
• + testsuite/tests/ghci/prog-mhu002/unitC
• + testsuite/tests/ghci/prog-mhu002/unitD
• + testsuite/tests/ghci/prog-mhu003/Makefile
• + testsuite/tests/ghci/prog-mhu003/a/A.hs
• + testsuite/tests/ghci/prog-mhu003/all.T
• + testsuite/tests/ghci/prog-mhu003/b/Foo.hs
• + testsuite/tests/ghci/prog-mhu003/c/C.hs
• + testsuite/tests/ghci/prog-mhu003/d/Foo.hs
• + testsuite/tests/ghci/prog-mhu003/prog-mhu003.script
• + testsuite/tests/ghci/prog-mhu003/prog-mhu003.stderr
• + testsuite/tests/ghci/prog-mhu003/prog-mhu003.stdout
• + testsuite/tests/ghci/prog-mhu003/unitA
• + testsuite/tests/ghci/prog-mhu003/unitB
• + testsuite/tests/ghci/prog-mhu003/unitC
• + testsuite/tests/ghci/prog-mhu003/unitD
• + testsuite/tests/ghci/prog-mhu004/Makefile
• + testsuite/tests/ghci/prog-mhu004/a/Foo.hs
• + testsuite/tests/ghci/prog-mhu004/all.T
• + testsuite/tests/ghci/prog-mhu004/b/Foo.hs
• + testsuite/tests/ghci/prog-mhu004/prog-mhu004a.script
• + testsuite/tests/ghci/prog-mhu004/prog-mhu004a.stderr
• + testsuite/tests/ghci/prog-mhu004/prog-mhu004a.stdout
• + testsuite/tests/ghci/prog-mhu004/prog-mhu004b.script
• + testsuite/tests/ghci/prog-mhu004/prog-mhu004b.stdout
• + testsuite/tests/ghci/prog-mhu004/unitA
• + testsuite/tests/ghci/prog-mhu004/unitB
• testsuite/tests/ghci/prog010/ghci.prog010.script
• testsuite/tests/ghci/prog018/prog018.stdout
• + testsuite/tests/ghci/prog020/A.hs
• + testsuite/tests/ghci/prog020/B.hs
• + testsuite/tests/ghci/prog020/Makefile
• + testsuite/tests/ghci/prog020/all.T
• + testsuite/tests/ghci/prog020/ghci.prog020.script
• + testsuite/tests/ghci/prog020/ghci.prog020.stderr
• + testsuite/tests/ghci/prog020/ghci.prog020.stdout
• + testsuite/tests/ghci/scripts/GhciPackageRename.hs
• + testsuite/tests/ghci/scripts/GhciPackageRename.script
• + testsuite/tests/ghci/scripts/GhciPackageRename.stdout
• testsuite/tests/ghci/scripts/T12550.stdout
• testsuite/tests/ghci/scripts/T13869.stdout
• testsuite/tests/ghci/scripts/T13997.stdout
• testsuite/tests/ghci/scripts/T17669.stdout
• testsuite/tests/ghci/scripts/T18330.stdout
• testsuite/tests/ghci/scripts/T1914.stdout
• testsuite/tests/ghci/scripts/T20217.stdout
• testsuite/tests/ghci/scripts/T20587.stdout
• testsuite/tests/ghci/scripts/T21110.stderr
• testsuite/tests/ghci/scripts/T4175.stdout
• testsuite/tests/ghci/scripts/T6105.stdout
• testsuite/tests/ghci/scripts/T8042.stdout
• testsuite/tests/ghci/scripts/T8042recomp.stdout
• testsuite/tests/ghci/scripts/T8959b.stderr
• testsuite/tests/ghci/scripts/all.T
• testsuite/tests/ghci/scripts/ghci024.stdout
• testsuite/tests/ghci/scripts/ghci024.stdout-mingw32
• testsuite/tests/ghci/scripts/ghci058.script
• testsuite/tests/ghci/scripts/ghci064.stdout
• + testsuite/tests/ghci/scripts/print-unicode-syntax.script
• + testsuite/tests/ghci/scripts/print-unicode-syntax.stderr
• + testsuite/tests/ghci/scripts/print-unicode-syntax.stdout
• testsuite/tests/ghci/should_run/T11825.stdout
• testsuite/tests/ghci/should_run/TopEnvIface.stdout
• testsuite/tests/haddock/should_compile_flag_haddock/T17544.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T17544_kw.hs
• testsuite/tests/haddock/should_compile_flag_haddock/T17544_kw.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T24221.stderr
• testsuite/tests/hpc/fork/hpc_fork.stdout
• testsuite/tests/hpc/function/tough.stdout
• testsuite/tests/hpc/function2/tough2.stdout
• testsuite/tests/hpc/simple/hpc001.stdout
• testsuite/tests/indexed-types/should_compile/T15711.stderr
• testsuite/tests/indexed-types/should_compile/T15852.stderr
• + testsuite/tests/indexed-types/should_compile/T25657.hs
• testsuite/tests/indexed-types/should_compile/T3017.stderr
• testsuite/tests/indexed-types/should_compile/all.T
• testsuite/tests/indexed-types/should_fail/T3330c.stderr
• testsuite/tests/indexed-types/should_fail/T4174.stderr
• testsuite/tests/indexed-types/should_fail/T8227.stderr
• testsuite/tests/indexed-types/should_fail/T8550.stderr
• testsuite/tests/indexed-types/should_fail/T9662.stderr
• testsuite/tests/interface-stability/README.mkd
• testsuite/tests/interface-stability/all.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/interface-stability/ghc-bignum-exports.stdout
• + testsuite/tests/interface-stability/ghc-prim-exports.stdout
• + testsuite/tests/interface-stability/ghc-prim-exports.stdout-mingw32
• testsuite/tests/interface-stability/template-haskell-exports.stdout
• testsuite/tests/jsffi/all.T
• + testsuite/tests/jsffi/cancel.hs
• + testsuite/tests/jsffi/cancel.mjs
• + testsuite/tests/jsffi/cancel.stdout
• + testsuite/tests/lib/integer/T26017.hs
• + testsuite/tests/lib/integer/T26017.stdout
• testsuite/tests/lib/integer/all.T
• testsuite/tests/lib/integer/integerRecipMod.hs
• testsuite/tests/lib/integer/integerRecipMod.stdout
• + testsuite/tests/linear/should_compile/NonLinearRecord.hs
• testsuite/tests/linear/should_compile/all.T
• + testsuite/tests/linear/should_fail/LinearRecFieldMany.hs
• + testsuite/tests/linear/should_fail/LinearRecFieldMany.stderr
• testsuite/tests/linear/should_fail/LinearTHFail.stderr
• testsuite/tests/linear/should_fail/all.T
• testsuite/tests/linters/notes.stdout
• + testsuite/tests/llvm/should_run/T25770.hs
• + testsuite/tests/llvm/should_run/T25770.stdout
• testsuite/tests/llvm/should_run/all.T
• testsuite/tests/module/T11970A.stderr
• testsuite/tests/module/T21826.stderr
• testsuite/tests/module/all.T
• testsuite/tests/module/mod132.stderr
• testsuite/tests/module/mod147.stderr
• testsuite/tests/module/mod176.stderr
• testsuite/tests/module/mod185.stderr
• testsuite/tests/module/mod58.stderr
• testsuite/tests/module/mod73.hs
• testsuite/tests/module/mod73.stderr
• testsuite/tests/module/mod81.stderr
• testsuite/tests/module/mod91.stderr
• testsuite/tests/numeric/should_run/all.T
• testsuite/tests/numeric/should_run/foundation.hs
• testsuite/tests/numeric/should_run/foundation.stdout
• testsuite/tests/overloadedrecflds/should_fail/overloadedrecfldsfail06.stderr
• testsuite/tests/parser/should_compile/DumpParsedAst.stderr
• testsuite/tests/parser/should_compile/DumpRenamedAst.stderr
• testsuite/tests/parser/should_compile/DumpSemis.stderr
• testsuite/tests/parser/should_compile/KindSigs.stderr
• testsuite/tests/parser/should_compile/OpaqueParseWarn1.stderr
• testsuite/tests/parser/should_compile/T14189.stderr
• testsuite/tests/parser/should_compile/T15279.stderr
• + testsuite/tests/parser/should_compile/T25900.hs
• + testsuite/tests/parser/should_compile/T25900.stderr
• + testsuite/tests/parser/should_compile/T25900_noext.hs
• + testsuite/tests/parser/should_compile/T25900_noext.stderr
• testsuite/tests/parser/should_compile/all.T
• testsuite/tests/parser/should_fail/T3811c.stderr
• testsuite/tests/parser/should_fail/T7848.stderr
• testsuite/tests/parser/should_fail/readFail038.stderr
• testsuite/tests/parser/should_fail/unpack_inside_type.stderr
• + testsuite/tests/parser/should_run/T25937.hs
• + testsuite/tests/parser/should_run/T25937.stdout
• testsuite/tests/parser/should_run/all.T
• + testsuite/tests/parser/should_run/parser_unit_tests.hs
• testsuite/tests/partial-sigs/should_compile/ADT.stderr
• testsuite/tests/partial-sigs/should_compile/AddAndOr1.stderr
• testsuite/tests/partial-sigs/should_compile/AddAndOr2.stderr
• testsuite/tests/partial-sigs/should_compile/AddAndOr3.stderr
• testsuite/tests/partial-sigs/should_compile/AddAndOr4.stderr
• testsuite/tests/partial-sigs/should_compile/AddAndOr5.stderr
• testsuite/tests/partial-sigs/should_compile/AddAndOr6.stderr
• testsuite/tests/partial-sigs/should_compile/BoolToBool.stderr
• testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr
• testsuite/tests/partial-sigs/should_compile/Defaulting1MROn.stderr
• testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr
• testsuite/tests/partial-sigs/should_compile/Defaulting2MROn.stderr
• testsuite/tests/partial-sigs/should_compile/Either.stderr
• testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr
• testsuite/tests/partial-sigs/should_compile/Every.stderr
• testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr
• testsuite/tests/partial-sigs/should_compile/ExpressionSig.stderr
• testsuite/tests/partial-sigs/should_compile/ExpressionSigNamed.stderr
• testsuite/tests/partial-sigs/should_compile/ExtraConstraints1.stderr
• testsuite/tests/partial-sigs/should_compile/ExtraConstraints2.stderr
• testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr
• testsuite/tests/partial-sigs/should_compile/ExtraNumAMROff.stderr
• testsuite/tests/partial-sigs/should_compile/ExtraNumAMROn.stderr
• testsuite/tests/partial-sigs/should_compile/Forall1.stderr
• testsuite/tests/partial-sigs/should_compile/GenNamed.stderr
• testsuite/tests/partial-sigs/should_compile/HigherRank1.stderr
• testsuite/tests/partial-sigs/should_compile/HigherRank2.stderr
• testsuite/tests/partial-sigs/should_compile/LocalDefinitionBug.stderr
• testsuite/tests/partial-sigs/should_compile/Meltdown.stderr
• testsuite/tests/partial-sigs/should_compile/MonoLocalBinds.stderr
• testsuite/tests/partial-sigs/should_compile/NamedTyVar.stderr
• testsuite/tests/partial-sigs/should_compile/NamedWildcardInDataFamilyInstanceLHS.stderr
• testsuite/tests/partial-sigs/should_compile/NamedWildcardInTypeFamilyInstanceLHS.stderr
• testsuite/tests/partial-sigs/should_compile/ParensAroundContext.stderr
• testsuite/tests/partial-sigs/should_compile/PatBind.stderr
• testsuite/tests/partial-sigs/should_compile/PatBind2.stderr
• testsuite/tests/partial-sigs/should_compile/PatternSig.stderr
• testsuite/tests/partial-sigs/should_compile/Recursive.stderr
• testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcards.stderr
• testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcardsGood.stderr
• testsuite/tests/partial-sigs/should_compile/ShowNamed.stderr
• testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr
• testsuite/tests/partial-sigs/should_compile/SkipMany.stderr
• testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr
• testsuite/tests/partial-sigs/should_compile/TypeFamilyInstanceLHS.stderr
• testsuite/tests/partial-sigs/should_compile/Uncurry.stderr
• testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr
• testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr
• testsuite/tests/partial-sigs/should_fail/T10999.stderr
• testsuite/tests/partial-sigs/should_fail/T14040a.stderr
• testsuite/tests/partial-sigs/should_fail/T14584.stderr
• testsuite/tests/partial-sigs/should_fail/WildcardInInstanceHead.stderr
• testsuite/tests/patsyn/should_compile/ImpExp_Exp.hs
• testsuite/tests/patsyn/should_compile/T11959.hs
• testsuite/tests/patsyn/should_compile/T11959.stderr
• testsuite/tests/patsyn/should_compile/T11959Lib.hs
• testsuite/tests/patsyn/should_compile/T13350/boolean/Boolean.hs
• testsuite/tests/patsyn/should_compile/T22521.hs
• testsuite/tests/patsyn/should_compile/T9857.hs
• testsuite/tests/patsyn/should_compile/export.hs
• testsuite/tests/perf/compiler/Makefile
• testsuite/tests/perf/compiler/WWRec.hs
• testsuite/tests/perf/compiler/all.T
• testsuite/tests/perf/compiler/hard_hole_fits.hs
• testsuite/tests/perf/compiler/hard_hole_fits.stderr
• testsuite/tests/perf/should_run/ByteCodeAsm.hs
• testsuite/tests/plugins/T20803-plugin/FixErrorsPlugin.hs
• testsuite/tests/plugins/defaulting-plugin/DefaultLifted.hs
• testsuite/tests/plugins/plugins10.stdout
• testsuite/tests/plugins/static-plugins.stdout
• testsuite/tests/pmcheck/complete_sigs/T25115a.hs
• testsuite/tests/pmcheck/should_compile/T11822.hs
• testsuite/tests/polykinds/T14172.stderr
• testsuite/tests/polykinds/T14270.hs
• testsuite/tests/polykinds/T14846.stderr
• testsuite/tests/polykinds/T15592.stderr
• testsuite/tests/polykinds/T15592b.stderr
• testsuite/tests/polykinds/T18300.hs
• testsuite/tests/polykinds/T18300.stderr
• testsuite/tests/primops/should_run/all.T
• testsuite/tests/printer/Makefile
• testsuite/tests/printer/T17697.stderr
• testsuite/tests/printer/T18052a.stderr
• testsuite/tests/printer/T18791.stderr
• + testsuite/tests/printer/Test25885.hs
• testsuite/tests/printer/all.T
• testsuite/tests/quasiquotation/T3953.stderr
• testsuite/tests/quasiquotation/T7918.hs
• testsuite/tests/quasiquotation/qq001/qq001.stderr
• testsuite/tests/quasiquotation/qq002/qq002.stderr
• testsuite/tests/quasiquotation/qq003/qq003.stderr
• testsuite/tests/quasiquotation/qq004/qq004.stderr
• + testsuite/tests/quotes/QQError.hs
• + testsuite/tests/quotes/QQError.stderr
• testsuite/tests/quotes/T10384.stderr
• + testsuite/tests/quotes/T5721.stderr
• testsuite/tests/quotes/TH_localname.stderr
• testsuite/tests/quotes/all.T
• testsuite/tests/rebindable/DoRestrictedM.hs
• testsuite/tests/rename/should_compile/T12548.hs
• testsuite/tests/rename/should_compile/T14881.stderr
• + testsuite/tests/rename/should_compile/T22581c.hs
• + testsuite/tests/rename/should_compile/T22581c_helper.hs
• + testsuite/tests/rename/should_compile/T22581d.script
• + testsuite/tests/rename/should_compile/T22581d.stdout
• + testsuite/tests/rename/should_compile/T24027.hs
• + testsuite/tests/rename/should_compile/T24027_aux.hs
• + testsuite/tests/rename/should_compile/T24035.hs
• + testsuite/tests/rename/should_compile/T24035_aux.hs
• + testsuite/tests/rename/should_compile/T24035b.hs
• + testsuite/tests/rename/should_compile/T24035b.stderr
• + testsuite/tests/rename/should_compile/T25892.hs
• + testsuite/tests/rename/should_compile/T25892_aux.hs
• + testsuite/tests/rename/should_compile/T25899a.hs
• + testsuite/tests/rename/should_compile/T25899b.hs
• + testsuite/tests/rename/should_compile/T25899c.hs
• + testsuite/tests/rename/should_compile/T25899c_helper.hs
• + testsuite/tests/rename/should_compile/T25899d.script
• + testsuite/tests/rename/should_compile/T25899d.stdout
• + testsuite/tests/rename/should_compile/T25983a.hs
• + testsuite/tests/rename/should_compile/T25983a.stderr
• + testsuite/tests/rename/should_compile/T25983b.hs
• + testsuite/tests/rename/should_compile/T25983b.stderr
• + testsuite/tests/rename/should_compile/T25983c.hs
• + testsuite/tests/rename/should_compile/T25983c.stderr
• + testsuite/tests/rename/should_compile/T25983d.hs
• + testsuite/tests/rename/should_compile/T25983d.stderr
• + testsuite/tests/rename/should_compile/T25983e.hs
• + testsuite/tests/rename/should_compile/T25983e.stderr
• + testsuite/tests/rename/should_compile/T25983f.hs
• + testsuite/tests/rename/should_compile/T25983f.stderr
• + testsuite/tests/rename/should_compile/T25983g.hs
• + testsuite/tests/rename/should_compile/T25983g.stderr
• + testsuite/tests/rename/should_compile/T25984a.hs
• + testsuite/tests/rename/should_compile/T25984a.stderr
• + testsuite/tests/rename/should_compile/T25984a_helper.hs
• + testsuite/tests/rename/should_compile/T25991a.hs
• + testsuite/tests/rename/should_compile/T25991a_helper.hs
• testsuite/tests/rename/should_compile/all.T
• testsuite/tests/rename/should_fail/SimilarNamesImport.stderr
• testsuite/tests/rename/should_fail/T16114.stderr
• testsuite/tests/rename/should_fail/T18240a.stderr
• testsuite/tests/rename/should_fail/T19843c.stderr
• testsuite/tests/rename/should_fail/T22478b.stderr
• + testsuite/tests/rename/should_fail/T22581a.hs
• + testsuite/tests/rename/should_fail/T22581a.stderr
• + testsuite/tests/rename/should_fail/T22581a_helper.hs
• + testsuite/tests/rename/should_fail/T22581b.hs
• + testsuite/tests/rename/should_fail/T22581b.stderr
• + testsuite/tests/rename/should_fail/T22581b_helper.hs
• + testsuite/tests/rename/should_fail/T22688.hs
• + testsuite/tests/rename/should_fail/T22688.stderr
• testsuite/tests/rename/should_fail/T23510a.hs
• testsuite/tests/rename/should_fail/T23510a.stderr
• + testsuite/tests/rename/should_fail/T23982.hs
• + testsuite/tests/rename/should_fail/T23982.stderr
• + testsuite/tests/rename/should_fail/T23982_aux.hs
• + testsuite/tests/rename/should_fail/T23982b.hs
• + testsuite/tests/rename/should_fail/T23982b.stderr
• + testsuite/tests/rename/should_fail/T23982b_aux.hs
• testsuite/tests/rename/should_fail/T25056.stderr
• testsuite/tests/rename/should_fail/T25056a.hs
• + testsuite/tests/rename/should_fail/T25877.hs
• + testsuite/tests/rename/should_fail/T25877.stderr
• + testsuite/tests/rename/should_fail/T25877_aux.hs
• + testsuite/tests/rename/should_fail/T25899e1.hs
• + testsuite/tests/rename/should_fail/T25899e1.stderr
• + testsuite/tests/rename/should_fail/T25899e2.hs
• + testsuite/tests/rename/should_fail/T25899e2.stderr
• + testsuite/tests/rename/should_fail/T25899e3.hs
• + testsuite/tests/rename/should_fail/T25899e3.stderr
• + testsuite/tests/rename/should_fail/T25899e_helper.hs
• + testsuite/tests/rename/should_fail/T25899f.hs
• + testsuite/tests/rename/should_fail/T25899f.stderr
• + testsuite/tests/rename/should_fail/T25899f_helper.hs
• + testsuite/tests/rename/should_fail/T25984b.hs
• + testsuite/tests/rename/should_fail/T25984b.stderr
• + testsuite/tests/rename/should_fail/T25991b1.hs
• + testsuite/tests/rename/should_fail/T25991b1.stderr
• + testsuite/tests/rename/should_fail/T25991b2.hs
• + testsuite/tests/rename/should_fail/T25991b2.stderr
• + testsuite/tests/rename/should_fail/T25991b_helper.hs
• testsuite/tests/rename/should_fail/T5951.stderr
• testsuite/tests/rename/should_fail/T9006.stderr
• testsuite/tests/rename/should_fail/all.T
• testsuite/tests/rep-poly/RepPolyArgument.stderr
• testsuite/tests/rep-poly/RepPolyBackpack1.stderr
• testsuite/tests/rep-poly/RepPolyBinder.stderr
• testsuite/tests/rep-poly/RepPolyDoBind.stderr
• testsuite/tests/rep-poly/RepPolyDoBody1.stderr
• testsuite/tests/rep-poly/RepPolyDoBody2.stderr
• testsuite/tests/rep-poly/RepPolyLeftSection2.stderr
• testsuite/tests/rep-poly/RepPolyMagic.stderr
• testsuite/tests/rep-poly/RepPolyMcBind.stderr
• testsuite/tests/rep-poly/RepPolyMcBody.stderr
• testsuite/tests/rep-poly/RepPolyMcGuard.stderr
• testsuite/tests/rep-poly/RepPolyNPlusK.stderr
• testsuite/tests/rep-poly/RepPolyPatBind.stderr
• testsuite/tests/rep-poly/RepPolyRecordUpdate.stderr
• testsuite/tests/rep-poly/RepPolyRightSection.stderr
• testsuite/tests/rep-poly/RepPolyRule1.stderr
• testsuite/tests/rep-poly/RepPolyTuple.stderr
• testsuite/tests/rep-poly/RepPolyTuple4.stderr
• testsuite/tests/rep-poly/RepPolyTupleSection.stderr
• testsuite/tests/rep-poly/RepPolyWrappedVar.stderr
• testsuite/tests/rep-poly/T11473.stderr
• testsuite/tests/rep-poly/T12709.stderr
• testsuite/tests/rep-poly/T12973.stderr
• testsuite/tests/rep-poly/T13233.stderr
• testsuite/tests/rep-poly/T13929.stderr
• testsuite/tests/rep-poly/T14561.stderr
• testsuite/tests/rep-poly/T14561b.stderr
• testsuite/tests/rep-poly/T17817.stderr
• testsuite/tests/rep-poly/T19615.stderr
• testsuite/tests/rep-poly/T19709b.stderr
• testsuite/tests/rep-poly/T21906.stderr
• testsuite/tests/rep-poly/T23903.stderr
• + testsuite/tests/rep-poly/T26107.hs
• testsuite/tests/rep-poly/UnliftedNewtypesCoerceFail.stderr
• testsuite/tests/rep-poly/all.T
• testsuite/tests/roles/should_compile/Roles1.stderr
• testsuite/tests/roles/should_compile/Roles14.stderr
• testsuite/tests/roles/should_compile/Roles2.stderr
• testsuite/tests/roles/should_compile/Roles3.stderr
• testsuite/tests/roles/should_compile/Roles4.stderr
• testsuite/tests/roles/should_compile/T8958.stderr
• testsuite/tests/rts/T13082/Makefile
• testsuite/tests/rts/T13082/T13082_fail.stderr → testsuite/tests/rts/T13082/T13082_fail.stdout
• + testsuite/tests/rts/TestProddableBlockSet.c
• testsuite/tests/rts/all.T
• testsuite/tests/saks/should_fail/T16722.stderr
• testsuite/tests/saks/should_fail/saks_fail003.stderr
• testsuite/tests/showIface/DocsInHiFile1.stdout
• testsuite/tests/showIface/DocsInHiFileTH.stdout
• testsuite/tests/showIface/HaddockIssue849.stdout
• testsuite/tests/showIface/HaddockOpts.stdout
• testsuite/tests/showIface/HaddockSpanIssueT24378.stdout
• testsuite/tests/showIface/LanguageExts.stdout
• testsuite/tests/showIface/MagicHashInHaddocks.stdout
• testsuite/tests/showIface/NoExportList.stdout
• testsuite/tests/showIface/Orphans.stdout
• testsuite/tests/showIface/PragmaDocs.stdout
• testsuite/tests/showIface/ReExports.stdout
• testsuite/tests/simd/should_run/all.T
• + testsuite/tests/simd/should_run/doublex2_arith.hs
• + testsuite/tests/simd/should_run/doublex2_arith.stdout
• + testsuite/tests/simd/should_run/doublex2_arith_baseline.hs
• + testsuite/tests/simd/should_run/doublex2_arith_baseline.stdout
• + testsuite/tests/simd/should_run/doublex2_fma.hs
• + testsuite/tests/simd/should_run/doublex2_fma.stdout
• + testsuite/tests/simd/should_run/floatx4_arith.hs
• + testsuite/tests/simd/should_run/floatx4_arith.stdout
• + testsuite/tests/simd/should_run/floatx4_arith_baseline.hs
• + testsuite/tests/simd/should_run/floatx4_arith_baseline.stdout
• + testsuite/tests/simd/should_run/floatx4_fma.hs
• + testsuite/tests/simd/should_run/floatx4_fma.stdout
• + testsuite/tests/simd/should_run/int16x8_arith.hs
• + testsuite/tests/simd/should_run/int16x8_arith.stdout
• + testsuite/tests/simd/should_run/int16x8_arith_baseline.hs
• + testsuite/tests/simd/should_run/int16x8_arith_baseline.stdout
• + testsuite/tests/simd/should_run/int16x8_shuffle.hs
• + testsuite/tests/simd/should_run/int16x8_shuffle.stdout
• + testsuite/tests/simd/should_run/int16x8_shuffle_baseline.hs
• + testsuite/tests/simd/should_run/int16x8_shuffle_baseline.stdout
• + testsuite/tests/simd/should_run/int32x4_arith.hs
• + testsuite/tests/simd/should_run/int32x4_arith.stdout
• + testsuite/tests/simd/should_run/int32x4_arith_baseline.hs
• + testsuite/tests/simd/should_run/int32x4_arith_baseline.stdout
• + testsuite/tests/simd/should_run/int32x4_shuffle.hs
• + testsuite/tests/simd/should_run/int32x4_shuffle.stdout
• + testsuite/tests/simd/should_run/int32x4_shuffle_baseline.hs
• + testsuite/tests/simd/should_run/int32x4_shuffle_baseline.stdout
• + testsuite/tests/simd/should_run/int64x2_arith.hs
• + testsuite/tests/simd/should_run/int64x2_arith.stdout
• + testsuite/tests/simd/should_run/int64x2_arith_baseline.hs
• + testsuite/tests/simd/should_run/int64x2_arith_baseline.stdout
• + testsuite/tests/simd/should_run/int64x2_shuffle.hs
• + testsuite/tests/simd/should_run/int64x2_shuffle.stdout
• + testsuite/tests/simd/should_run/int64x2_shuffle_baseline.hs
• + testsuite/tests/simd/should_run/int64x2_shuffle_baseline.stdout
• + testsuite/tests/simd/should_run/int8x16_arith.hs
• + testsuite/tests/simd/should_run/int8x16_arith.stdout
• + testsuite/tests/simd/should_run/int8x16_arith_baseline.hs
• + testsuite/tests/simd/should_run/int8x16_arith_baseline.stdout
• + testsuite/tests/simd/should_run/int8x16_shuffle.hs
• + testsuite/tests/simd/should_run/int8x16_shuffle.stdout
• + testsuite/tests/simd/should_run/int8x16_shuffle_baseline.hs
• + testsuite/tests/simd/should_run/int8x16_shuffle_baseline.stdout
• + testsuite/tests/simd/should_run/word16x8_arith.hs
• + testsuite/tests/simd/should_run/word16x8_arith.stdout
• + testsuite/tests/simd/should_run/word16x8_arith_baseline.hs
• + testsuite/tests/simd/should_run/word16x8_arith_baseline.stdout
• + testsuite/tests/simd/should_run/word32x4_arith.hs
• + testsuite/tests/simd/should_run/word32x4_arith.stdout
• + testsuite/tests/simd/should_run/word32x4_arith_baseline.hs
• + testsuite/tests/simd/should_run/word32x4_arith_baseline.stdout
• + testsuite/tests/simd/should_run/word64x2_arith.hs
• + testsuite/tests/simd/should_run/word64x2_arith.stdout
• + testsuite/tests/simd/should_run/word64x2_arith_baseline.hs
• + testsuite/tests/simd/should_run/word64x2_arith_baseline.stdout
• + testsuite/tests/simd/should_run/word8x16_arith.hs
• + testsuite/tests/simd/should_run/word8x16_arith.stdout
• + testsuite/tests/simd/should_run/word8x16_arith_baseline.hs
• + testsuite/tests/simd/should_run/word8x16_arith_baseline.stdout
• + testsuite/tests/simplCore/should_compile/DsSpecPragmas.hs
• + testsuite/tests/simplCore/should_compile/DsSpecPragmas.stderr
• testsuite/tests/simplCore/should_compile/Makefile
• testsuite/tests/simplCore/should_compile/RewriteHigherOrderPatterns.stderr
• testsuite/tests/simplCore/should_compile/T12603.stdout
• testsuite/tests/simplCore/should_compile/T15186.hs
• testsuite/tests/simplCore/should_compile/T15186A.hs
• testsuite/tests/simplCore/should_compile/T15445.stderr
• testsuite/tests/simplCore/should_compile/T18013.stderr
• testsuite/tests/simplCore/should_compile/T18668.stderr
• testsuite/tests/simplCore/should_compile/T23307c.stderr
• + testsuite/tests/simplCore/should_compile/T24359a.hs
• + testsuite/tests/simplCore/should_compile/T24359a.stderr
• + testsuite/tests/simplCore/should_compile/T25389.hs
• + testsuite/tests/simplCore/should_compile/T25389.stderr
• + testsuite/tests/simplCore/should_compile/T25703.hs
• + testsuite/tests/simplCore/should_compile/T25703.stderr
• + testsuite/tests/simplCore/should_compile/T25703a.hs
• + testsuite/tests/simplCore/should_compile/T25703a.stderr
• + testsuite/tests/simplCore/should_compile/T25883.hs
• + testsuite/tests/simplCore/should_compile/T25883.substr-simpl
• + testsuite/tests/simplCore/should_compile/T25883b.hs
• + testsuite/tests/simplCore/should_compile/T25883b.substr-simpl
• + testsuite/tests/simplCore/should_compile/T25883c.hs
• + testsuite/tests/simplCore/should_compile/T25883c.substr-simpl
• + testsuite/tests/simplCore/should_compile/T25883d.hs
• + testsuite/tests/simplCore/should_compile/T25883d.stderr
• + testsuite/tests/simplCore/should_compile/T25883d_import.hs
• + testsuite/tests/simplCore/should_compile/T25965.hs
• + testsuite/tests/simplCore/should_compile/T25976.hs
• + testsuite/tests/simplCore/should_compile/T3990b.hs
• + testsuite/tests/simplCore/should_compile/T3990b.stdout
• + testsuite/tests/simplCore/should_compile/T3990c.hs
• + testsuite/tests/simplCore/should_compile/T3990c.stdout
• testsuite/tests/simplCore/should_compile/T4398.stderr
• testsuite/tests/simplCore/should_compile/T5821.hs
• testsuite/tests/simplCore/should_compile/T8537.stderr
• + testsuite/tests/simplCore/should_compile/T9578b.hs
• testsuite/tests/simplCore/should_compile/all.T
• − testsuite/tests/simplCore/should_compile/simpl016.stderr
• testsuite/tests/simplCore/should_compile/simpl017.stderr
• + testsuite/tests/simplCore/should_fail/T25117a.hs
• + testsuite/tests/simplCore/should_fail/T25117a.stderr
• + testsuite/tests/simplCore/should_fail/T25117b.hs
• + testsuite/tests/simplCore/should_fail/T25117b.stderr
• + testsuite/tests/simplCore/should_fail/T25672.hs
• + testsuite/tests/simplCore/should_fail/T25672.stderr
• testsuite/tests/simplCore/should_fail/all.T
• + testsuite/tests/simplCore/should_run/T23429.hs
• + testsuite/tests/simplCore/should_run/T23429.stdout
• + testsuite/tests/simplCore/should_run/T24359b.hs
• + testsuite/tests/simplCore/should_run/T24359b.stdout
• testsuite/tests/simplCore/should_run/all.T
• + testsuite/tests/splice-imports/ClassA.hs
• + testsuite/tests/splice-imports/InstanceA.hs
• + testsuite/tests/splice-imports/Makefile
• + testsuite/tests/splice-imports/SI01.hs
• + testsuite/tests/splice-imports/SI01A.hs
• + testsuite/tests/splice-imports/SI02.hs
• + testsuite/tests/splice-imports/SI03.hs
• + testsuite/tests/splice-imports/SI03.stderr
• + testsuite/tests/splice-imports/SI04.hs
• + testsuite/tests/splice-imports/SI05.hs
• + testsuite/tests/splice-imports/SI05.stderr
• + testsuite/tests/splice-imports/SI05A.hs
• + testsuite/tests/splice-imports/SI06.hs
• + testsuite/tests/splice-imports/SI07.hs
• + testsuite/tests/splice-imports/SI07.stderr
• + testsuite/tests/splice-imports/SI07A.hs
• + testsuite/tests/splice-imports/SI08.hs
• + testsuite/tests/splice-imports/SI08.stderr
• + testsuite/tests/splice-imports/SI08_oneshot.stderr
• + testsuite/tests/splice-imports/SI09.hs
• + testsuite/tests/splice-imports/SI10.hs
• + testsuite/tests/splice-imports/SI13.hs
• + testsuite/tests/splice-imports/SI14.hs
• + testsuite/tests/splice-imports/SI14.stderr
• + testsuite/tests/splice-imports/SI15.hs
• + testsuite/tests/splice-imports/SI15.stderr
• + testsuite/tests/splice-imports/SI16.hs
• + testsuite/tests/splice-imports/SI16.stderr
• + testsuite/tests/splice-imports/SI17.hs
• + testsuite/tests/splice-imports/SI18.hs
• + testsuite/tests/splice-imports/SI18.stderr
• + testsuite/tests/splice-imports/SI19.hs
• + testsuite/tests/splice-imports/SI19A.hs
• + testsuite/tests/splice-imports/SI20.hs
• + testsuite/tests/splice-imports/SI20.stderr
• + testsuite/tests/splice-imports/SI21.hs
• + testsuite/tests/splice-imports/SI21.stderr
• + testsuite/tests/splice-imports/SI22.hs
• + testsuite/tests/splice-imports/SI22.stderr
• + testsuite/tests/splice-imports/SI23.hs
• + testsuite/tests/splice-imports/SI23A.hs
• + testsuite/tests/splice-imports/SI24.hs
• + testsuite/tests/splice-imports/SI25.hs
• + testsuite/tests/splice-imports/SI25.stderr
• + testsuite/tests/splice-imports/SI25Helper.hs
• + testsuite/tests/splice-imports/SI26.hs
• + testsuite/tests/splice-imports/SI27.hs
• + testsuite/tests/splice-imports/SI27.stderr
• + testsuite/tests/splice-imports/SI28.hs
• + testsuite/tests/splice-imports/SI28.stderr
• + testsuite/tests/splice-imports/SI29.hs
• + testsuite/tests/splice-imports/SI29.stderr
• + testsuite/tests/splice-imports/SI30.script
• + testsuite/tests/splice-imports/SI30.stdout
• + testsuite/tests/splice-imports/SI31.script
• + testsuite/tests/splice-imports/SI31.stderr
• + testsuite/tests/splice-imports/SI32.script
• + testsuite/tests/splice-imports/SI32.stdout
• + testsuite/tests/splice-imports/SI33.script
• + testsuite/tests/splice-imports/SI33.stdout
• + testsuite/tests/splice-imports/SI34.hs
• + testsuite/tests/splice-imports/SI34.stderr
• + testsuite/tests/splice-imports/SI34M1.hs
• + testsuite/tests/splice-imports/SI34M2.hs
• + testsuite/tests/splice-imports/SI35.hs
• + testsuite/tests/splice-imports/SI35A.hs
• + testsuite/tests/splice-imports/SI36.hs
• + testsuite/tests/splice-imports/SI36.stderr
• + testsuite/tests/splice-imports/SI36_A.hs
• + testsuite/tests/splice-imports/SI36_B1.hs
• + testsuite/tests/splice-imports/SI36_B2.hs
• + testsuite/tests/splice-imports/SI36_B3.hs
• + testsuite/tests/splice-imports/SI36_C1.hs
• + testsuite/tests/splice-imports/SI36_C2.hs
• + testsuite/tests/splice-imports/SI36_C3.hs
• + testsuite/tests/splice-imports/all.T
• + testsuite/tests/th/QQInQuote.hs
• + testsuite/tests/th/QQTopError.hs
• + testsuite/tests/th/QQTopError.stderr
• testsuite/tests/th/T10598_TH.stderr
• + testsuite/tests/th/T13123.stderr
• testsuite/tests/th/T14681.stderr
• testsuite/tests/th/T15321.stderr
• testsuite/tests/th/T15365.stderr
• testsuite/tests/th/T16976z.stderr
• testsuite/tests/th/T17804.stderr
• testsuite/tests/th/T17820a.stderr
• testsuite/tests/th/T17820b.stderr
• testsuite/tests/th/T17820c.stderr
• testsuite/tests/th/T17820d.stderr
• testsuite/tests/th/T17820e.stderr
• testsuite/tests/th/T1835.stdout
• testsuite/tests/th/T19363.stdout
• testsuite/tests/th/T21547.stderr
• testsuite/tests/th/T23829_hasty.stderr
• testsuite/tests/th/T23829_hasty_b.stderr
• testsuite/tests/th/T23829_tardy.ghc.stderr
• testsuite/tests/th/T5508.stderr
• testsuite/tests/th/T5795.stderr
• testsuite/tests/th/T7064.stdout
• testsuite/tests/th/TH_Lift.stderr
• testsuite/tests/th/TH_Roles2.stderr
• testsuite/tests/th/TH_pragma.hs
• testsuite/tests/th/TH_pragma.stderr
• testsuite/tests/th/all.T
• testsuite/tests/th/overloaded/TH_overloaded_constraints_fail.stderr
• testsuite/tests/typecheck/no_skolem_info/T14040.stderr
• testsuite/tests/typecheck/should_compile/InstanceGivenOverlap.hs
• testsuite/tests/typecheck/should_compile/LoopOfTheDay1.hs
• testsuite/tests/typecheck/should_compile/LoopOfTheDay2.hs
• testsuite/tests/typecheck/should_compile/LoopOfTheDay3.hs
• + testsuite/tests/typecheck/should_compile/RuleEqs.hs
• + testsuite/tests/typecheck/should_compile/RuleEqs.stderr
• testsuite/tests/typecheck/should_compile/T10504.stderr
• testsuite/tests/typecheck/should_compile/T12763.stderr
• testsuite/tests/typecheck/should_compile/T18406b.stderr
• testsuite/tests/typecheck/should_compile/T18529.stderr
• testsuite/tests/typecheck/should_compile/T21023.stderr
• testsuite/tests/typecheck/should_compile/T2494.stderr
• testsuite/tests/typecheck/should_compile/T25266a.stderr
• + testsuite/tests/typecheck/should_compile/T25960.hs
• + testsuite/tests/typecheck/should_compile/T25992.hs
• + testsuite/tests/typecheck/should_compile/T25992.stderr
• + testsuite/tests/typecheck/should_compile/T26020.hs
• + testsuite/tests/typecheck/should_compile/T26020a.hs
• + testsuite/tests/typecheck/should_compile/T26020a_help.hs
• + testsuite/tests/typecheck/should_compile/T26030.hs
• testsuite/tests/typecheck/should_compile/T7050.stderr
• + testsuite/tests/typecheck/should_compile/TcSpecPragmas.hs
• + testsuite/tests/typecheck/should_compile/TcSpecPragmas.stderr
• testsuite/tests/typecheck/should_compile/TypeRepCon.hs
• testsuite/tests/typecheck/should_compile/all.T
• testsuite/tests/typecheck/should_compile/subsumption_sort_hole_fits.stderr
• testsuite/tests/typecheck/should_compile/tc186.hs
• testsuite/tests/typecheck/should_compile/tc212.hs
• testsuite/tests/typecheck/should_compile/valid_hole_fits.stderr
• testsuite/tests/typecheck/should_fail/ExplicitSpecificity5.stderr
• testsuite/tests/typecheck/should_fail/ExplicitSpecificity6.stderr
• + testsuite/tests/typecheck/should_fail/SpecPragmasFail.hs
• + testsuite/tests/typecheck/should_fail/SpecPragmasFail.stderr
• testsuite/tests/typecheck/should_fail/T12729.stderr
• testsuite/tests/typecheck/should_fail/T12921.stderr
• testsuite/tests/typecheck/should_fail/T16204c.stderr
• testsuite/tests/typecheck/should_fail/T16394.stderr
• testsuite/tests/typecheck/should_fail/T18851.stderr
• testsuite/tests/typecheck/should_fail/T19978.stderr
• + testsuite/tests/typecheck/should_fail/T24090a.hs
• + testsuite/tests/typecheck/should_fail/T24090a.stderr
• + testsuite/tests/typecheck/should_fail/T24090b.hs
• + testsuite/tests/typecheck/should_fail/T24090b.stderr
• + testsuite/tests/typecheck/should_fail/T25004k.hs
• + testsuite/tests/typecheck/should_fail/T25004k.stderr
• + testsuite/tests/typecheck/should_fail/T25950.hs
• + testsuite/tests/typecheck/should_fail/T25950.stderr
• + testsuite/tests/typecheck/should_fail/T26004.hs
• + testsuite/tests/typecheck/should_fail/T26004.stderr
• + testsuite/tests/typecheck/should_fail/T26015.hs
• + testsuite/tests/typecheck/should_fail/T26015.stderr
• testsuite/tests/typecheck/should_fail/T3966.stderr
• + testsuite/tests/typecheck/should_fail/T3966b.hs
• + testsuite/tests/typecheck/should_fail/T3966b.stderr
• testsuite/tests/typecheck/should_fail/T5853.stderr
• testsuite/tests/typecheck/should_fail/T6018fail.stderr
• testsuite/tests/typecheck/should_fail/T7210.stderr
• testsuite/tests/typecheck/should_fail/T7453.stderr
• testsuite/tests/typecheck/should_fail/T7696.stderr
• testsuite/tests/typecheck/should_fail/T8603.stderr
• testsuite/tests/typecheck/should_fail/all.T
• testsuite/tests/typecheck/should_fail/tcfail097.stderr
• + testsuite/tests/typecheck/should_run/T25529.hs
• + testsuite/tests/typecheck/should_run/T25529.stdout
• + testsuite/tests/typecheck/should_run/T25998.hs
• + testsuite/tests/typecheck/should_run/T25998.stdout
• testsuite/tests/typecheck/should_run/all.T
• testsuite/tests/unboxedsums/unpack_sums_5.stderr
• + testsuite/tests/vdq-rta/should_fail/T23738_fail_pun.hs
• + testsuite/tests/vdq-rta/should_fail/T23738_fail_pun.stderr
• testsuite/tests/vdq-rta/should_fail/all.T
• testsuite/tests/warnings/should_compile/DataToTagWarnings.hs
• + testsuite/tests/warnings/should_compile/SpecMultipleTys.hs
• + testsuite/tests/warnings/should_compile/SpecMultipleTys.stderr
• testsuite/tests/warnings/should_compile/T14794a.hs
• testsuite/tests/warnings/should_compile/T14794a.stderr
• testsuite/tests/warnings/should_compile/T14794b.hs
• testsuite/tests/warnings/should_compile/T14794b.stderr
• testsuite/tests/warnings/should_compile/T14794c.hs
• testsuite/tests/warnings/should_compile/T14794c.stderr
• testsuite/tests/warnings/should_compile/T14794d.hs
• testsuite/tests/warnings/should_compile/T14794d.stderr
• testsuite/tests/warnings/should_compile/T14794e.hs
• testsuite/tests/warnings/should_compile/T14794e.stderr
• testsuite/tests/warnings/should_compile/T14794f.hs
• testsuite/tests/warnings/should_compile/T14794f.stderr
• testsuite/tests/warnings/should_compile/T19296.stderr
• testsuite/tests/warnings/should_compile/WarnNoncanonical.stderr
• testsuite/tests/warnings/should_compile/all.T
• + testsuite/tests/warnings/should_fail/SpecEMultipleTys.hs
• + testsuite/tests/warnings/should_fail/SpecEMultipleTys.stderr
• testsuite/tests/warnings/should_fail/all.T
• testsuite/tests/wasm/should_run/control-flow/README.md
• − testsuite/tests/wasm/should_run/control-flow/WasmControlFlow.stdout
• testsuite/tests/wasm/should_run/control-flow/all.T
• testsuite/tests/wcompat-warnings/Template.hs
• testsuite/tests/wcompat-warnings/WCompatWarningsOn.stderr
• utils/check-exact/ExactPrint.hs
• utils/check-exact/Parsers.hs
• utils/count-deps/Main.hs
• utils/dump-decls/Main.hs
• utils/genprimopcode/Main.hs
• utils/genprimopcode/Syntax.hs
• utils/ghc-toolchain/exe/Main.hs
• utils/ghc-toolchain/src/GHC/Toolchain/Target.hs
• utils/ghc-toolchain/src/GHC/Toolchain/Tools/Cc.hs
• utils/ghc-toolchain/src/GHC/Toolchain/Tools/Link.hs
• utils/haddock/haddock-api/resources/html/Linuwial.std-theme/linuwial.css
• utils/haddock/haddock-api/src/Haddock/Backends/Hoogle.hs
• utils/haddock/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs
• utils/haddock/haddock-api/src/Haddock/Backends/LaTeX.hs
• utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
• utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Utils.hs
• utils/haddock/haddock-api/src/Haddock/Convert.hs
• utils/haddock/haddock-api/src/Haddock/GhcUtils.hs
• utils/haddock/haddock-api/src/Haddock/Interface.hs
• utils/haddock/haddock-api/src/Haddock/Interface/Create.hs
• utils/haddock/haddock-api/src/Haddock/Interface/LexParseRn.hs
• utils/haddock/haddock-api/src/Haddock/Interface/Rename.hs
• utils/haddock/haddock-api/src/Haddock/Interface/RenameType.hs
• utils/haddock/haddock-api/src/Haddock/Types.hs
• utils/haddock/haddock-library/haddock-library.cabal
• utils/haddock/haddock-library/src/Documentation/Haddock/Parser.hs
• utils/haddock/haddock-library/test/Documentation/Haddock/ParserSpec.hs
• utils/haddock/html-test/ref/Bug1004.html
• utils/haddock/html-test/ref/Bug548.html
• utils/haddock/html-test/ref/Bug973.html
• utils/haddock/html-test/ref/Hash.html
• utils/haddock/html-test/ref/ImplicitParams.html
• utils/haddock/html-test/ref/Instances.html
• utils/haddock/html-test/ref/LinearTypes.html
• utils/haddock/html-test/ref/PatternSyns.html
• utils/haddock/html-test/ref/QuasiExpr.html
• utils/haddock/html-test/ref/TH.html
• utils/haddock/html-test/ref/Threaded_TH.html
• utils/haddock/html-test/ref/TypeOperators.html
• utils/haddock/html-test/src/LinearTypes.hs
• utils/haddock/html-test/src/TypeOperators.hs
• utils/haddock/hypsrc-test/ref/src/Quasiquoter.html
• utils/haddock/latex-test/ref/LinearTypes/LinearTypes.tex
• utils/haddock/latex-test/src/LinearTypes/LinearTypes.hs
• utils/hpc
• utils/hsc2hs
• utils/iserv/iserv.cabal.in
• utils/jsffi/dyld.mjs
• utils/jsffi/post-link.mjs
• utils/jsffi/prelude.mjs
• utils/llvm-targets/gen-data-layout.sh

The diff was not included because it is too large.