<!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: 0.875rem;

}

body {

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

}

body {

font-family: var(--default-regular-font, "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,0.01) 0 0 1px; font-family: var(--default-regular-font, "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;">

Andreas Klebinger pushed to branch wip/andreask/m_warning 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: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9cd9efb4de3757fd5eaec006739f75cef288e5eb">9cd9efb4</a></strong>

<div>

<span> by Vladislav Zavialov </span> <i> at 2024-03-07T13:01:54+03:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Rephrase error message to say "visible arguments" (#24318)

* Main change: make the error message generated by mkFunTysMsg more

  accurate by changing "value arguments" to "visible arguments".

* Refactor: define a new type synonym VisArity and use it instead of

  Arity in a few places.

It might be the case that there other places in the compiler that should

talk about visible arguments rather than value arguments, but I haven't

tried to find them all, focusing only on the error message reported in

the ticket.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d523a6a7a90ba5b928a7c9744c2cd64c1e3e13db">d523a6a7</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-07T19:40:45-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Bump array submodule

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7e55003c3313e5016046de58b173ea9170ef176b">7e55003c</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-07T19:40:45-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Bump stm submodule

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/32d337ef26286ebefec84c433a481d94d32eb859">32d337ef</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-07T19:40:45-05:00 </i>

</div>

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

Here we introduce the `ExceptionContext` type and `ExceptionAnnotation`

class, allowing dynamically-typed user-defined annotations to be

attached to exceptions.

CLC Proposal: https://github.com/haskell/core-libraries-committee/issues/199

GHC Proposal: https://github.com/ghc-proposals/ghc-proposals/pull/330

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/39f3d9222aae1442c52ac6c9805ac5680f410164">39f3d922</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-07T19:40:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>testsuite/interface-stability: Update documentation

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/fdea7ada1c0a779ed984540c8df6d9b667642d1d">fdea7ada</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-07T19:40:46-05:00 </i>

</div>

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

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/4fba42ef52d28e996ab65ca8efb50159b6f0423f">4fba42ef</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-07T19:40:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>compiler: Default and warn ExceptionContext constraints

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3886a205c5c46b9e0ff646a29773c0c85b4842ec">3886a205</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-07T19:40:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; 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 exception backtraces

Here we introduce the `Backtraces` type and associated machinery for

attaching these via `ExceptionContext`. These has a few compile-time

regressions (`T15703` and `T9872d`) due to the additional dependencies

in the exception machinery.

As well, there is a surprisingly large regression in the

`size_hello_artifact` test. This appears to be due to various `Integer` and

`Read` bits now being reachable at link-time. I believe it should be

possible to avoid this but I have accepted the change for now to get the

feature merged.

CLC Proposal: https://github.com/haskell/core-libraries-committee/issues/199

GHC Proposal: https://github.com/ghc-proposals/ghc-proposals/pull/330

Metric Increase:

    T15703

    T9872d

    size_hello_artifact

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/18c5409f69b1ed6d07ef16e6124f95b30d38c917">18c5409f</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-07T19:40:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>users guide: Release notes for exception backtrace work

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f849c5fcc975c5955012b85b34826a51a09653b0">f849c5fc</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-07T19:40:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>compiler: Don't show ExceptionContext of GhcExceptions

Most GhcExceptions are user-facing errors and therefore the

ExceptionContext has little value. Ideally we would enable

it in the DEBUG compiler but I am leaving this for future work.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/dc646e6f8e67add661628f2382fd0b65ed99b4f9">dc646e6f</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2024-03-07T19:40:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Disable T9930fail for the JS target (cf #19174)

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/bfc09760b995b696fee598861ab4de32ec27e516">bfc09760</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-03-07T19:41:22-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Update showAstData to honour blanking of AnnParen

Also tweak rendering of SrcSpan to remove extra blank line.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/50454a299cdef5375ece5fdaf70b36b4a09c3804">50454a29</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-08T03:32:42-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>ghc-internal: Eliminate GHC.Internal.Data.Kind

This was simply reexporting things from `ghc-prim`. Instead reexport

these directly from `Data.Kind`. Also add build ordering dependency to

work around #23942.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/38a4b6ab7bbd5e650f43541d091a52ed2655aff6">38a4b6ab</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-08T03:33:18-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; 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 SET_HDR initialization of retainer set

This fixes a regression in retainer set profiling introduced by

b0293f78cb6acf2540389e22bdda420d0ab874da. Prior to that commit

the heap traversal word would be initialized by `SET_HDR` using

`LDV_RECORD_CREATE`. However, the commit added a `doingLDVProfiling`

check in `LDV_RECORD_CREATE`, meaning that this initialization no longer

happened.

Given that this initialization was awkwardly indirectly anyways, I have

fixed this by explicitly initializating the heap traversal word to

`NULL` in `SET_PROF_HDR`. This is equivalent to the previous behavior,

but much more direct.

Fixes #24513.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2859a6379be53c5f6de34f6dd868ef0f0738b08c">2859a637</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-08T18:26:47-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>base: Use strerror_r instead of strerror

As noted by #24344, `strerror` is not necessarily thread-safe.

Thankfully, POSIX.1-2001 has long offered `strerror_r`, which is

safe to use.

Fixes #24344.

CLC discussion: https://github.com/haskell/core-libraries-committee/issues/249

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/edb9bf77104a8afec6e54e646f07b1a9849dfc76">edb9bf77</a></strong>

<div>

<span> by Jade </span> <i> at 2024-03-09T03:39:38-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Error messages: Improve Error messages for Data constructors in type signatures.

This patch improves the error messages from invalid type signatures by

trying to guess what the user did and suggesting an appropriate fix.

Partially fixes: #17879

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cfb197e3dee6781978a8143d686f0fb593614e52">cfb197e3</a></strong>

<div>

<span> by Patrick </span> <i> at 2024-03-09T03:40:15-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>HieAst: add module name #24493

The main purpose of this is to tuck the module name `xxx` in `module xxx where` into the hieAst.

It should fix #24493.

The following have been done:

1. Renamed and update the `tcg_doc_hdr :: Maybe (LHsDoc GhcRn)` to `tcg_hdr_info :: (Maybe (LHsDoc GhcRn), Maybe (XRec GhcRn ModuleName))`

   To store the located module name information.

2. update the `RenamedSource` and `RenamedStuff` with extra `Maybe (XRec GhcRn ModuleName)` located module name information.

3. add test `testsuite/tests/hiefile/should_compile/T24493.hs` to ensure the module name is added and update several relevent tests.

4. accompanied submodule haddoc test update MR in https://gitlab.haskell.org/ghc/haddock/-/merge_requests/53

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2341d81ec72f5ae963072957911a67a739a83db9">2341d81e</a></strong>

<div>

<span> by Vaibhav Sagar </span> <i> at 2024-03-09T03:40:54-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>GHC.Utils.Binary: fix a couple of typos

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5580e1bd3c0e7ad177b7727c790c88e934cf57e7">5580e1bd</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T03:41:30-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rts: Drop .wasm suffix from .prof file names

This replicates the behavior on Windows, where `Hi.exe` will produce

profiling output named `Hi.prof` instead of `Hi.exe.prof`.

While in the area I also fixed the extension-stripping logic, which

incorrectly rewrote `Hi.exefoo` to `Hi.foo`.

Closes #24515.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/259495ee3de352d259a07b577f3089b34ddf283f">259495ee</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2024-03-09T03:41:30-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>testsuite: drop exe extension from .hp & .prof filenames

See #24515 for details.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c477a8d28d6dd28b0b2e2ca6a937aa2a1db92ea5">c477a8d2</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T03:42:05-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rts/linker: Enable GOT support on all platforms

There is nothing platform-dependent about our GOT implementation and

GOT support is needed by `T24171` on i386.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2e592857b6e028fbad83712ceda6a0860191d379">2e592857</a></strong>

<div>

<span> by Vladislav Zavialov </span> <i> at 2024-03-09T03:42:41-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Drop outdated comment on TcRnIllformedTypePattern

This should have been done in 0f0c53a501b but I missed it.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c554b4da71adae3dc7dd45f510a34bb822c959d9">c554b4da</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T09:39:20-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rts/CloneStack: Bounds check array write

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/15c590a525af48317a858a072a25e4b4ee456792">15c590a5</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T09:39:20-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rts/CloneStack: Don't expose helper functions in header

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e831ce316bdaac5ce40f654e9bc3b293d2687996">e831ce31</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T09:39:20-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>base: Move internals of GHC.InfoProv into GHC.InfoProv.Types

Such that we can add new helpers into GHC.InfoProv.Types without

breakage.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6948e24d24fbb9258a991423c8f348f02c5e8360">6948e24d</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T09:39:20-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rts: Lazily decode IPE tables

Previously we would eagerly allocate `InfoTableEnt`s for each

info table registered in the info table provenance map. However, this

costs considerable memory and initialization time. Instead we now

lazily decode these tables. This allows us to use one-third the memory

*and* opens the door to taking advantage of sharing opportunities within

a module.

This required considerable reworking since lookupIPE now must be passed

its result buffer.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9204a04e8e6efa4fd0763d6e0870f06d850a89d4">9204a04e</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T09:39:20-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rts/IPE: Don't expose helper in header

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/308926ff801fb1fa30f46db8cbe1072257a54c4d">308926ff</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T09:39:20-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rts/IPE: Share module_name within a Node

This allows us to shave a 64-bit word off of the packed IPE entry size.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/bebdea05ff7ae08007d4238aa3855e8a3c5e2600">bebdea05</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T09:39:20-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>IPE: Expose unit ID in InfoTableProv

Here we add the unit ID to the info table provenance structure.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6519c9ada00d0cf1490039bb44614679d88a5f6e">6519c9ad</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T09:39:35-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rts: Refactor GHC.Stack.CloneStack.decode

Don't allocate a Ptr constructor per frame.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/ed0b69dc069a23692bff89cfcab1ad9d61999506">ed0b69dc</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T09:39:35-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>base: Do not expose whereFrom# from GHC.Exts

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2b1faea90dff1ad743925eb5a0b552a11c514349">2b1faea9</a></strong>

<div>

<span> by Vladislav Zavialov </span> <i> at 2024-03-09T17:38:21-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>docs: Update info on TypeAbstractions

* Mention TypeAbstractions in 9.10.1-notes.rst

* Set the status to "Experimental".

* Add a "Since: GHC 9.x" comment to each section.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f8b88918c864cec574e62a5e97f82c4e02e65aac">f8b88918</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>ci-images: Bump Alpine image to bootstrap with 9.8.2

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/705e6927258d018afdc9f0c178060d52084405a6">705e6927</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>testsuite: Mark T24171 as fragile due to #24512

I will fix this but not in time for 9.10.1-alpha1

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c74196e198e80798e16b074ba9205ef1aa50eda0">c74196e1</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>testsuite: Mark linker_unload_native as fragile

In particular this fails on platforms without `dlinfo`. I plan to

address this but not before 9.10.1-alpha1.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f4d87f7a1c48845ada80d1f7023007d7627b25a7">f4d87f7a</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>configure: Bump version to 9.10

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/88df9a5f6f6dccdee3d8d4f6e71abdce9ac5dad0">88df9a5f</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Bump transformers submodule to 0.6.1.1

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8176d5e8119dfca0e75aeddb5acd6c2112583900">8176d5e8</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>testsuite: Increase ulimit for T18623

1 MByte was just too tight and failed intermittently on some platforms

(e.g. CentOS 7). Bumping the limit to 8 MByte should provide sufficient

headroom.

Fixes #23139.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c74b38a39f9473e9bc2d7678079ef35f35c19fd9">c74b38a3</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>base: Bump version to 4.20.0.0

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b2937fc388dd07579dc40190a673f7e345dfb474">b2937fc3</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>ghc-internal: Set initial version at 9.1001.0

This provides PVP compliance while maintaining a clear correspondence

between GHC releases and `ghc-internal` versions.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/4ae7d86839ee82dbf0458210f462e130ae508003">4ae7d868</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>ghc-prim: Bump version to 0.11.0

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/50798dc68f88afd3a8d480a35a72bc8978d604cd">50798dc6</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>template-haskell: Bump version to 2.22.0.0

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8564f9766375c513087825e5b3562493a1759d99">8564f976</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>base-exports: Accommodate spurious whitespace changes in 32-bit output

It appears that this was

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9d4f0e98a6da93d6c893dbc9685fe8b9ff92bdfa">9d4f0e98</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>users-guide: Move exception backtrace relnotes to 9.10

This was previously mistakenly added to the GHC 9.8 release notes.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/145eae60b14bbb24ec51262ccdd2ae1b5750a130">145eae60</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>gitlab/rel_eng: Fix name of Rocky8 artifact

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/39c2a630276c420c27f8fdb706b95e81cb5ecbda">39c2a630</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>gitlab/rel_eng: Fix path of generate_jobs_metadata

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/aed034de19b71e385bd98132f77e237009bdc7f7">aed034de</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-09T21:21:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>gitlab/upload: Rework recompression

The old `combine` approach was quite fragile due to use of filename

globbing. Moreover, it didn't parallelize well. This refactoring

makes the goal more obvious, parallelizes better, and is more robust.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/dc207d06e9a42bfb531cc0d24271547557b1c488">dc207d06</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-10T08:56:08-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>configure: Bump GHC version to 9.11

Bumps haddock submodule.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8b2513e87463d77cba79f50fb26d14cf9ee6425a">8b2513e8</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-11T01:20:03-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rts/linker: Don't unload code when profiling is enabled

The heap census may contain references (e.g. `Counter.identity`) to

static data which must be available when the census is reported at the

end of execution.

Fixes #24512.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7810b4c37c7d03772215102a8db5e84d29fe2221">7810b4c3</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-11T01:20:03-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rts/linker: Don't unload native objects when dlinfo isn't available

To do so is unsafe as we have no way of identifying references to

symbols provided by the object.

Fixes #24513. Fixes #23993.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/0590764c73841115fc567757e370d5c9dc7e6478">0590764c</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-11T01:20:39-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rel_eng/upload: Purge both $rel_name/ and $ver/

This is necessary for prereleases, where GHCup accesses the release via

`$ver/`

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b85a4631eb151b55a138371e6f53ae8f9f351d31">b85a4631</a></strong>

<div>

<span> by Brandon Chinn </span> <i> at 2024-03-12T19:25:56-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Remove duplicate code normalising slashes

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c91946f994ad8b734b09cf3023f1fc9671a7475a">c91946f9</a></strong>

<div>

<span> by Brandon Chinn </span> <i> at 2024-03-12T19:25:56-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Simplify regexes with raw strings

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1a5f53c6d4f3812835b8b72f36d9d23004b38f1f">1a5f53c6</a></strong>

<div>

<span> by Brandon Chinn </span> <i> at 2024-03-12T19:25:57-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Don't normalize backslashes in characters

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7ea971d314c4eba59e12e94bf3eb8edb95fbfac5">7ea971d3</a></strong>

<div>

<span> by Andrei Borzenkov </span> <i> at 2024-03-12T19:26:32-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Fix compiler crash caused by implicit RHS quantification in type synonyms (#24470)

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/39f3ac3e1b47e9fdac8fcf2d1edcc300a37deb82">39f3ac3e</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2024-03-12T19:27:11-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Revert "compiler: make genSym use C-based atomic increment on non-JS 32-bit platforms"

This reverts commit 615eb855416ce536e02ed935ecc5a6f25519ae16. It was

originally intended to fix #24449, but it was merely sweeping the bug

under the rug. 3836a110577b5c9343915fd96c1b2c64217e0082 has properly

fixed the fragile test, and we no longer need the C version of genSym.

Furthermore, the C implementation causes trouble when compiling with

clang that targets i386 due to alignment warning and libatomic linking

issue, so it makes sense to revert it.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e6bfb85c842edca36754bb8914e725fbaa1a83a6">e6bfb85c</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2024-03-12T19:27:11-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; 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 out-of-bound memory access of genSym on 32-bit

This commit fixes an unnoticed out-of-bound memory access of genSym on

32-bit. ghc_unique_inc is 32-bit sized/aligned on 32-bit platforms,

but we mistakenly treat it as a Word64 pointer in genSym, and

therefore will accidentally load 2 garbage higher bytes, or with a

small but non-zero chance, overwrite something else in the data

section depends on how the linker places the data segments. This

regression was introduced in !11802 and fixed here.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/77171cd1d482dbb2776ee06b2454cc2176a891ce">77171cd1</a></strong>

<div>

<span> by Ben Orchard </span> <i> at 2024-03-14T09:00:40-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Note mutability of array and address access primops

Without an understanding of immutable vs. mutable memory, the index

primop family have a potentially non-intuitive type signature:

    indexOffAddr :: Addr# -> Int# -> a

    readOffAddr  :: Addr# -> Int# -> State# d -> (# State# d, a #)

indexOffAddr# might seem like a free generality improvement, which it

certainly is not!

This change adds a brief note on mutability expectations for most

index/read/write access primops.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7da7f8f643f1bfc4aa034a731f2f85cda007b286">7da7f8f6</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-03-14T09:01:15-04:00 </i>

</div>

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

Closes #24533

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/73be65abafcd4db8e3913415ec866f6e89881f22">73be65ab</a></strong>

<div>

<span> by Fendor </span> <i> at 2024-03-19T01:42:53-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Fix sharing of 'IfaceTyConInfo' during core to iface type translation

During heap analysis, we noticed that during generation of

'mi_extra_decls' we have lots of duplicates for the instances:

* `IfaceTyConInfo NotPromoted IfaceNormalTyCon`

* `IfaceTyConInfo IsPromoted IfaceNormalTyCon`

which should be shared instead of duplicated. This duplication increased

the number of live bytes by around 200MB while loading the agda codebase

into GHCi.

These instances are created during `CoreToIface` translation, in

particular `toIfaceTyCon`.

The generated core looks like:

    toIfaceTyCon

      = \ tc_sjJw ->

          case $wtoIfaceTyCon tc_sjJw of

          { (# ww_sjJz, ww1_sjNL, ww2_sjNM #) ->

          IfaceTyCon ww_sjJz (IfaceTyConInfo ww1_sjNL ww2_sjNM)

          }

whichs removes causes the sharing to work propery.

Adding explicit sharing, with NOINLINE annotations, changes the core to:

    toIfaceTyCon

      = \ tc_sjJq ->

          case $wtoIfaceTyCon tc_sjJq of { (# ww_sjNB, ww1_sjNC #) ->

          IfaceTyCon ww_sjNB ww1_sjNC

          }

which looks much more like sharing is happening.

We confirmed via ghc-debug that all duplications were eliminated and the

number of live bytes are noticeably reduced.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/bd8209eb8e447a5ae1d736f034f4a3986e0727f7">bd8209eb</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-03-19T01:43:28-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>EPA: Address more 9.10.1-alpha1 regressions from recent changes

Closes #24533

Hopefully for good this time

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/31bf85ee49fe2ca0b17eaee0774e395f017a9373">31bf85ee</a></strong>

<div>

<span> by Fendor </span> <i> at 2024-03-19T14:48:08-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Escape multiple arguments in the settings file

Uses responseFile syntax.

The issue arises when GHC is installed on windows into a location that

has a space, for example the user name is 'Fake User'.

The $topdir will also contain a space, consequentially.

When we resolve the top dir in the string `-I$topdir/mingw/include`,

then `words` will turn this single argument into `-I/C/Users/Fake` and

`User/.../mingw/include` which trips up the flag argument parser of

various tools such as gcc or clang.

We avoid this by escaping the $topdir before replacing it in

`initSettngs`.

Additionally, we allow to escape spaces and quotation marks for

arguments in `settings` file.

Add regression test case to count the number of options after variable

expansion and argument escaping took place.

Additionally, we check that escaped spaces and double quotation marks are

correctly parsed.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f45f700e81928c832a20ab420000b3eda6fa2153">f45f700e</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2024-03-19T14:48:44-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Read global package database from settings file

Before this patch, the global package database was always assumed to be

in libdir </> package.conf.d.

This causes issues in GHC's build system because there are sometimes

situations where the package database you need to use is not located in

the same place as the settings file.

* The stage1 compiler needs to use stage1 libraries, so we should set

  "Global Package DB" for the stage1 compiler to the stage1 package

  database.

* Stage 2 cross compilers need to use stage2 libraries, so likewise, we

  should set the package database path to `_build/stage2/lib/`

* The normal situation is where the stage2 compiler uses stage1

  libraries. Then everything lines up.

* When installing we have rearranged everything so that the settings

  file and package database line up properly, so then everything should

  continue to work as before. In this case we set the relative package

  db path to `package.conf.d`, so it resolves the same as before.

* ghc-pkg needs to be modified as well to look in the settings file fo

  the package database rather than assuming the global package database

  location relative to the lib folder.

* Cabal/cabal-install will work correctly because they query the global

  package database using `--print-global-package-db`.

A reasonable question is why not generate the "right" settings files in

the right places in GHC's build system. In order to do this you would

need to engineer wrappers for all executables to point to a specific

libdir. There are also situations where the same package db is used by

two different compilers with two different settings files (think stage2

cross compiler and stage3 compiler).

In short, this 10 line patch allows for some reasonable simplifications

in Hadrian at very little cost to anything else.

Fixes #24502

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/4c8f179405394e9961b2a7c148f0c650dd24e1e3">4c8f1794</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2024-03-19T14:48:44-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>hadrian: Remove stage1 testsuite wrappers logic

Now instead of producing wrappers which pass the global package database

argument to ghc and ghc-pkg, we write the location of the correct

package database into the settings file so you can just use the intree

compiler directly.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/da0d8ba56f817b5e450d826413b6448a92fb68f4">da0d8ba5</a></strong>

<div>

<span> by Matthew Craven </span> <i> at 2024-03-19T14:49:20-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Remove unused ghc-internal module "GHC.Internal.Constants"

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b56d2761274ca5cd8ed35e5f348f7d6fe1dcd45d">b56d2761</a></strong>

<div>

<span> by Matthew Craven </span> <i> at 2024-03-19T14:49:20-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>CorePrep: Rework lowering of BigNat# literals

Don't use bigNatFromWord#, because that's terrible:

 * We shouldn't have to traverse a linked list at run-time

   to build a BigNat# literal. That's just silly!

 * The static List object we have to create is much larger

   than the actual BigNat#'s contents, bloating code size.

 * We have to read the corresponding interface file,

   which causes un-tracked implicit dependencies. (#23942)

Instead, encode them into the appropriate platform-dependent

sequence of bytes, and generate code that copies these bytes

at run-time from an Addr# literal into a new ByteArray#.

A ByteArray# literal would be the correct thing to generate,

but these are not yet supported; see also #17747.

Somewhat surprisingly, this change results in a slight

reduction in compiler allocations, averaging around 0.5%

on ghc's compiler performance tests, including when compiling

programs that contain no bignum literals to begin with.

The specific cause of this has not been investigated.

Since this lowering no longer reads the interface file for

GHC.Num.BigNat, the reasoning in Note [Depend on GHC.Num.Integer]

is obsoleted.  But the story of un-tracked built-in dependencies

remains complex, and Note [Tracking dependencies on primitives]

now exists to explain this complexity.

Additionally, many empty imports have been modified to refer to

this new note and comply with its guidance.  Several empty imports

necessary for other reasons have also been given brief explanations.

Metric Decrease:

    MultiLayerModulesTH_OneShot

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/349ea3302bd81daa896e0541b6b8e34a5da16b52">349ea330</a></strong>

<div>

<span> by Fendor </span> <i> at 2024-03-19T14:50:00-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Eliminate thunk in 'IfaceTyCon'

Heap analysis showed that `IfaceTyCon` retains a thunk to

`IfaceTyConInfo`, defeating the sharing of the most common instances of

`IfaceTyConInfo`.

We make sure the indirection is removed by adding bang patterns to

`IfaceTyCon`.

Experimental results on the agda code base, where the `mi_extra_decls`

were read from disk:

Before this change, we observe around 8654045 instances of:

`IfaceTyCon[Name,THUNK_1_0]`

But these thunks almost exclusively point to a shared value!

Forcing the thunk a little bit more, leads to `ghc-debug` reporting:

`IfaceTyCon[Name:Name,IfaceTyConInfo]`

and a noticeable reduction of live bytes (on agda ~10%).

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/594bee0bb1b5df2f0459acbd5fa69e44a6036e5f">594bee0b</a></strong>

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2024-03-19T14:50:36-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Minor misc cleanups

- GHC.HsToCore.Foreign.JavaScript: remove dropRuntimeRepArgs;

  boxed tuples don't take RuntimeRep args

- GHC.HsToCore.Foreign.Call: avoid partial pattern matching

- GHC.Stg.Unarise: strengthen the assertion; we can assert that

  non-rubbish literals are unary rather than just non-void

- GHC.Tc.Gen.HsType: make sure the fsLit "literal" rule fires

- users_guide/using-warnings.rst: remove -Wforall-identifier,

  now deprecated and does nothing

- users_guide/using.rst: fix formatting

- andy_cherry/test.T: remove expect_broken_for(23272...), 23272 is fixed

The rest are simple cleanups.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cf55a54b1aec7a533a4e409b01d08f4923348fa8">cf55a54b</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-19T14:51:12-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>mk/relpath: Fix quoting

Previously there were two instances in this script which lacked proper

quoting. This resulted in `relpath` invocations in the binary

distribution Makefile producing incorrect results on Windows, leading to

confusing failures from `sed` and the production of empty package

registrations.

Fixes #24538.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5ff883896baa238f82da60e5f168bc93cabe48e4">5ff88389</a></strong>

<div>

<span> by Bryan Richter </span> <i> at 2024-03-19T14:51:48-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>testsuite: Disable T21336a on wasm

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/600233519d465458611918e26819a00a6e3136f6">60023351</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-19T22:33:10-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>hadrian/bindist: Eliminate extraneous `dirname` invocation

Previously we would call `dirname` twice per installed library file.

We now instead reuse this result. This helps appreciably on Windows, where

processes are quite expensive.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/616ac30026e8dd7d2ebb98d92dde071eedf5d951">616ac300</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-19T22:33:10-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>hadrian: Package mingw toolchain in expected location

This fixes #24525, a regression due to 41cbaf44a6ab5eb9fa676d65d32df8377898dc89.

Specifically, GHC expects to find the mingw32 toolchain in the binary distribution

root. However, after this patch it was packaged in the `lib/` directory.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/de9daadeee3998946c244c2fb5c93aa1be7db8e4">de9daade</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-19T22:33:11-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>gitlab/rel_eng: More upload.sh tweaks

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1dfe12db0dbb720bc97a857dec6e1f3f99c26621">1dfe12db</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-19T22:33:11-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rel_eng: Drop dead prepare_docs codepath

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/dd2d748bb4135bffe39df025be55e881b87623df">dd2d748b</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-19T22:33:11-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rel_env/recompress_all: unxz before recompressing

Previously we would rather compress the xz *again*, before in addition

compressing it with the desired scheme.

Fixes #24545.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9d936c5799daadf96392211b03e38520925aea17">9d936c57</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-19T22:33:11-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>mk-ghcup-metadata: Fix directory of testsuite tarball

As reported in #24546, the `dlTest` artifact should be extracted into

the `testsuite` directory.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6d398066b6084a971248da8ce37bc40c53a83525">6d398066</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-19T22:33:11-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>ghcup-metadata: Don't populate dlOutput unless necessary

ghcup can apparently infer the output name of an artifact from its URL.

Consequently, we should only include the `dlOutput` field when it would

differ from the filename of `dlUri`.

Fixes #24547.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/576f8b7ec292382aaa47fceab504b5abf4cc1f8a">576f8b7e</a></strong>

<div>

<span> by Zubin Duggal </span> <i> at 2024-03-19T22:33:46-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Revert "Apply shellcheck suggestion to SUBST_TOOLDIR"

This reverts commit c82770f57977a2b5add6e1378f234f8dd6153392.

The shellcheck suggestion is spurious and results in SUBST_TOOLDIR being a

no-op. `set` sets positional arguments for bash, but we want to set the variable

given as the first autoconf argument.

Fixes #24542

Metric decreases because the paths in the settings file are now shorter,

so we allocate less when we read the settings file.

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

Metric Decrease:

    T12425

    T13035

    T9198

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

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cdfe6e01f113dbed9df6703c97207c02fc60303b">cdfe6e01</a></strong>

<div>

<span> by Fendor </span> <i> at 2024-03-19T22:34:22-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Compact serialisation of IfaceAppArgs

In #24563, we identified that IfaceAppArgs serialisation tags each

cons cell element with a discriminator byte. These bytes add up

quickly, blowing up interface files considerably when

'-fwrite-if-simplified-core' is enabled.

We compact the serialisation by writing out the length of

'IfaceAppArgs', followed by serialising the elements directly without

any discriminator byte.

This improvement can decrease the size of some interface files by up

to 35%.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/97a2bb1cdfa4b244a58374658aec6d48ce23a54a">97a2bb1c</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-03-20T17:11:29+00:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Expand untyped splices in tcPolyExprCheck

Fixes #24559

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5f27517687c711593a23f1c9e5bd09ad9ec22fa4">5f275176</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-03-20T22:44:12-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>EPA: Clean up Exactprint helper functions a bit

- Introduce a helper lens to compose on `EpAnn a` vs `a` versions

- Rename some prime versions of functions back to non-prime

  They were renamed during the rework

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/da2a10ceab7498fbbd5723dee0393ce75f2bb562">da2a10ce</a></strong>

<div>

<span> by Vladislav Zavialov </span> <i> at 2024-03-20T22:44:48-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Type operators in promoteOccName (#24570)

Type operators differ from term operators in that they are lexically

classified as (type) constructors, not as (type) variables.

Prior to this change, promoteOccName did not account for this

difference, causing a scoping issue that affected RequiredTypeArguments.

  type (!@#) = Bool

  f = idee (!@#)      -- Not in scope: ‘!@#’  (BUG)

Now we have a special case in promoteOccName to account for this.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/247fc0fa9a0fe1f37fabc5a28640b41d7f665aac">247fc0fa</a></strong>

<div>

<span> by Preetham Gujjula </span> <i> at 2024-03-21T10:19:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>docs: Remove mention of non-existent Ord instance for Complex

The documentation for Data.Complex says that the Ord instance for Complex Float

is deficient, but there is no Ord instance for Complex a. The Eq instance for

Complex Float is similarly deficient, so we use that as an example instead.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6fafc51e9206abd62881131c282ec3b9e1584c5b">6fafc51e</a></strong>

<div>

<span> by Andrei Borzenkov </span> <i> at 2024-03-21T10:19:54-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Fix TH handling in `pat_to_type_pat` function (#24571)

There was missing case for `SplicePat` in `pat_to_type_at` function,

hence patterns with splicing that checked against `forall->` doesn't work

properly because they fall into the "illegal pattern" case.

Code example that is now accepted:

  g :: forall a -> ()

  g $([p| a |]) = ()

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/52072f8e2121fe49a8367027efa3d8db32325f84">52072f8e</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2024-03-21T21:01:59-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Type-check default declarations before deriving clauses (#24566)

See added Note and #24566. Default declarations must be type-checked

before deriving clauses.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7dfdf3d9fbc216653fe2cf95cc52c35900bdc8b4">7dfdf3d9</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2024-03-21T21:02:40-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Lexer: small perf changes

- Use unsafeChr because we know our values to be valid

- Remove some unnecessary use of `ord` (return Word8 values directly)

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/864922ef8ab97ea6dfe970be69f0c2fa78315b08">864922ef</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2024-03-21T21:02:40-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>JS: fix some comments

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3e0b2b1f14e5e82eaa1dc6fbf8dceb5f539f5aa3">3e0b2b1f</a></strong>

<div>

<span> by Sebastian Graf </span> <i> at 2024-03-21T21:03:16-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Simplifier: Re-do dependency analysis in abstractFloats (#24551)

In #24551, we abstracted a string literal binding over a type variable,

triggering a CoreLint error when that binding floated to top-level.

The solution implemented in this patch fixes this by re-doing dependency

analysis on a simplified recursive let binding that is about to be type

abstracted, in order to find the minimal set of type variables to abstract over.

See wrinkle (AB5) of Note [Floating and type abstraction] for more details.

Fixes #24551

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8a8ac65a51fd3163b4a189b427bd495bfdc61cf5">8a8ac65a</a></strong>

<div>

<span> by Matthew Craven </span> <i> at 2024-03-23T00:20:52-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Improve toInteger @Word32 on 64-bit platforms

On 64-bit platforms, every Word32 fits in an Int, so we can

convert to Int# without having to perform the overflow check

integerFromWord# uses internally.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/0c48f2b952ad4ee995e4eafa458b7a8d3c442415">0c48f2b9</a></strong>

<div>

<span> by Apoorv Ingle </span> <i> at 2024-03-23T00:21:28-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; 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 #24552 (see testcase T24552)

Fixes for a bug in desugaring pattern synonyms matches, introduced

while working on  on expanding `do`-blocks in #18324

The `matchWrapper` unecessarily (and incorrectly) filtered out the

default wild patterns in a match. Now the wild pattern alternative is

simply ignored by the pm check as its origin is `Generated`.

The current code now matches the expected semantics according to the language spec.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b72705e9b2ae5575aef92ede6ff975bbbe43004d">b72705e9</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-03-23T00:22:04-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Print more info about kinds in error messages

This fixes #24553, where GHC unhelpfully said

  error: [GHC-83865]

    • Expected kind ‘* -> * -> *’, but ‘Foo’ has kind ‘* -> * -> *’

See Note [Showing invisible bits of types in error messages]

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8f7cfc7ee00978fda14f31ce4a56ad4639c07138">8f7cfc7e</a></strong>

<div>

<span> by Tristan Cacqueray </span> <i> at 2024-03-23T00:22:44-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>docs: remove the don't use float hint

This hint is outdated, ``Complex Float`` are now specialised,

and the heap space suggestion needs more nuance so it should

be explained in the unboxed/storable array documentation.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5bd8ed53dcefe10b72acb5729789e19ceb22df66">5bd8ed53</a></strong>

<div>

<span> by Andreas Klebinger </span> <i> at 2024-03-23T16:18:33-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>NCG: Fix a bug in jump shortcutting.

When checking if a jump has more than one destination account for the

possibility of some jumps not being representable by a BlockId.

We do so by having isJumpishInstr return a `Maybe BlockId` where Nothing

represents non-BlockId jump destinations.

Fixes #24507

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8d67f247c3e4ca3810712654e1becbf927405f6b">8d67f247</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-23T16:19:09-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>docs: Drop old release notes, add for 9.12.1

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7db8c9927fae3369fc4ecff68f80c4cb32eea757">7db8c992</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2024-03-25T13:45:46-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; 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 clang compilation on aarch64

This patch fixes function prototypes in ARMOutlineAtomicsSymbols.h

which causes "error: address argument to atomic operation must be a

pointer to _Atomic type" when compiling with clang on aarch64.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/237194ceb4f227e9f69e8e6f913afa0496d2a583">237194ce</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2024-03-25T13:46:27-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Lexer: fix imports for Alex 3.5.1 (#24583)

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/810660b780e1111b36c91326bcd0041e1f62706b">810660b7</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2024-03-25T22:19:16-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>libffi-tarballs: bump libffi-tarballs submodule to libffi 3.4.6

This commit bumps the libffi-tarballs submodule to libffi 3.4.6, which

includes numerous upstream libffi fixes, especially

https://github.com/libffi/libffi/issues/760.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d2ba41e8c3e71d70a0f80dcc3f588ecbdc5ce4b2">d2ba41e8</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-03-25T22:19:51-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>EPA: do not duplicate comments in signature RHS

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/32a8103f3b3e22907fdd67b69c919c5251d8cc20">32a8103f</a></strong>

<div>

<span> by Rodrigo Mesquita </span> <i> at 2024-03-26T21:16:12-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>configure: Use LDFLAGS when trying linkers

A user may configure `LDFLAGS` but not `LD`. When choosing a linker, we

will prefer `ldd`, then `ld.gold`, then `ld.bfd` -- however, we have to

check for a working linker. If either of these fail, we try the next in

line.

However, we were not considering the `$LDFLAGS` when checking if these

linkers worked. So we would pick a linker that does not support the

current $LDFLAGS and fail further down the line when we used that linker

with those flags.

Fixes #24565, where `LDFLAGS=-Wl,-z,pack-relative-relocs` is not

supported by `ld.gold` but that was being picked still.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/bf65a7c388b399b7b3c6b97f25d97164390b75f1">bf65a7c3</a></strong>

<div>

<span> by Rodrigo Mesquita </span> <i> at 2024-03-26T21:16:48-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>bindist: Clean xattrs of bin and lib at configure time

For issue #21506, we started cleaning the extended attributes of

binaries and libraries from the bindist *after* they were installed to

workaround notarisation (#17418), as part of `make install`.

However, the `ghc-toolchain` binary that is now shipped with the bindist

must be run at `./configure` time. Since we only cleaned the xattributes

of the binaries and libs after they were installed, in some situations

users would be unable to run `ghc-toolchain` from the bindist, failing

at configure time (#24554).

In this commit we move the xattr cleaning logic to the configure script.

Fixes #24554

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cfeb70d3fed9c135295359296208bd800bab418f">cfeb70d3</a></strong>

<div>

<span> by Rodrigo Mesquita </span> <i> at 2024-03-26T21:17:24-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Revert "NCG: Fix a bug in jump shortcutting."

This reverts commit 5bd8ed53dcefe10b72acb5729789e19ceb22df66.

Fixes #24586

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/13223f6d6c7ef7591e53d033296c6ceb760ead63">13223f6d</a></strong>

<div>

<span> by Serge S. Gulin </span> <i> at 2024-03-27T07:28:51-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>JS: `h$rts_isProfiled` is removed from `profiling` and left its version at

`rts/js/config.js`

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/0acfe391583d77a72051d505f05fab0ada056c49">0acfe391</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-03-27T07:29:27-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>EPA: Do not extend declaration range for trailine zero len semi

The lexer inserts virtual semicolons having zero width.

Do not use them to extend the list span of items in a list.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cd0fb82f57a16c96e720d47ec80a4f8fda58083d">cd0fb82f</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-03-27T19:33:08+00:00 </i>

</div>

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

The span was incorrect if opt_datafam_kind_sig was empty

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f8f384a8cc7212284379d109f6dc78c6188f3f18">f8f384a8</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-03-29T01:23:03-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Fix type of _get_osfhandle foreign import

Fixes #24601.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/00d3ecf0775c1a3f1ab8495e5e125f21d450394e">00d3ecf0</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-03-29T12:19:10+00:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>EPA: Extend StringLiteral range to include trailing commas

This goes slightly against the exact printing philosophy where

trailing decorations should be in an annotation, but the

practicalities of adding it to the WarningTxt environment, and the

problems caused by deviating do not make a more principles approach

worthwhile.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/efab3649b685d92b1856a62532b343ef70777612">efab3649</a></strong>

<div>

<span> by brandon s allbery kf8nh </span> <i> at 2024-03-31T20:04:01-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>clarify Note [Preproccesing invocations]

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c8a4c050626f451461a3667589d40004b2547a1c">c8a4c050</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-04-02T12:50:35-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; 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 TSAN_ENABLED CPP guard

This should be `#if defined(TSAN_ENABLED)`, not `#if TSAN_ENABLED`,

lest we suffer warnings.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e91dad93ff50b429d5717c81fbd5fe20ff2defd9">e91dad93</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2024-04-02T12:50:35-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; 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 errors when compiling with TSAN

This commit fixes rts compilation errors when compiling with TSAN:

- xxx_FENCE macros are redefined and trigger CPP warnings.

- Use SIZEOF_W. WORD_SIZE_IN_BITS is provided by MachDeps.h which

  Cmm.h doesn't include by default.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/a9ab9455b0159c955ea8c38ac113e4cbe47d410f">a9ab9455</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2024-04-02T12:50:35-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; 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 clang-specific errors when compiling with TSAN

This commit fixes clang-specific rts compilation errors when compiling

with TSAN:

- clang doesn't have -Wtsan flag

- Fix prototype of ghc_tsan_* helper functions

- __tsan_atomic_* functions aren't clang built-ins and

  sanitizer/tsan_interface_atomic.h needs to be included

- On macOS, TSAN runtime library is

  libclang_rt.tsan_osx_dynamic.dylib, not libtsan. -fsanitize-thread

  as a link-time flag will take care of linking the TSAN runtime

  library anyway so remove tsan as an rts extra library

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/865bd717cc4c63d6926138c5b8c71addcf70a1e7">865bd717</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2024-04-02T12:50:35-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; 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 github link to __tsan_memory_order in a comment

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/07cb627c8232f573bd6a8ea1b7c110ff3c1b5d22">07cb627c</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2024-04-02T12:50:35-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>ci: improve TSAN CI jobs

- Run TSAN jobs with +thread_sanitizer_cmm which enables Cmm

  instrumentation as well.

- Run TSAN jobs in deb12 which ships gcc-12, a reasonably recent gcc

  that @bgamari confirms he's using in #GHC:matrix.org. Ideally we

  should be using latest clang release for latest improvements in

  sanitizers, though that's left as future work.

- Mark TSAN jobs as manual+allow_failure in validate pipelines. The

  purpose is to demonstrate that we have indeed at least fixed

  building of TSAN mode in CI without blocking the patch to land, and

  once merged other people can begin playing with TSAN using their own

  dev setups and feature branches.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/a1c18c7b70f25a733fe36a24950a981134751767">a1c18c7b</a></strong>

<div>

<span> by Andrei Borzenkov </span> <i> at 2024-04-02T12:51:11-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Merge tc_infer_hs_type and tc_hs_type into one function using ExpType philosophy (#24299, #23639)

This patch implements refactoring which is a prerequisite to

updating kind checking of type patterns. This is a huge simplification

of the main worker that checks kind of HsType.

It also fixes the issues caused by previous code duplication, e.g.

that we didn't add module finalizers from splices in inference mode.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/817e89362e74b5177c02deee31f16cec862052cc">817e8936</a></strong>

<div>

<span> by Rodrigo Mesquita </span> <i> at 2024-04-02T20:13:05-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>th: Hide the Language.Haskell.TH.Lib.Internal module from haddock

Fixes #24562

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b36ee57bfbecc628b7f0919e1e59b7066495034f">b36ee57b</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2024-04-02T20:13:46-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>JS: reenable h$appendToHsString optimization (#24495)

The optimization introducing h$appendToHsString wasn't kicking in

anymore (while it did in 9.8.1) because of the changes introduced in #23270 (7e0c8b3bab30).

This patch reenables the optimization by matching on case-expression, as

done in Cmm for unpackCString# standard thunks.

The test is also T24495 added in the next commits (two commits for ease

of backporting to 9.8).

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/527616e950fd8942c182be903d176f4b9890ee5a">527616e9</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2024-04-02T20:13:46-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>JS: fix h$appendToHsString implementation (#24495)

h$appendToHsString needs to wrap its argument in an updatable thunk

to behave like unpackAppendCString#. Otherwise if a SingleEntry thunk is

passed, it is stored as-is in a CONS cell, making the resulting list

impossible to deepseq (forcing the thunk doesn't update the contents of

the CONS cell)!

The added test checks that the optimization kicks in and that

h$appendToHsString works as intended.

Fix #24495

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/faa30b41a6f941627ddeeba805815b2742d312d1">faa30b41</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-02T20:14:22-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Deal with duplicate tyvars in type declarations

GHC was outright crashing before this fix: #24604

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e0b0c71716e700d3fb5fc2aec8c14ac588f60636">e0b0c717</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-02T20:14:58-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Try using MCoercion in exprIsConApp_maybe

This is just a simple refactor that makes exprIsConApp_maybe

a little bit more direct, simple, and efficient.

Metrics: compile_time/bytes allocated

    geo. mean                                          -0.1%

    minimum                                            -2.0%

    maximum                                            -0.0%

Not a big gain, but worthwhile given that the code is, if anything,

easier to grok.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/15f4d8679a180b2d1361def20fbe30cf6119730d">15f4d867</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:17-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Initial ./configure support for selecting I/O managers

In this patch we just define new CPP vars, but don't yet use them

or replace the existing approach. That will follow.

The intention here is that every I/O manager can be enabled/disabled at

GHC build time (subject to some constraints). More than one I/O manager

can be enabled to be built. At least one I/O manager supporting the

non-threaded RTS must be enabled as well as at least one supporting the

non-threaded RTS. The I/O managers enabled here will become the choices

available at runtime at RTS startup (in later patches). The choice can

be made with RTS flags. There are separate sets of choices for the

threaded and non-threaded RTS ways, because most I/O managers are

specific to these ways. Furthermore we must establish a default I/O

manager for the threaded and non-threaded RTS.

Most I/O managers are platform-specific so there are checks to ensure

each one can be enabled on the platform. Such checks are also where (in

future) any system dependencies (e.g. libraries) can be checked.

The output is a set of CPP flags (in the mk/config.h file), with one

flag per named I/O manager:

* IOMGR_BUILD_<name>                : which ones should be built (some)

* IOMGR_DEFAULT_NON_THREADED_<name> : which one is default (exactly one)

* IOMGR_DEFAULT_THREADED_<name>     : which one is default (exactly one)

and a set of derived flags in IOManager.h

* IOMGR_ENABLED_<name>              : enabled for the current RTS way

Note that IOMGR_BUILD_<name> just says that an I/O manager will be

built for _some_ RTS way (i.e. threaded or non-threaded). The derived

flags IOMGR_ENABLED_<name> in IOManager.h say if each I/O manager is

enabled in the "current" RTS way. These are the ones that can be used

for conditional compilation of the I/O manager code.

Co-authored-by: Pi Delport <pi@well-typed.com>

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/85b0f87a298c8e54b06a8f8c6ce88669c5cad3bc">85b0f87a</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:17-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Change the handling of the RTS flag --io-manager=

Now instead of it being just used on Windows to select between the WinIO

vs the MIO or Win32-legacy I/O managers, it is now used on all platforms

for selecting the I/O manager to use.

Right now it remains the case that there is only an actual choice on

Windows, but that will change later.

Document the --io-manager flag in the user guide.

This change is also reflected in the RTS flags types in the base

library. Deprecate the export of IoSubSystem from GHC.RTS.Flags with a

message to import it from GHC.IO.Subsystem.

The way the 'IoSubSystem' is detected also changes. Instead of looking

at the RTS flag, there is now a C bool global var in the RTS which gets

set on startup when the I/O manager is selected. This bool var says

whether the selected I/O manager classifies as "native" on Windows,

which in practice means the WinIO I/O manager has been selected.

Similarly, the is_io_mng_native_p RTS helper function is re-implemented

in terms of the selected I/O manager, rather than based on the RTS

flags.

We do however remove the ./configure --native-io-manager flag because

we're bringing the WinIO/MIO/Win32-legacy choice under the new general

scheme for selecting I/O managers, and that new scheme involves no

./configure time user choices, just runtime RTS flag choices.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1a8f020f9d2c4d2dd14c1060bcf862ac800d2ff1">1a8f020f</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:17-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Convert {init,stop,exit}IOManager to switch style

Rather than ad-hoc cpp conitionals on THREADED_RTS and mingw32_HOST_OS,

we use a style where we switch on the I/O manager impl, with cases for

each I/O manager impl.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/a5bad3d2e65c95a24676fb44d71d84bb8ca33852">a5bad3d2</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:17-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Split up the CapIOManager content by I/O manager

Using the new IOMGR_ENABLED_<name> CPP defines.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1d36e609d92955f1a3e8b12520768fb7a525952a">1d36e609</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:17-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Convert initIOManagerAfterFork and wakeupIOManager to switch style

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c2f26f36b87ffe4824fc3d62449340285d80ed56">c2f26f36</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Move most of waitRead#/Write# from cmm to C

Moves it into the IOManager.c where we can follow the new pattern of

switching on the selected I/O manager.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/457705a8a8adcd17f8e91111383063596a6514de">457705a8</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Move most of the delay# impl from cmm to C

Moves it into the IOManager.c where we can follow the new pattern of

switching on the selected I/O manager.

Uses a new IOManager API: syncDelay, following the naming convention of

sync* for thread-synchronous I/O & timer/delay operations.

As part of porting from cmm to C, we maintain the rule that the

why_blocked gets accessed using load acquire and store release atomic

memory operations. There was one exception to this rule: in the delay#

primop cmm code on posix (not win32), the why_blocked was being updated

using a store relaxed, not a store release. I've no idea why. In this

convesion I'm playing it safe here and using store release consistently.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e93058e0c00500b449ba5d6ed51b2ee1eab32c7d">e93058e0</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>insertIntoSleepingQueue is no longer public

No longer defined in IOManager.h, just a private function in

IOManager.c. Since it is no longer called from cmm code, just from

syncDelay. It ought to get moved further into the select() I/O manager

impl, rather than living in IOManager.c.

On the other hand appendToIOBlockedQueue is still called from cmm code

in the win32-legacy I/O manager primops async{Read,Write}#, and it is

also used by the select() I/O manager. Update the CPP and comments to

reflect this.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/60ce9910dd60acc1fed5edcaf4f13222664f4457">60ce9910</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Move anyPendingTimeoutsOrIO impl from .h to .c

The implementation is eventually going to need to use more private

things, which will drag in unwanted includes into IOManager.h, so it's

better to move the impl out of the header file and into the .c file, at

the slight cost of it no longer being inline.

At the same time, change to the "switch (iomgr_type)" style.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f70b81088ad89bda9b2bc15a096e0410291ffaaf">f70b8108</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Take a simpler approach to gcc warnings in IOManager.c

We have lots of functions with conditional implementations for

different I/O managers. Some functions, for some I/O managers,

naturally have implementations that do nothing or barf. When only one

such I/O manager is enabled then the whole function implementation will

have an implementation that does nothing or barfs. This then results in

warnings from gcc that parameters are unused, or that the function

should be marked with attribute noreturn (since barf does not return).

The USED_IF_THREADS trick for fine-grained warning supression is fine

for just two cases, but an equivalent here would need

USED_IF_THE_ONLY_ENABLED_IOMGR_IS_X_OR_Y which would have combinitorial

blowup. So we take a coarse grained approach and simply disable these

two warnings for the whole file.

So we use a GCC pragma, with its handy push/pop support:

 #pragma GCC diagnostic push

 #pragma GCC diagnostic ignored "-Wsuggest-attribute=noreturn"

 #pragma GCC diagnostic ignored "-Wunused-parameter"

...

 #pragma GCC diagnostic pop

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b48805b98417ca9d20d36ebb0d7464bb6356cda9">b48805b9</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Add a new trace class for the iomanager

It makes sense now for it to be separate from the scheduler class of

tracers.

Enabled with +RTS -Do. Document the -Do debug flag in the user guide.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f0c1f862563cc337b2ce3b8d053d4eaa98dd4cab">f0c1f862</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Have the throwTo impl go via (new) IOManager APIs

rather than directly operating on the IO manager's data structures.

Specifically, when thowing an async exception to a thread that is

blocked waiting for I/O or waiting for a timer, then we want to cancel

that I/O waiting or cancel the timer. Currently this is done directly in

removeFromQueues() in RaiseAsync.c. We want it to go via proper APIs

both for modularity but also to let us support multiple I/O managers.

So add sync{IO,Delay}Cancel, which is the cancellation for the

corresponding sync{IO,Delay}. The implementations of these use the usual

"switch (iomgr_type)" style.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/4f9e9c4e94d86b8667bbcb6192ef388e85671318">4f9e9c4e</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Move awaitEvent into a proper IOManager API

and have the scheduler use it.

Previously the scheduler calls awaitEvent directly, and awaitEvent is

implemented directly in the RTS I/O managers (select, win32). This

relies on the old scheme where there's a single active I/O manager for

each platform and RTS way.

We want to move that to go via an API in IOManager.{h,c} which can then

call out to the active I/O manager.

Also take the opportunity to split awaitEvent into two. The existing

awaitEvent has a bool wait parameter, to say if the call should be

blocking or non-blocking. We split this into two separate functions:

pollCompletedTimeoutsOrIO and awaitCompletedTimeoutsOrIO. We split them

for a few reasons: they have different post-conditions (specifically the

await version is supposed to guarantee that there are threads runnable

when it completes). Secondly, it is also anticipated that in future I/O

managers the implementations of the two cases will be simpler if they

are separated.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5ad4b30fed01918eafa8158c467583a430a047ae">5ad4b30f</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Rename awaitEvent in select and win32 I/O managers

These are now just called from IOManager.c and are the per-I/O manager

backend impls (whereas previously awaitEvent was the entry point).

Follow the new naming convention in the IOManager.{h,c} of

awaitCompletedTimeoutsOrIO, with the I/O manager's name as a suffix:

so awaitCompletedTimeoutsOrIO{Select,Win32}.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d30c6bc638b8f9b99377c83b62d8ea13109eae64">d30c6bc6</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Tidy up a couple things in Select.{h,c}

Use the standard #include {Begin,End}Private.h style rather than

RTS_PRIVATE on individual decls.

And conditionally build the code for the select I/O manager based on

the new CPP IOMGR_ENABLED_SELECT rather than on THREADED_RTS.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/4161f5163b2915dac39e2f14ca7dbb526bc1f257">4161f516</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Add an IOManager API for scavenging TSO blocked_info

When the GC scavenges a TSO it needs to scavenge the tso->blocked_info

but the blocked_info is a big union and what lives there depends on the

two->why_blocked, which for I/O-related reasons is something that in

principle is the responsibility of the I/O manager and not the GC. So

the right thing to do is for the GC to ask the I/O manager to sscavenge

the blocked_info if it encounters any I/O-related why_blocked reasons.

So we add scavengeTSOIOManager in IOManager.{h,c} with the usual style.

Now as it happens, right now, there is no special scavenging to do, so

the implementation of scavengeTSOIOManager is a fancy no-op. That's

because the select I/O manager uses only the fd and target members,

which are not GC pointers, and the win32-legacy I/O manager _ought_ to

be using GC-managed heap objects for the StgAsyncIOResult but it is

actually usingthe C heap, so again no GC pointers. If the win32-legacy

were doing this more sensibly, then scavengeTSOIOManager would be the

right place to do the GC magic.

Future I/O managers will need GC heap objects in the tso->blocked_info

and will make use of this functionality.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/94a87d21ff345bbea0935bae19f8eb3f20feadb0">94a87d21</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Add I/O manager API notifyIOManagerCapabilitiesChanged

Used in setNumCapabilities.

It only does anything for MIO on Posix.

Previously it always invoked Haskell code, but that code only did

anything on non-Windows (and non-JS), and only threaded. That currently

effectively means the MIO I/O manager on Posix.

So now it only invokes it for the MIO Posix case.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3be6d5910416e738384d83f89d3de8a0f647ead9">3be6d591</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Select an I/O manager early in RTS startup

We need to select the I/O manager to use during startup before the

per-cap I/O manager initialisation.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/aaa294d0fca80be3a8bb25bfa6ab2385c2a91705">aaa294d0</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Make struct CapIOManager be fully opaque

Provide an opaque (forward) definition in Capability.h (since the cap

contains a *CapIOManager) and then only provide a full definition in

a new file IOManagerInternals.h. This new file is only supposed to be

included by the IOManager implementation, not by its users. So that

means IOManager.c and individual I/O manager implementations.

The posix/Signals.c still needs direct access, but that should be

eliminated. Anything that needs direct access either needs to be clearly

part of an I/O manager (e.g. the sleect() one) or go via a proper API.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/877a2a806015bfe5042b9939e6691d840a82f574">877a2a80</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>The select() I/O manager does have some global initialisation

It's just to make sure an exception CAF is a GC root.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9c51473bbb4d6b7f4be95901da72ab4a2c73d446">9c51473b</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Add tracing for the main I/O manager actions

Using the new tracer class.

Note: The unconditional definition of showIOManager should be

compatible with the debugTrace change in 7c7d1f6.

Co-authored-by: Pi Delport <pi@well-typed.com>

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c7d3e3a39ad576251d7193ea8bd149df65ef27a4">c7d3e3a3</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Include the default I/O manager in the +RTS --info output

Document the extra +RTS --info output in the user guide

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8023bad4ab76e88cb6f2ff5126f980535a1c51d7">8023bad4</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>waitRead# / waitWrite# do not work for win32-legacy I/O manager

Previously it was unclear that they did not work because the code path

was shared with other I/O managers (in particular select()).

Following the code carefully shows that what actually happens is that

the calling thread would block forever: the thread will be put into the

blocked queue, but no other action is scheduled that will ever result in

it getting unblocked.

It's better to just fail loudly in case anyone accidentally calls it,

also it's less confusing code.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/83a74d205af04f90f02b6478e5d79a299f443f22">83a74d20</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Conditionally ignore some GCC warnings

Some GCC versions don't know about some warnings, and they complain

that we're ignoring unknown warnings. So we try to ignore the warning

based on the GCC version.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1adc6fa43e0c2f577c15f560d767c7af9eec2c04">1adc6fa4</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Accept changes to base-exports

All the changes are in fact not changes at all.

Previously, the IoSubSystem data type was defined in GHC.RTS.Flags and

exported from both GHC.RTS.Flags and GHC.IO.SubSystem. Now, the data

type is defined in GHC.IO.SubSystem and still exported from both

modules.

Therefore, the same exports and same instances are still available from

both modules. But the base-exports records only the defining module, and

so it looks like a change when it is fully compatible.

Related: we do add a deprecation to the export of the type via

GHC.RTS.Flags, telling people to use the export from GHC.IO.SubSystem.

Also the sort order for some unrelated Show instances changed. No idea

why.

The same changes apply in the other versions, with a few more changes

due to sort order weirdness.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8d95096857dbea39b80befacab35182e0f64ae62">8d950968</a></strong>

<div>

<span> by Duncan Coutts </span> <i> at 2024-04-03T01:27:18-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Accept metric decrease in T12227

I can't think of any good reason that anything in this MR should have

changed the number of allocations, up or down.

(Yes this is an empty commit.)

Metric Decrease:

    T12227

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e869605e334f41b7ca129d1a87c7bb05e3e488f0">e869605e</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-03T01:27:55-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Several improvements to the handling of coercions

* Make `mkSymCo` and `mkInstCo` smarter

  Fixes #23642

* Fix return role of `SelCo` in the coercion optimiser.

  Fixes #23617

* Make the coercion optimiser `opt_trans_rule` work better for newtypes

  Fixes #23619

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1efd071441c60dcba6bbb3eaea51089d7f7371a3">1efd0714</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-03T01:27:55-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>FloatOut: improve floating for join point

See the new Note [Floating join point bindings].

* Completely get rid of the complicated join_ceiling nonsense, which

  I have never understood.

* Do not float join points at all, except perhaps to top level.

* Some refactoring around wantToFloat, to treat Rec and NonRec more

  uniformly

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9c00154d43e60b12e2d7e7a68ce68b2f6ab2fc39">9c00154d</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-03T01:27:55-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Improve eta-expansion through call stacks

See Note [Eta expanding through CallStacks] in GHC.Core.Opt.Arity

This is a one-line change, that fixes an inconsistency

-               || isCallStackPredTy ty

+               || isCallStackPredTy ty || isCallStackTy ty

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/95a9a172b0e441aa7c20fd5f67828f7102794d91">95a9a172</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-03T01:27:55-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Spelling, layout, pretty-printing only

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/bdf1660fedafe13af1cc6297463101d991e609f5">bdf1660f</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-03T01:27:55-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Improve exprIsConApp_maybe a little

Eliminate a redundant case at birth.  This sometimes reduces

Simplifier iterations.

See Note [Case elim in exprIsConApp_maybe].

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/609cd32c7a596c21e6da3b30774c36005eef59c2">609cd32c</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-03T01:27:55-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Inline GHC.HsToCore.Pmc.Solver.Types.trvVarInfo

When exploring compile-time regressions after meddling with the Simplifier, I

discovered that GHC.HsToCore.Pmc.Solver.Types.trvVarInfo was very delicately

balanced.  It's a small, heavily used, overloaded function and it's important

that it inlines. By a fluke it was before, but at various times in my journey it

stopped doing so.  So I just added an INLINE pragma to it; no sense in depending

on a delicately-balanced fluke.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/ae24c9bcd9dca47e538c267c8adba57bbc9347be">ae24c9bc</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-03T01:27:55-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Slight improvement in WorkWrap

Ensure that WorkWrap preserves lambda binders, in case of join points.  Sadly I

have forgotten why I made this change (it was while I was doing a lot of

meddling in the Simplifier, but

  * it does no harm,

  * it is slightly more efficient, and

  * presumably it made something better!

Anyway I have kept it in a separate commit.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e9297181068063cf82c9b8f76824110bcd1b1c46">e9297181</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-03T01:27:55-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Use named record fields for the CastIt { ... } data constructor

This is a pure refactor

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b4581e23727135682e0daedf8d76c6759d8acc67">b4581e23</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-03T01:27:55-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Remove a long-commented-out line

Pure refactoring

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e026bdf275e287005f2c2e534d3ba034ebf11c01">e026bdf2</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-03T01:27:55-04:00 </i>

</div>

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

This MR started as: allow the simplifer to do more in one pass,

arising from places I could see the simplifier taking two iterations

where one would do.  But it turned into a larger project, because

these changes unexpectedly made inlining blow up, especially join

points in deeply-nested cases.

The main changes are below.  There are also many new or rewritten Notes.

Avoiding simplifying repeatedly

~~~~~~~~~~~~~~~

See Note [Avoiding simplifying repeatedly]

* The SimplEnv now has a seInlineDepth field, which says how deep

  in unfoldings we are.  See Note [Inline depth] in Simplify.Env.

  Currently used only for the next point: avoiding repeatedly

  simplifying coercions.

* Avoid repeatedly simplifying coercions.

  see Note [Avoid re-simplifying coercions] in Simplify.Iteration

  As you'll see from the Note, this makes use of the seInlineDepth.

* Allow Simplify.Iteration.simplAuxBind to inline used-once things.

  This is another part of Note [Post-inline for single-use things], and

  is really good for reducing simplifier iterations in situations like

      case K e of { K x -> blah }

  wher x is used once in blah.

* Make GHC.Core.SimpleOpt.exprIsConApp_maybe do some simple case

  elimination.  Note [Case elim in exprIsConApp_maybe]

* Improve the case-merge transformation:

  - Move the main code to `GHC.Core.Utils.mergeCaseAlts`, to join `filterAlts`

    and friends.  See Note [Merge Nested Cases] in GHC.Core.Utils.

  - Add a new case for `tagToEnum#`; see wrinkle (MC3).

  - Add a new case to look through join points: see wrinkle (MC4)

postInlineUnconditionally

~~~~~~~~~~~~~~~~~~~~~~~~~

* Allow Simplify.Utils.postInlineUnconditionally to inline variables

  that are used exactly once. See Note [Post-inline for single-use things].

* Do not postInlineUnconditionally join point, ever.

  Doing so does not reduce allocation, which is the main point,

  and with join points that are used a lot it can bloat code.

  See point (1) of Note [Duplicating join points] in

  GHC.Core.Opt.Simplify.Iteration.

* Do not postInlineUnconditionally a strict (demanded) binding.

  It will not allocate a thunk (it'll turn into a case instead)

  so again the main point of inlining it doesn't hold.  Better

  to check per-call-site.

* Improve occurrence analyis for bottoming function calls, to help

  postInlineUnconditionally.  See Note [Bottoming function calls]

  in GHC.Core.Opt.OccurAnal

Inlining generally

~~~~~~~~~~~~~~~~~~

* In GHC.Core.Opt.Simplify.Utils.interestingCallContext,

  use RhsCtxt NonRecursive (not BoringCtxt) for a plain-seq case.

  See Note [Seq is boring]  Also, wrinkle (SB1), inline in that

  `seq` context only for INLINE functions (UnfWhen guidance).

* In GHC.Core.Opt.Simplify.Utils.interestingArg,

  - return ValueArg for OtherCon [c1,c2, ...], but

  - return NonTrivArg for OtherCon []

  This makes a function a little less likely to inline if all we

  know is that the argument is evaluated, but nothing else.

* isConLikeUnfolding is no longer true for OtherCon {}.

  This propagates to exprIsConLike.  Con-like-ness has /positive/

  information.

Join points

~~~~~~~~~~~

* Be very careful about inlining join points.

  See these two long Notes

    Note [Duplicating join points] in GHC.Core.Opt.Simplify.Iteration

    Note [Inlining join points] in GHC.Core.Opt.Simplify.Inline

* When making join points, don't do so if the join point is so small

  it will immediately be inlined; check uncondInlineJoin.

* In GHC.Core.Opt.Simplify.Inline.tryUnfolding, improve the inlining

  heuristics for join points. In general we /do not/ want to inline

  join points /even if they are small/.  See Note [Duplicating join points]

  GHC.Core.Opt.Simplify.Iteration.

  But sometimes we do: see Note [Inlining join points] in

  GHC.Core.Opt.Simplify.Inline; and the new `isBetterUnfoldingThan` function.

* Do not add an unfolding to a join point at birth.  This is a tricky one

  and has a long Note [Do not add unfoldings to join points at birth]

  It shows up in two places

  - In `mkDupableAlt` do not add an inlining

  - (trickier) In `simplLetUnfolding` don't add an unfolding for a

    fresh join point

  I am not fully satisifed with this, but it works and is well documented.

* In GHC.Core.Unfold.sizeExpr, make jumps small, so that we don't penalise

  having a non-inlined join point.

Performance changes

~~~~~~~~~~~~~~~~~~~

* Binary sizes fall by around 2.6%, according to nofib.

* Compile times improve slightly. Here are the figures over 1%.

  I investiate the biggest differnce in T18304. It's a very small module, just

  a few hundred nodes. The large percentage difffence is due to a single

  function that didn't quite inline before, and does now, making code size a

  bit bigger.  I decided gains outweighed the losses.

    Metrics: compile_time/bytes allocated (changes over +/- 1%)

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

           CoOpt_Singletons(normal)   -9.2% GOOD

                LargeRecord(normal)  -23.5% GOOD

MultiComponentModulesRecomp(normal)   +1.2%

MultiLayerModulesTH_OneShot(normal)   +4.1%  BAD

                  PmSeriesS(normal)   -3.8%

                  PmSeriesV(normal)   -1.5%

                     T11195(normal)   -1.3%

                     T12227(normal)  -20.4% GOOD

                     T12545(normal)   -3.2%

                     T12707(normal)   -2.1% GOOD

                     T13253(normal)   -1.2%

                 T13253-spj(normal)   +8.1%  BAD

                     T13386(normal)   -3.1% GOOD

                     T14766(normal)   -2.6% GOOD

                     T15164(normal)   -1.4%

                     T15304(normal)   +1.2%

                     T15630(normal)   -8.2%

                    T15630a(normal)          NEW

                     T15703(normal)  -14.7% GOOD

                     T16577(normal)   -2.3% GOOD

                     T17516(normal)  -39.7% GOOD

                     T18140(normal)   +1.2%

                     T18223(normal)  -17.1% GOOD

                     T18282(normal)   -5.0% GOOD

                     T18304(normal)  +10.8%  BAD

                     T18923(normal)   -2.9% GOOD

                      T1969(normal)   +1.0%

                     T19695(normal)   -1.5%

                     T20049(normal)  -12.7% GOOD

                    T21839c(normal)   -4.1% GOOD

                      T3064(normal)   -1.5%

                      T3294(normal)   +1.2%  BAD

                      T4801(normal)   +1.2%

                      T5030(normal)  -15.2% GOOD

                   T5321Fun(normal)   -2.2% GOOD

                      T6048(optasm)  -16.8% GOOD

                       T783(normal)   -1.2%

                      T8095(normal)   -6.0% GOOD

                      T9630(normal)   -4.7% GOOD

                      T9961(normal)   +1.9%  BAD

                      WWRec(normal)   -1.4%

        info_table_map_perf(normal)   -1.3%

                 parsing001(normal)   +1.5%

                          geo. mean   -2.0%

                          minimum    -39.7%

                          maximum    +10.8%

* Runtimes generally improve. In the testsuite perf/should_run gives:

   Metrics: runtime/bytes allocated

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

             Conversions(normal)   -0.3%

                 T13536a(optasm)  -41.7% GOOD

                   T4830(normal)   -0.1%

           haddock.Cabal(normal)   -0.1%

            haddock.base(normal)   -0.1%

        haddock.compiler(normal)   -0.1%

                       geo. mean   -0.8%

                       minimum    -41.7%

                       maximum     +0.0%

* For runtime, nofib is a better test.  The news is mostly good.

  Here are the number more than +/- 0.1%:

    # bytes allocated

    ==========================++==========

       imaginary/digits-of-e1 ||  -14.40%

       imaginary/digits-of-e2 ||   -4.41%

          imaginary/paraffins ||   -0.17%

               imaginary/rfib ||   -0.15%

       imaginary/wheel-sieve2 ||   -0.10%

                real/compress ||   -0.47%

                   real/fluid ||   -0.10%

                  real/fulsom ||   +0.14%

                  real/gamteb ||   -1.47%

                      real/gg ||   -0.20%

                   real/infer ||   +0.24%

                     real/pic ||   -0.23%

                  real/prolog ||   -0.36%

                     real/scs ||   -0.46%

                 real/smallpt ||   +4.03%

        shootout/k-nucleotide ||  -20.23%

              shootout/n-body ||   -0.42%

       shootout/spectral-norm ||   -0.13%

              spectral/boyer2 ||   -3.80%

         spectral/constraints ||   -0.27%

          spectral/hartel/ida ||   -0.82%

                spectral/mate ||  -20.34%

                spectral/para ||   +0.46%

             spectral/rewrite ||   +1.30%

              spectral/sphere ||   -0.14%

    ==========================++==========

                    geom mean ||   -0.59%

    real/smallpt has a huge nest of local definitions, and I

    could not pin down a reason for a regression.  But there are

    three big wins!

Metric Decrease:

    CoOpt_Singletons

    LargeRecord

    T12227

    T12707

    T13386

    T13536a

    T14766

    T15703

    T16577

    T17516

    T18223

    T18282

    T18923

    T21839c

    T20049

    T5321Fun

    T5030

    T6048

    T8095

    T9630

    T783

Metric Increase:

    MultiLayerModulesTH_OneShot

    T13253-spj

    T18304

    T18698a

    T9961

    T3294

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/27db3c5e99fa1cfc2f90246ea66d67d6eaccc231">27db3c5e</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-03T01:27:55-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Testsuite message changes from simplifier improvements

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/271a7812cbb47494c74b1dc3b7d2a26fd8d88365">271a7812</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-04-03T01:27:55-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Account for bottoming functions in OccurAnal

This fixes #24582, a small but long-standing bug

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/0fde229f1816a0f9a6f600df289b3d5d305eb0ea">0fde229f</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-04-04T07:04:58-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; 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 template-haskell-exports test

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/0c4a96862081f03e2946a2ed7e80c108f06205a1">0c4a9686</a></strong>

<div>

<span> by Luite Stegeman </span> <i> at 2024-04-04T07:05:39-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Update correct counter in bumpTickyAllocd

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5f085d3af61e3f7a73652dfc1ae57e7ed7d691f2">5f085d3a</a></strong>

<div>

<span> by Fendor </span> <i> at 2024-04-04T14:47:33-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Replace `SizedSeq` with `FlatBag` for flattened structure

LinkedLists are notoriously memory ineffiecient when all we do is

traversing a structure.

As 'UnlinkedBCO' has been identified as a data structure that impacts

the overall memory usage of GHCi sessions, we avoid linked lists and

prefer flattened structure for storing.

We introduce a new memory efficient representation of sequential

elements that has special support for the cases:

* Empty

* Singleton

* Tuple Elements

This improves sharing in the 'Empty' case and avoids the overhead of

'Array' until its constant overhead is justified.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/82cfe10c8c3ec68e1b054e2d6b88e1a8830c60bf">82cfe10c</a></strong>

<div>

<span> by Fendor </span> <i> at 2024-04-04T14:47:33-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Compact FlatBag array representation

`Array` contains three additional `Word`'s we do not need in `FlatBag`. Move

`FlatBag` to `SmallArray`.

Expand the API of SmallArray by `sizeofSmallArray` and add common

traversal functions, such as `mapSmallArray` and `foldMapSmallArray`.

Additionally, allow users to force the elements of a `SmallArray`

via `rnfSmallArray`.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/36a75b80ebe592f582f3f349e8c73b8293d49ed1">36a75b80</a></strong>

<div>

<span> by Andrei Borzenkov </span> <i> at 2024-04-04T14:48:10-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Change how invisible patterns represented in  haskell syntax and TH AST (#24557)

Before this patch:

  data ArgPat p

    = InvisPat (LHsType p)

    | VisPat (LPat p)

With this patch:

  data Pat p

    = ...

    | InvisPat (LHsType p)

    ...

And the same transformation in the TH land. The rest of the

changes is just updating code to handle new AST and writing tests

to check if it is possible to create invalid states using TH.

Metric Increase:

    MultiLayerModulesTH_OneShot

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/28009fbc26e4aca7a3b05cedb60c5c9baa31223d">28009fbc</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2024-04-04T14:48:46-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Fix off by one error in seekBinNoExpand and seekBin

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9b9e031b67dbc812c156a4773c0c9d293451fefa">9b9e031b</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-04-04T21:30:08-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>compiler: Allow more types in GHCForeignImportPrim

For many, many years `GHCForeignImportPrim` has suffered from the rather

restrictive limitation of not allowing any non-trivial types in arguments

or results. This limitation was justified by the code generator allegely

barfing in the presence of such types.

However, this restriction appears to originate well before the NCG

rewrite and the new NCG does not appear to have any trouble with such

types (see the added `T24598` test). Lift this restriction.

Fixes #24598.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1324b8626aeb4dc2d6a04f7605d307ef13d1e0e9">1324b862</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-04-04T21:30:44-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>EPA: Use EpaLocation not SrcSpan in ForeignDecls

This allows us to update them for makeDeltaAst in ghc-exactprint

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/19883a23b8bc704118fa663d8bab00a503b5a527">19883a23</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-04-05T16:58:17-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>EPA: Use EpaLocation for RecFieldsDotDot

So we can update it to a delta position in makeDeltaAst if needed.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e8724327d995a67d3eb066dfe4f9ee03e64dd6b5">e8724327</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2024-04-05T16:58:53-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Remove accidentally committed test.hs

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/88cb3e1079e88ba10065ce260a96095ae96d58e8">88cb3e10</a></strong>

<div>

<span> by Fendor </span> <i> at 2024-04-08T09:03:34-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Avoid UArray when indexing is not required

`UnlinkedBCO`'s can occur many times in the heap. Each `UnlinkedBCO`

references two `UArray`'s but never indexes them. They are only needed

to encode the elements into a `ByteArray#`. The three words for

the lower bound, upper bound and number of elements are essentially

unused, thus we replace `UArray` with a wrapper around `ByteArray#`.

This saves us up to three words for each `UnlinkedBCO`.

Further, to avoid re-allocating these words for `ResolvedBCO`, we repeat

the procedure for `ResolvedBCO` and add custom `Binary` and `Show` instances.

For example, agda's repl session has around 360_000 UnlinkedBCO's,

so avoiding these three words is already saving us around 8MB residency.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f2cc1107790d42fee1a11d5b16bc282d31ea6f78">f2cc1107</a></strong>

<div>

<span> by Fendor </span> <i> at 2024-04-08T09:04:11-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Never UNPACK `FastMutInt` for counting z-encoded `FastString`s

In `FastStringTable`, we count the number of z-encoded FastStrings

that exist in a GHC session.

We used to UNPACK the counters to not waste memory, but live retainer

analysis showed that we allocate a lot of `FastMutInt`s, retained by

`mkFastZString`.

We lazily compute the `FastZString`, only incrementing the counter when the `FastZString` is

forced.

The function `mkFastStringWith` calls `mkZFastString` and boxes the

`FastMutInt`, leading to the following core:

    mkFastStringWith

      = \ mk_fs _  ->

             = case stringTable of

                { FastStringTable _ n_zencs segments# _ ->

                    ...

                         case ((mk_fs (I# ...) (FastMutInt n_zencs))

                            `cast` <Co:2> :: ...)

                            ...

Marking this field as `NOUNPACK` avoids this reboxing, eliminating the

allocation of a fresh `FastMutInt` on every `FastString` allocation.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c6def9497819a2b7ac1a42cf8b57396b285f8659">c6def949</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2024-04-08T16:06:51-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Force in_multi to avoid retaining entire hsc_env

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/fbb91a6371308fffca926f0ab45ae0a14e7c6847">fbb91a63</a></strong>

<div>

<span> by Fendor </span> <i> at 2024-04-08T16:06:51-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Eliminate name thunk in declaration fingerprinting

Thunk analysis showed that we have about 100_000 thunks (in agda and

`-fwrite-simplified-core`) pointing to the name of the name decl.

Forcing this thunk fixes this issue.

The thunk created here is retained by the thunk created by forkM, it is

better to eagerly force this because the result (a `Name`) is already

retained indirectly via the `IfaceDecl`.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3b7b0c1c1337fe4cf470987d891f1f3944840688">3b7b0c1c</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-04-08T16:07:27-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>EPA: Use EpaLocation in WarningTxt

This allows us to use an EpDelta if needed when using makeDeltaAst.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/12b997df559365e6188824fb10f5f61c2e9075e4">12b997df</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-04-08T16:07:27-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>EPA: Move DeltaPos and EpaLocation' into GHC.Types.SrcLoc

This allows us to use a NoCommentsLocation for the possibly trailing

comma location in a StringLiteral.

This in turn allows us to correctly roundtrip via makeDeltaAst.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/868c8a78432459dc2821f1ce70c9a97f7fb31394">868c8a78</a></strong>

<div>

<span> by Fendor </span> <i> at 2024-04-09T08:51:50-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Prefer packed representation for CompiledByteCode

As there are many 'CompiledByteCode' objects alive during a GHCi

session, representing its element in a more packed manner improves space

behaviour at a minimal cost.

When running GHCi on the agda codebase, we find around 380 live

'CompiledByteCode' objects. Packing their respective 'UnlinkedByteCode'

can save quite some pointers.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/be3bdddebdf119007d753bebe32709a1ce726cc0">be3bddde</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-04-09T08:52:26-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>EPA: Capture all comments in a ClassDecl

Hopefully the final fix needed for #24533

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3d0806fc2cc592256c8b38758f13b614a46122fd">3d0806fc</a></strong>

<div>

<span> by Jade </span> <i> at 2024-04-10T05:39:53-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Validate -main-is flag using parseIdentifier

Fixes #24368

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/dd530bb7e22e953e4cec64a5fd6c39fddc152c6f">dd530bb7</a></strong>

<div>

<span> by Rodrigo Mesquita </span> <i> at 2024-04-10T05:40:29-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rts: free error message before returning

Fixes a memory leak in rts/linker/PEi386.c

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e008a19a7f9e8f22aada0b4e1049744f49d39aad">e008a19a</a></strong>

<div>

<span> by Alexis King </span> <i> at 2024-04-10T05:40:29-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>linker: Avoid linear search when looking up Haskell symbols via dlsym

See the primary Note [Looking up symbols in the relevant objects] for a

more in-depth explanation.

When dynamically loading a Haskell symbol (typical when running a splice or

GHCi expression), before this commit we would search for the symbol in

all dynamic libraries that were loaded. However, this could be very

inefficient when too many packages are loaded (which can happen if there are

many package dependencies) because the time to lookup the would be

linear in the number of packages loaded.

This commit drastically improves symbol loading performance by

introducing a mapping from units to the handles of corresponding loaded

dlls. These handles are returned by dlopen when we load a dll, and can

then be used to look up in a specific dynamic library.

Looking up a given Name is now much more precise because we can get

lookup its unit in the mapping and lookup the symbol solely in the

handles of the dynamic libraries loaded for that unit.

In one measurement, the wait time before the expression was executed

went from +-38 seconds down to +-2s.

This commit also includes Note [Symbols may not be found in pkgs_loaded],

explaining the fallback to the old behaviour in case no dll can be found

in the unit mapping for a given Name.

Fixes #23415

Co-authored-by: Rodrigo Mesquita (@alt-romes)

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/dcfaa190e1e1182a2efe4e2f601affbb832a49bb">dcfaa190</a></strong>

<div>

<span> by Rodrigo Mesquita </span> <i> at 2024-04-10T05:40:29-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>rts: Make addDLL a wrapper around loadNativeObj

Rewrite the implementation of `addDLL` as a wrapper around the more

principled `loadNativeObj` rts linker function. The latter should be

preferred while the former is preserved for backwards compatibility.

`loadNativeObj` was previously only available on ELF platforms, so this

commit further refactors the rts linker to transform loadNativeObj_ELF

into loadNativeObj_POSIX, which is available in ELF and MachO platforms.

The refactor made it possible to remove the `dl_mutex` mutex in favour

of always using `linker_mutex` (rather than a combination of both).

Lastly, we implement `loadNativeObj` for Windows too.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/12931698261a1cee6a00b731d143270cd60e5f2d">12931698</a></strong>

<div>

<span> by Rodrigo Mesquita </span> <i> at 2024-04-10T05:40:29-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Use symbol cache in internal interpreter too

This commit makes the symbol cache that was used by the external

interpreter available for the internal interpreter too.

This follows from the analysis in #23415 that suggests the internal

interpreter could benefit from this cache too, and that there is no good

reason not to have the cache for it too. It also makes it a bit more

uniform to have the symbol cache range over both the internal and

external interpreter.

This commit also refactors the cache into a function which is used by

both `lookupSymbol` and also by `lookupSymbolInDLL`, extending the

caching logic to `lookupSymbolInDLL` too.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/dccd3ea159b03cc1972cf47ee3cf8bda73ec0c5a">dccd3ea1</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2024-04-10T05:40:29-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; 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 test for lookupSymbolInNativeObj

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1b1a92bd25c3f7249cf922c5dbf4415d2de44a36">1b1a92bd</a></strong>

<div>

<span> by Alan Zimmerman </span> <i> at 2024-04-10T05:41:05-04:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>EPA: Remove unnecessary XRec in CompleteMatchSig

The XRec for [LIdP pass] is not needed for exact printing, remove it.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9e91744a19dcd699896341baadf98f99b1250839">9e91744a</a></strong>

<div>

<span> by Andreas Klebinger </span> <i> at 2024-04-11T15:35:46+02:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>RTS: Emit warning when -M < -H

Fixes #24487

</pre>

</li>

</ul>

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

30 changed files:

</h4>

<ul>

<li class="file-stats">

<a href="#587d266bb27a4dc3022bbed44dfa19849df3044c">

.gitlab-ci.yml

</a>

</li>

<li class="file-stats">

<a href="#22c3eac1f084ce55ce48b857bce882e5c7e553a9">

.gitlab/generate-ci/gen_ci.hs

</a>

</li>

<li class="file-stats">

<a href="#4f7fc727dfc06c2591e6043f44b9602eddfc3673">

.gitlab/jobs.yaml

</a>

</li>

<li class="file-stats">

<a href="#3917c29268f0852255e86d7acc2c3fe596fc267f">

.gitlab/rel_eng/default.nix

</a>

</li>

<li class="file-stats">

<a href="#5de9ce8e15f2e9acffcfef9ba02b198531831a17">

.gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py

</a>

</li>

<li class="file-stats">

<a href="#42d28d4a0fcd4264d825bfc3ae46df2693754bfb">

.gitlab/rel_eng/mk-ghcup-metadata/README.mkd

</a>

</li>

<li class="file-stats">

<a href="#87873753e9f32a3fb27939a82d944277fa501572">

.gitlab/rel_eng/mk-ghcup-metadata/mk_ghcup_metadata.py

</a>

</li>

<li class="file-stats">

<a href="#b692f62aa4ec3d5f1bbe1194d6cc0c61b0fff972">

<span class="new-file">

+

.gitlab/rel_eng/recompress-all

</span>

</a>

</li>

<li class="file-stats">

<a href="#24f053fa8cdd89ee129f5ca2d1ededd1e401312c">

.gitlab/rel_eng/upload.sh

</a>

</li>

<li class="file-stats">

<a href="#d0d96a6d03668aeab20ebe05e2c4ccb798c7e64c">

compiler/GHC.hs

</a>

</li>

<li class="file-stats">

<a href="#0887cf39c5cdf9cf8d6758f410d7dab3023c0d77">

compiler/GHC/Builtin/Names.hs

</a>

</li>

<li class="file-stats">

<a href="#06764eb0158306b83ab1998d18316392a51838c2">

compiler/GHC/Builtin/Names/TH.hs

</a>

</li>

<li class="file-stats">

<a href="#dc9d549002b8cd260ee6d1d2fb35877c74412f91">

compiler/GHC/Builtin/PrimOps.hs-boot

</a>

</li>

<li class="file-stats">

<a href="#8a5cd068459120cddf3814e7b9e02003b87647ba">

compiler/GHC/Builtin/Types/Prim.hs

</a>

</li>

<li class="file-stats">

<a href="#451725cc4e5d443a3b7c2adcdf224840f953b7e2">

compiler/GHC/Builtin/primops.txt.pp

</a>

</li>

<li class="file-stats">

<a href="#2f6f8d6d05acc04b08fff94df4b3996c65b87892">

compiler/GHC/ByteCode/Asm.hs

</a>

</li>

<li class="file-stats">

<a href="#11e6f6a348be9920cecad0893a25350137524b4f">

compiler/GHC/ByteCode/Linker.hs

</a>

</li>

<li class="file-stats">

<a href="#5c66928780aaad0eb5888511dc4b0b08492c69fa">

compiler/GHC/ByteCode/Types.hs

</a>

</li>

<li class="file-stats">

<a href="#44e32f01b1a3d9aec22f651f293800c16ac68435">

compiler/GHC/Cmm/Dominators.hs

</a>

</li>

<li class="file-stats">

<a href="#194e2602b82bb08fd31c3028aace1da113aae36f">

compiler/GHC/Cmm/ThreadSanitizer.hs

</a>

</li>

<li class="file-stats">

<a href="#182d6a315e784018aa9c8b2ad736036b97bd5d48">

compiler/GHC/Core.hs

</a>

</li>

<li class="file-stats">

<a href="#783e5dae6e86931f06700fc088fb7d48c8a07386">

compiler/GHC/Core/Coercion.hs

</a>

</li>

<li class="file-stats">

<a href="#975dc08a8e7942b32d621f617d5a9c1b668601dd">

compiler/GHC/Core/Coercion/Opt.hs

</a>

</li>

<li class="file-stats">

<a href="#3eb36aa30815ac0904daf0ce6372b104d5d03abf">

compiler/GHC/Core/LateCC/OverloadedCalls.hs

</a>

</li>

<li class="file-stats">

<a href="#691eec62dc293d0881c314b38b7363dc88b44c59">

compiler/GHC/Core/Map/Type.hs

</a>

</li>

<li class="file-stats">

<a href="#c3967bb9d3e8f5aae2dd111b5a335b48c21c1999">

compiler/GHC/Core/Opt/Arity.hs

</a>

</li>

<li class="file-stats">

<a href="#0debbb6150cac3b9f1027e430021269925103bb9">

compiler/GHC/Core/Opt/FloatOut.hs

</a>

</li>

<li class="file-stats">

<a href="#9aae8d40d1a22cf73eaec14fd86dfc6917ce10e5">

compiler/GHC/Core/Opt/Monad.hs

</a>

</li>

<li class="file-stats">

<a href="#bac3d5159a5688007de3aa3f5c4e50569677b347">

compiler/GHC/Core/Opt/OccurAnal.hs

</a>

</li>

<li class="file-stats">

<a href="#bd153f89bc48f3fd5079b51fb799808aacbd750c">

compiler/GHC/Core/Opt/Pipeline.hs

</a>

</li>

</ul>

<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: 0.875rem;">

The diff was not included because it is too large.

</h5>

</div>

<div class="footer" style="margin-top: 10px;">

<p style="font-size: small; color: #737278;">

—

<br>

<a href="https://gitlab.haskell.org/ghc/ghc/-/compare/a07a89877a23136b0cf2cd791931b9646c6c59a9...9e91744a19dcd699896341baadf98f99b1250839">View it on GitLab</a>.

<br>

You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://gitlab.haskell.org">gitlab.haskell.org</a>. <a href="https://gitlab.haskell.org/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link">Manage all notifications</a> · <a href="https://gitlab.haskell.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>

</p>

</div>

</body>

</html>