<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">

<html lang="en" style='--code-editor-font: var(--default-mono-font, "GitLab Mono"), JetBrains Mono, Menlo, DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;'>

<head>

<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">

<title>

GitLab

</title>

<style data-premailer="ignore" type="text/css">

a { color: #1068bf; }

</style>

<style>img {

max-width: 100%; height: auto;

}

body {

font-size: .875rem;

}

body {

-webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px;

}

body {

font-family: "GitLab Sans",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size: inherit;

}

</style>

</head>

<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px; font-family: "GitLab Sans",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";'>

<div class="content">

<h3 style="margin-top: 20px; margin-bottom: 10px;">

Serge S. Gulin pushed to branch wip/llvm-debug-info at <a href="https://gitlab.haskell.org/ghc/ghc">Glasgow Haskell Compiler / GHC</a>

</h3>

<h4 style="margin-top: 10px; margin-bottom: 10px;">

Commits:

</h4>

<ul>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/023f36f516aa4bd9453903d5039cf8eec6010731">023f36f5</a></strong>

<div>

<span> by Rodrigo Mesquita </span> <i> at 2025-01-10T14:57:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>user_guide: Note -pgmP/-optP are for /Haskell/-CPP

Fixes #25574

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e1c133f2fed2c006b1158fc2d6b33aa8b9069b2e">e1c133f2</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-01-10T14:58:25-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>dump-decls: Suppress unit-ids

While the testsuite driver already normalizes these away, they are

nevertheless a severe nuisance when diffing outside of the testsuite.

Intriguingly, this doesn't completely eliminate the unit IDs; some

wired-in names are still printed. However, this is a cheap and helpful

improvement over the status quo so I am simply going to accept this.

Fixes #25334.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2e7bf4467ba6ac39340453f4a03eac105bb8e653">2e7bf446</a></strong>

<div>

<span> by sheaf </span> <i> at 2025-01-13T10:55:26+01:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Remove SDocs from ErrCtxt & ErrInfo

This commit:

  - turns the SDoc used in ErrCtxt into a proper error datatype,

    ErrCtxtMsg, which contains all the different error contexts that

    can be added,

  - replaces ErrInfo with [ErrCtxt].

    ErrInfo used to contain two SDocs; the first is replaced with [ErrCtxt],

    and the second is removed, with the relevant information being put

    in the appropriate error message constructors.

Fixes #23436

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2d62b970b79b61138bca678761cc745911d9125d">2d62b970</a></strong>

<div>

<span> by Mike Pilgrem </span> <i> at 2025-01-13T12:59:10-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Re CLC #300 - Specify fmap for NonEmpty as map

See:

* https://github.com/haskell/core-libraries-committee/issues/300

Seeks to:

* move existing instances for NonEmpty (except of Eq and Ord) out of GHC.Internal.Base into new GHC.Internal.Data.NonEmpty (to avoid otherwise unavoidable cycles in the module graph);

* move map out of Data.List.NonEmpty (base package) into GHC.Internal.Data.NonEmpty;

* define fmap as map for NonEmpty instance of Functor, avoiding code duplication;

* re-export map from existing GHC.Internal.Data.List.NonEmpty; and

* re-export map from Data.List.NonEmpty (base package);

without breaking anything in the GHC repository.

Various tests *.stdout and *.stderr files are amended also.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/ab3ab3e3d489a351e84f4fe681de1731549376a2">ab3ab3e3</a></strong>

<div>

<span> by Luite Stegeman </span> <i> at 2025-01-13T12:59:58-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>compiler/coreprep: Turn off dictionary speculation by default

Speculative evaluation can cause performance regressions,

therefore we turn it off by default. It can be enabled again

with the -fspec-eval-dictfun flag

See #25284

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3d9cacd5b09019c4ce2ccea9a509220bb44e36a2">3d9cacd5</a></strong>

<div>

<span> by Patrick </span> <i> at 2025-01-14T02:34:46+08:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Enhance kind inference for data family instances

This commit improves kind inference for data family instances by kind-checking

the constructors, for H98 and newtype declarations (ONLY), as well as

kind-checking the result kind signature (when using GADT syntax).

This fixes #25611.

Typechecker changes:

In `tcDataFamInstHeader`, we now kind-check the constructors using

`kcConDecls`, for H98-style decls and newtype decls ONLY.

See Note [Kind inference for data family instances].

Testsuite changes:

  - The T25611{a,b,c,d} tests test the new kind inference implementation.

    - a,b: infer result kind from constructors (H98 case)

    - c: renamed version of test UnliftedNewtypesUnassociatedFamilyFail,

      which now passes

    - d: GADT case, checking that we don't infer overly rigid kinds when

         kind-checking the constructors in data family instances.

 - DataInstanceKindsDefaults tests defaulting data instance kinds

   without UnliftedNewtypes or UnliftedDatatypes, as outlined in

   Note [Defaulting result kind of newtype/data family instance].

Also a few notes are updated to reflect the changes.

Co-authored-by: default avatarSimon Peyton Jones <simon.peytonjones@gmail.com>

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f6493dbccc7bf95dcdf946b978e262f739e3e15a">f6493dbc</a></strong>

<div>

<span> by amesgen </span> <i> at 2025-01-15T18:47:23-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>wasm: prevent bundlers from resolving import("node:timers")

This fixes the following esbuild error:

    ✘ [ERROR] Could not resolve "node:timers"

        www/ghc_wasm_jsffi.js:66:25:

          66 │     return (await import("node:timers")).setImmediate;

             ╵                          ~~~~~~~~~~~~~

      The package "node:timers" wasn't found on the file system but is built into node. Are you trying

      to bundle for node? You can use "--platform=node" to do that, which will remove this error.

Previously (i.e. after !13503), one had to work around this by passing

`--external:node:timers`.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/87e82e2efd72fffefbc9537b5ab86611279e009a">87e82e2e</a></strong>

<div>

<span> by sheaf </span> <i> at 2025-01-16T14:51:45+01:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Use checkTyEqRhs to make types concrete

This commit refactors makeTypeConcrete to call checkTyEqRhs with

the appropriate parameters. This avoids duplicating subtle logic

in two places in the compiler.

Changes:

  1. Refactor of 'TyEqFlags'. Now 'TyEqFlags' stores a 'TEFTask', which

     is a description of which of the following checks we want to

     perform in 'checkTyEqRhs':

        - occurs check

        - level check

        - concreteness check

     In the process, the 'AreUnifying' datatype has been removed, as it

     is no longer needed.

  2. Refactor of 'checkTyVar':

      a. Make use of the new 'TEFTask' data type to decide which checks

         to perform.

         In particular, this ensures that we perform **both** a

         concreteness check and a level check when both are required;

         previously we only did a concreteness check (that was a bug!).

      b. Recursively call 'checkTyVar' on the kind of unfilled

         metavariables. This deals with a bug in which we failed to

         uphold the invariant that the kind of a concrete type must

         itself be concrete. See test cases T23051, T23176.

  3. Re-write of 'makeTypeConcrete', which now simply calls

     'checkTyEqRhs' with appropriate 'TyEqFlags'/'TEFTask'.

     This gets rid of code duplication and risk for the two code paths

     going out-of-sync.

Fixes #25616. See also #23883.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5a8f35bd5d9735d7846a53bc9d08d8eeb67bccb5">5a8f35bd</a></strong>

<div>

<span> by ARATA Mizuki </span> <i> at 2025-01-17T11:17:49-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>x86 NCG: Use correct format for MOVD in the implementation of unpackInt64X2#

MOVD takes the input format.

Fixes #25658

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/14f8a7ec7ffd4368de84b6cc415a9a36ad396260">14f8a7ec</a></strong>

<div>

<span> by Mateusz Goślinowski </span> <i> at 2025-01-17T22:49:09+00:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Allow multiline strings in JS FFI (#25633)

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/854c2f753dddeaa31d2988704cedf651f9fb7958">854c2f75</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2025-01-18T02:54:08-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Fix a buglet in tcSplitForAllTyVarsReqTVBindersN

The problem was that an equation in `split` had two guards (one about

visiblity and one about `n_req`). So it fell thorugh if /either/

was False.  But the next equation then assumed an invisible binder.

Simple bug, easily fixed.  Fixes #25661.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/264a1186d7728152d5b2067fcc3dc16ce0e24aa2">264a1186</a></strong>

<div>

<span> by sheaf </span> <i> at 2025-01-18T10:05:56+00:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Generalise GHC diagnostic code infrastructure

This commit generalises the infrastructure used for diagnostic codes,

allowing it to be used for other namespaces than the GHC namespace.

In particular, this enables GHCi to re-use the same infrastructure to

emit error messages.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/bf4f5ad31ddeb87baad10de47f84081648f808dc">bf4f5ad3</a></strong>

<div>

<span> by Jade </span> <i> at 2025-01-18T10:05:56+00:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Add structured errors to GHCi (#23338)

This patch creates the 'GhciCommandErrorMessage' data type which

implents the 'Diagnostic' class and also provides error code for these

error conditions.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b6f541885c5efc4022d5ec5b9ff21d5246f66bc5">b6f54188</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-01-18T12:38:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Revert "Division by constants optimization"

This appears to be responsible for the regression described in #25653.

This reverts commit daff1e30219d136977c71f42e82ccc58c9013cfb.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/0fd90de8a1aaf6b6c9cb27d749a5fc711945e60a">0fd90de8</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-01-18T12:38:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>testsuite: Introduce div2 test

This is a useful test from !8392 which is worth keeping around.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/32680979c62d4af566760530b0b0c976b287238e">32680979</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-01-18T12:38:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>testsuite: Test shift correctness in mul2 test

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/163aa50aad7a24912c5cc0ade3ef80b108e99f1a">163aa50a</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-01-18T12:38:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>testsuite: Add regression test for #25653

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/44778963fff5d8cc5a58f572ea26e3ab6b287f76">44778963</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2025-01-20T11:23:08+00:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>driver: Store an ExternalModuleGraph in the EPS

We now store an ExternalModuleGraph in the EPS. When an new interface is

loaded, the module graph is extended with a node for the loaded

interface. The result is a partial module graph. If you want to run

a transitive closure query on the graph you must first force the

transitive closure to be loaded by using `loadExternalGraphBelow`.

The primary advantage (for now) is that the transitive dependency

calculation does not have to be repeated in getLinkDeps. If your module

had many dependencies and many splices, performing this calculation at

every splice site took a significant amount of time.

We might also want to use this module graph in future for considering

questions such as reachability of rules or accessibilty of instance

imported by levelled imported.

This patch removes another place in the compiler where transitive

dependency is calculated in an ad-hoc manner. In general, the transitive

dependency calculation should be cached and computed using a ModuleGraph

abstraction.

The transitive dependency query required by getLinkDeps operates on a

graph without hs-boot nodes. If a linkable from a module in a loop is

needed, then all modules in the loop are necessary to be available to

execute that module. Therefore there is a query in `ModuleGraph` and

`ExternalModuleGraph` which allows a transitive closure query to be

performed on a graph without loops.

Fixes #25634

-------------------------

Metric Decrease:

    MultiLayerModulesTH_Make

    MultiLayerModulesTH_OneShot

Metric Increase:

    mhu-perf

-------------------------

Co-authored-by: Rodrigo Mesquita <rodrigo.m.mesquita@gmail.com>

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b3c0acfc4b2e99ca01923d25ab9209fe9d21016c">b3c0acfc</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2025-01-20T11:53:10-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>hie: fix hie.yaml to use default hie-bios script

!13778 accidentally changed hie.yaml to use hie-bios.bat as the

default hie-bios script, which completely breaks hie support on

non-Windows platforms. This patch reverts that change.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/595013d41464c1e328369bb81ce0ea2814e91b68">595013d4</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-01-21T09:57:23-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>compiler: Fix CPP guards around ghc_unique_counter64

The `ghc_unique_counter64` symbol was introduced in the RTS in the

64-bit unique refactor (!10568) which has been backported to %9.6.7 and

%9.8.4. Update the CPP to reflect this.

Fixes #25576.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/09ee324759cfab6fd44f03ff7d9b43cf95aaafc9">09ee3247</a></strong>

<div>

<span> by Ryan Scott </span> <i> at 2025-01-21T09:58:00-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Fix :info pretty-printing of UNPACKed fields

This patch:

* Ensures that we do not pretty-print a field like `foo :: {-# UNPACK #-} !Int`

  as `foo :: ! {-# UNPACK -#} Int` (as we were doing before) when running the

  `:info` command.

* Prevents coercions that arise from `UNPACK`ed fields (e.g., such as when one

  unpacks a newtype) from being printed in `:info` output unless `-dppr-debug`

  is enabled.

Fixes #25651.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6b7ea592a81e8058f12f42941665690638d4afe1">6b7ea592</a></strong>

<div>

<span> by Rodrigo Mesquita </span> <i> at 2025-01-21T16:10:35-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>driver: Store the HomePackageTable in a mutable reference

This commit refactors the HomePackageTable and HomeUnitGraph:

(1) It fixes a quadratic-in-the-number-of-modules space leak in upsweep (#25511)

(2) And it reworks these structures into their own modules to simplify

    the driver. The refactor is driven by the introduction of IO in the HPT

    interface, but is a bit more aggressive in simplifying the

    interfaces to enforce correct usage (ie to avoid performance

    pitfalls).

Specifically:

- The `HomeUnitGraph` (HUG) is now in `GHC.Unit.Home.Graph`

- The `HomePackageTable` (HPT) is now in `GHC.Unit.Home.PackageTable`

    - The HPT now stores an `IORef` with the table of loaded home package modules.

    - The interface to the HPT now requires IO

    - The interface now enforces that the HPT is a datastructure that

      only grows

    - This is not enforced in the interface, but, clients of the HPT

      should never care about there being more or less entries in the

      HPT when these additional entries are not relevant to their result.

    - The exception to the invariant that the HPT is monotonically

      increasing is `restrictHpt`, a function which is called at a

      "barrier point" (during which there are no other threads

      inspecting or inserting in the HPT). The invariant can be

      temporarily broken at this point (currently, after upsweep).

      This is safe because a single thread holds control over the

      structure (thus the invariant being broken is never observed).

The hug_var and associated structures in the driver, which aimed to

improve memory usage in the driver by updating in place a HUG during

upsweep, are no longer required as the HPT entries in the HUG are now

themselves mutable by construction. This was previously explained in

Note [ModuleNameSet, efficiency and space leaks], which is no longer

relevant and was deleted.

Fixes #25511

Co-authored-by: Matthew Pickering <matthewtpickering@gmail.com>

-------------------------

Metric Decrease:

    MultiComponentModulesRecomp

    MultiLayerModulesRecomp

-------------------------

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f983a00ffc97b779eb52b10e69e254ec107f8311">f983a00f</a></strong>

<div>

<span> by Jens Petersen </span> <i> at 2025-01-21T16:11:12-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>hp2ps/Utilities.c: add extern parameter types for malloc and realloc for C23

Fix build with gcc-15 which defaults to C23 standard (-std=gnu23)

Fixes #25662

```

utils/hp2ps/Utilities.c:6:14: error:

     warning: conflicting types for built-in function ‘malloc’; expected ‘void *(long unsigned int)’ [-Wbuiltin-declaration-mismatch]

        6 | extern void* malloc();

          |              ^~~~~~

  |

6 | extern void* malloc();

  |              ^

utils/hp2ps/Utilities.c:5:1: error:

     note: ‘malloc’ is declared in header ‘<stdlib.h>’

        4 | #include "Error.h"

      +++ |+#include <stdlib.h>

        5 | 

  |

5 | 

  | ^

utils/hp2ps/Utilities.c: In function ‘xmalloc’:

utils/hp2ps/Utilities.c:80:17: error:

     error: too many arguments to function ‘malloc’; expected 0, have 1

       80 |     r = (void*) malloc(n);

          |                 ^~~~~~ ~

   |

80 |     r = (void*) malloc(n);

   |                 ^

utils/hp2ps/Utilities.c:6:14: error:

     note: declared here

        6 | extern void* malloc();

          |              ^~~~~~

  |

6 | extern void* malloc();

  |              ^

utils/hp2ps/Utilities.c: In function ‘xrealloc’:

utils/hp2ps/Utilities.c:92:18: error:

     warning: conflicting types for built-in function ‘realloc’; expected ‘void *(void *, long unsigned int)’ [-Wbuiltin-declaration-mismatch]

       92 |     extern void *realloc();

          |                  ^~~~~~~

   |

92 |     extern void *realloc();

   |                  ^

utils/hp2ps/Utilities.c:92:18: error:

     note: ‘realloc’ is declared in header ‘<stdlib.h>’

   |

92 |     extern void *realloc();

   |                  ^

utils/hp2ps/Utilities.c:94:9: error:

     error: too many arguments to function ‘realloc’; expected 0, have 2

       94 |     r = realloc(p, n);

          |         ^~~~~~~ ~

   |

94 |     r = realloc(p, n);

   |         ^

utils/hp2ps/Utilities.c:92:18: error:

     note: declared here

       92 |     extern void *realloc();

          |                  ^~~~~~~

   |

92 |     extern void *realloc();

   |                  ^

```</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/51e3ec839c378f0da7052278a56482f0349e9bc7">51e3ec83</a></strong>

<div>

<span> by Vladislav Zavialov </span> <i> at 2025-01-22T20:41:32+03:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Rework built-in and punned names (#25174, #25179, #25180, #25182)

This patch rewrites part of the logic for dealing with built-in and

punned names, making it more principled and fixing a few bugs.

* Kill off filterCTuple. Its purpose was to improve pretty-printing of

  constraint tuples, and the appropriate place for this is namePun_maybe.

* Remove unitTyCon, unboxedUnitTyCon, and soloTyCon from wiredInTyCons.

  Their inclusion in the list was a workaround for shoddy logic in

  lookupOrigNameCache. Now we treat tuples of all arities uniformly.

* In isBuiltInOcc_maybe, only match on actual built-in syntax, e.g. "FUN"

  shouldn't be there (#25174). Also take ListTuplePuns into account (#25179).

* When matching OccNames, use the ShortByteString directly to avoid

  potentially costly conversions to ByteString and String.

* Introduce isInfiniteFamilyOrigName_maybe, a purpose-built helper for

  looking up tuples/sums in the OrigNameCache. This clears up the previously

  convoluted relation between the orig name cache and built-in syntax.

* Reuse isKnownOrigName_maybe to eliminate the need for isPunOcc_maybe.

* Classify MkSolo and MkSolo# as UserSyntax, thus fixing whole-module

  reexports (#25182).

* Teach valid-hole-fits about tuples, unboxed tuples, and unboxed sums,

  up to a certain arity (#25180).

* Drop the unnecessary special case for unary constraint tuples in the

  type checker (finish_tuple). It was a workaround for the lack of CSolo.

* Update Notes and other comments, add tests.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/85c60aead149dd52a5c778e124e21aae3f95a23b">85c60aea</a></strong>

<div>

<span> by Teo Camarasu </span> <i> at 2025-01-23T18:06:21-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>doc: Add documentation for -XDoAndIfThenElse

Resolves #18631

Co-authored-by: Richard Eisenberg <rae@cs.brynmawr.edu>

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/4495e48ff8024950cf4448d274c56a8eb195f69c">4495e48f</a></strong>

<div>

<span> by Brandon Chinn </span> <i> at 2025-01-24T11:54:24-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Break out GHC.Parser.Lexer.Interface

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/4f8fc11e45fc5e7311572bb16a60b1f756b536c6">4f8fc11e</a></strong>

<div>

<span> by Brandon Chinn </span> <i> at 2025-01-24T11:54:24-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Fix lexing comments in multiline strings (#25609)

Metric Decrease:

    MultiLayerModulesRecomp

    parsing001

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e7ab778f55e070b9381e2a7dbb445a86718acb17">e7ab778f</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2025-01-24T11:55:01-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>testsuite: Pass TEST_HC_OPTS to many more tests

This passes `-dno-debug-output` to the test and `-dlint.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c3593101c85f90aeb0e9aa171a179bc2598d69ad">c3593101</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2025-01-24T23:12:20-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Merge ghc-prim's modules into ghc-internal (#24453)

ghc-internal becomes the only wired-in package exposing primitives.

There are some minor GHC allocation regressions, but they barely cross

the thresholds and only with the wasm backend. They're likely due to

longer symbols (ghc-internal vs ghc-prim, GHC.Internal.X vs GHC.X).

Metric Increase:

    T13035

    T1969

    T4801

    T9961

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/70f7741acd9d50a6cc07553aeaae600afe4a72b8">70f7741a</a></strong>

<div>

<span> by Jens Petersen </span> <i> at 2025-01-24T23:12:58-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>hp2ps/Utilities.c: add extern parameter types for malloc and realloc for C23

use portable C types!

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/a1d923786baed5b001c523fd2a76f133be510b04">a1d92378</a></strong>

<div>

<span> by Brandon Chinn </span> <i> at 2025-01-25T15:11:54-08:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Fix for alex-3.5.2.0 (#25623)

This INLINE pragma for alexScanUser was added in 9.12, but then I

ported the change to alex in 3.5.2.0

(https://github.com/haskell/alex/pull/262).

I didn't realize that GHC errors on duplicate INLINE pragmas, so

this ended up being a breaking change.

This change should be backported into 9.12

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/62760367dca36da5828875c5423109f9a5523337">62760367</a></strong>

<div>

<span> by ARATA Mizuki </span> <i> at 2025-01-27T16:23:06-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>x86 NCG: Make MOVD's output format explicit

The old design led to inference of a wrong format,

losing upper bits of a vector register.

Fixes #25659

Co-authored-by: sheaf <sam.derbyshire@gmail.com>

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f19ab49091675faba8619428a780e706ed3314fc">f19ab490</a></strong>

<div>

<span> by Simon Hengel </span> <i> at 2025-01-27T16:23:45-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>doc: Correct JSON schema for `-fdiagnostics-as-json` (fixes #25393)

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e16eae6548743870e77c2c93527bab1d24cff81c">e16eae65</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2025-01-27T21:41:39+00:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>hadrian: fix bootstrap with 9.12.1

This patch bumps hadrian index-state to fix bootstrap with 9.12.1.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8071bad8b185bc9d0f71e08b6520a5d5705e2636">8071bad8</a></strong>

<div>

<span> by Jeffrey Young </span> <i> at 2025-01-28T21:45:32-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>base: add SrcLoc changes to changelog, 4.21.0.0

I accidentally dropped this in !13381

- closes #25614

See:

- ea4587794b9e3a098f9c02bd6cea2294af2539ce  (the 13381 commit)

- Issue #25614

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9dcc7e28e24b66d647a7e971c8ceda5a00b49f83">9dcc7e28</a></strong>

<div>

<span> by M Farkas-Dyck </span> <i> at 2025-01-29T02:27:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Rename `cloneBndrs` and such — now all the monadic ones have an `M` suffix.

We now have `cloneBndrs` and `cloneRecIdBndrs` which take a `UniqSupply` argument, and `cloneBndrsM` and `cloneRecIdBndrsM` which rather have a `MonadUnique` constraint.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/643dd3d86968c527ba07ece9cc337728dbdfe2a0">643dd3d8</a></strong>

<div>

<span> by Matthew Farkas-Dyck </span> <i> at 2025-01-29T02:27:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Use `Infinite` in unique generation, and clean up some other partial uni patterns as well.

Also drop the losing `instance MonadFail UniqSM`.

We redefine `getUniquesM` in terms of `Infinite` rather than `[]`, and define another method `getUniqueListM` for the use sites where we actually want a `[]`.

Thus, at many sites, we can avoid the partiality of the empty list case.

We also define `withUniques`, `withUniquesM`, and `withUniquesM'`, which traverse an arbitrary `Traversable` structure and introduce a `Unique` for each element.

This allows us to redefine various functions to operate on more appropriate types than `[]` and avoid further partiality (in the form of incomplete-uni-patterns).

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/dd0acc3cd32264e9fbea303f66e1dd03b6d9e8a5">dd0acc3c</a></strong>

<div>

<span> by M Farkas-Dyck </span> <i> at 2025-01-29T02:27:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Use `Infinite` in `GHC.Tc.Deriv.Functor`.

Make the list of variables to use in generated code `Infinite`, to avoid panicking on the (now impossible) empty list case.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/4e9adedf6683a93597c8fb8bd3dcbe6fc91136a4">4e9adedf</a></strong>

<div>

<span> by M Farkas-Dyck </span> <i> at 2025-01-29T02:27:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Use `Infinite` in `GHC.Runtime.Debugger`.

Make the list of available names `Infinite`, to avoid panicking on the (now impossible) empty list case.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/bed812b738b3f71375aae3d25a5329cc7bac50c5">bed812b7</a></strong>

<div>

<span> by M Farkas-Dyck </span> <i> at 2025-01-29T02:27:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Avoid incomplete-uni-patterns in `GHC.Cmm.DebugBlock`.

We do so by changing the type of `BlockContext` to statically (in GHC) exclude the possibility of Cmm statics, and using `NonEmpty` lists of `BlockContext`s in `cmmDebugGen`.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/27587df3cc40de5f0671e31631bc6995af86dfbb">27587df3</a></strong>

<div>

<span> by M Farkas-Dyck </span> <i> at 2025-01-29T02:27:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Avoid incomplete-uni-patterns in `GHC.Types.Literal`.

We do so by introducing `mkLitNumberWrap'` whose ultimate codomain is `Integer` rather than `Literal`, and then use that rather than `mkLitNumberWrap` where we just need the number rather than the `Literal`.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/138de0ff0053548dad45d6ed076bb27b366fbc58">138de0ff</a></strong>

<div>

<span> by M Farkas-Dyck </span> <i> at 2025-01-29T02:27:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Avoid incomplete-uni-patterns in `GHC.CmmToAsm.X86.CodeGen`.

- Match the vector element list only once in `shuffleInstructions`.

- Define `isSuitableFloatingPointLit_maybe` which returns `Just` the width if the lit is indeed suitable.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d8cb3d36127fea85dc83dbc39fe2b0673f58dc42">d8cb3d36</a></strong>

<div>

<span> by M Farkas-Dyck </span> <i> at 2025-01-29T02:27:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Clean up more incomplete uni patterns.

At some sites, we merely panic if the `[]` or `Maybe` is empty when we convert to `NonEmpty` or `Identity`, but at least now we make it explicit.

At other sites, we are able to use more precise types and avoid the partiality altogether. To do so, we redefine various functions to operate over `Traversable` arguments, so we can use the appropriate shape where known.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f251bd223cdd27e02d688844dadc5e19ea91344a">f251bd22</a></strong>

<div>

<span> by M Farkas-Dyck </span> <i> at 2025-01-29T02:27:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Outline `expectJustPanic`.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/a963a1a5d38cd6fbb722f3d25c31744238d71b65">a963a1a5</a></strong>

<div>

<span> by Marc Scholten </span> <i> at 2025-01-29T02:28:35-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>base: Introduce Data.Enum.enumerate (CLC #306)

https://github.com/haskell/core-libraries-committee/issues/306

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/944712dad749f39d087b868d8e5c2126601994f9">944712da</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-01-29T02:29:13-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>base: Update description of locking behavior</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/85abc69c223a692652c8767c49dacfd1ce6c9bf3">85abc69c</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-01-29T02:29:51-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>base: Fix @since annotation of Data.Bounded

Fixes #25615.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2ca41c62cf6ecb3edeb3037be94777febe1408e5">2ca41c62</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-01-29T02:30:29-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>StgToByteCode: Fix overly-broad handling of Addr# literals

Previously we assumed that all unlifted types were `Addr#` but this

isn't true. As noted in #25638, unlifted nullary data constructor

workers can also appear at the top-level and are obviously not of type

`Addr#`.

Note that there is more work to be done to properly handle unlifted data

constructors (especially nullary; see #25636). However, this is a small

step in the right direction.

Closes #25641.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/ec26c54d818e0cd328276196930313f66b780905">ec26c54d</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-01-29T02:30:29-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>StgToByteCode: Assert that PUSH_G'd values are lifted

We currently do not support top-level unlifted data constructor applications,

therefore this is a safe assertion.

Pointed out by @sheaf.</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8847125fecdccc4dcda45b1dba519c6dd88b4401">8847125f</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-01-29T02:31:07-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>gitlab-ci: Run test-primops testsuite in ~"full-ci" pipeline

Closes #25654.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/bf8c7d6edf224c083c90ab3ddac49979ac18ad39">bf8c7d6e</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2025-01-29T02:31:44-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>bytecode: Do not generate `SLIDE x 0` instructions

SLIDE x 0 is a no-op as it means to shift x elements of the stack by no

spaces. In the interpreter, this results in a loop which copies an array

element into the same place.

I have instrumented GHCi to count how many of these instructions are interpreted.

The workload was `ghc` compiling two simple modules.

Total no-op slides: 7793476

Total slides: 11413289

Percentage useless (slides): 68%

Percentage uselss of total instructions: 9%

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7bfc93a7054d48bee6779d38808534f1d7ca06f0">7bfc93a7</a></strong>

<div>

<span> by Zubin Duggal </span> <i> at 2025-01-29T21:41:17-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>hackage-doc-tarball: Allow ghc-boot-th to be uploaded to hackage

It can't refer to files outside its source directory, so patch that part out.

This is OK because those files are only used while bootstrapping.

Also add ghci to the list of packages to be uploaded

Fixes #25687

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/704eeb02b072543bcb795113a50adf201fe709ab">704eeb02</a></strong>

<div>

<span> by Roman S </span> <i> at 2025-01-29T21:42:05-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Fix Control.Arrow (***) diagram (fixes #25698)</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/662645f0aafd94208ac849211d2b78c639864c9b">662645f0</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2025-02-03T11:44:41-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>compiler: Always load GHC.Data.FastString optimised into GHCi

The FastString table is shared between the boot compiler and interpreted

compiler. Therefore it's very important the representation of

`FastString` matches in both cases. Otherwise, the interpreter will read

a FastString from the shared variable but place the fields in the wrong

place which leads to segfaults.

Ideally this state would not be shared, but for now we can always

compile both with `-O2` and this leads to a working interpreter.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/05e5785a3157c71e327a8e9bdc80fa7082918739">05e5785a</a></strong>

<div>

<span> by Peter Trommler </span> <i> at 2025-02-03T11:45:17-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>RTS: Fix compile on powerpc64 ELF v1

Cabal does not know about the different ABIs for powerpc64 and compiles

StgCRunAsm.S unconditionally. The old make-based build system excluded

this file from the build and it was OK to signal an error when it was

compiled accidentally.

With this patch we compile StgCRunAsm.S to an empty file, which fixes

the build.

Fixes #25700

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cbbb64fbee2de679131efa4abd9b056e1d64870d">cbbb64fb</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2025-02-03T23:40:33-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>interpreter: Always print unit and module name in BCO_NAME instruction

Currently the BCO_Name instruction is a bit difficult to use since the

names are not qualified by the module they come from. When you have a

very generic name such as "wildX4", it becomes impossible to work out

which module the identifier comes from.

Fixes #25694

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/764a43ac6321b433bcd283f7b8dc318af0da1bc9">764a43ac</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-02-03T23:41:10-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>upload-ghc-libs: Drop more references to ghc-internal from ghc-boot-th

(cherry picked from commit afec4b75c2d0e9f5c462a86d9f3697acf30355c7)

Co-authored-by: Ben Gamari <bgamari.foss@gmail.com></pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9a59b026608c339ed7872f3d4b8a66b77c52b967">9a59b026</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-02-04T10:00:18-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>gitlab-ci: Don't use .full-ci to run test-primops

test-primops depends upon the existence of validate jobs, yet these do

not exist in the context of nightly jobs, which .full-ci includes.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7cc0855009070a4ca50504d2bdda7566417e2900">7cc08550</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-02-04T18:34:49-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>CorePrep: Name `sat` binders more descriptively

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/fb40981decc6b1c03fe6ee671449844aecb63ebf">fb40981d</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-02-04T18:35:26-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>ghc-toolchain: Parse i686 triples

This is a moniker used for later 32-bit x86 implementations

(Pentium Pro and later).

Fixes #25691.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/02794411602e35b671b5b954457a124f37a5d44a">02794411</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2025-02-04T18:36:03-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>compiler: remove unused assembleOneBCO function

This patch removes the unused assembleOneBCO function from the

bytecode assembler.

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/db19c8a95a187fa6fcfbcc9c96961044786cc945">db19c8a9</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2025-02-05T23:16:50-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>perf: Replace uses of genericLength with strictGenericLength

genericLength is a recursive function and marked NOINLINE. It is not

going to specialise. In profiles, it can be seen that 3% of total compilation

time when computing bytecode is spend calling this non-specialised

function.

In addition, we can simplify `addListToSS` to avoid traversing the input

list twice and also allocating an intermediate list (after the call to

reverse).

Overall these changes reduce the time spend in 'assembleBCOs' from 5.61s

to 3.88s. Allocations drop from 8GB to 5.3G.

Fixes #25706

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5622a14a7a036ab36e28963a4fba826a5ac798a7">5622a14a</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2025-02-05T23:17:27-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>perf: nameToCLabel: Directly manipulate ByteString rather than going via strings

`nameToCLabel` is called from `lookupHsSymbol` many times during

bytecode linking. We can save a lot of allocations and time by directly

manipulating the bytestrings rather than going via intermediate lists.

Before: 2GB allocation, 1.11s

After: 260MB allocation, 375ms

Fixes #25719

-------------------------

Metric Decrease:

    MultiLayerModulesTH_OneShot

-------------------------

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/66c7f65676801367f440a6a644f87d71157d2f3f">66c7f656</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2025-02-06T17:15:25-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>interpreter: Fix INTERP_STATS profiling code

The profiling code had slightly bitrotted since the last time it was

used. This just fixes things so that if you toggle the INTERP_STATS

macro then it just works and prints out the stats.

Fixes #25695

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f71c2835bfacac879b294bbcd475d7acfac4adfb">f71c2835</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2025-02-06T17:16:02-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>perf: Key the interpreter symbol cache by Name rather than FastString

Profiles showed that about 0.2s was being spend constructing the keys

before looking up values in the old symbol cache.

The performance of this codepath is critical as it translates directly

to a delay when a user evaluates a function like `main` in the

interpreter.

Therefore we implement a solution which keys the cache(s) by `Name`

rather than the symbol directly, so the cache can be consulted before

the symbol is constructed.

Fixes #25731

</pre>

</li>

<li>

<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8f8d3a90e8a754cfccd7c8e0c793a23ce58a6de5">8f8d3a90</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2025-02-08T01:17:28-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #3a383f; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; font-variant-ligatures: none; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>base: Label threads forked by IO operations

Addresses part of #25452.