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

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

<head>

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

<title>

GitLab

</title>

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

a { color: #1068bf; }

</style>

<style>img {

max-width: 100%; height: auto;

}

body {

font-size: .875rem;

}

body {

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

}

body {

font-family: 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,.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;">

Vladislav Zavialov pushed to branch wip/sand-witch/types-in-terms at <a href="https://gitlab.haskell.org/ghc/ghc">Glasgow Haskell Compiler / GHC</a>

</h3>

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

Commits:

</h4>

<ul>

<li>

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

<div>

<span> by Sylvain Henry </span> <i> at 2024-06-30T00:47: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;'>Bump array submodule

</pre>

</li>

<li>

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

<div>

<span> by Sylvain Henry </span> <i> at 2024-06-30T00:47: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;'>GHCi: Don't use deprecated sizeofMutableByteArray#

</pre>

</li>

<li>

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

<div>

<span> by Ben Gamari </span> <i> at 2024-06-30T00:47: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;'>primops: Undeprecate addr2Int# and int2Addr#

addr2Int# and int2Addr# were marked as deprecated with the introduction

of the OCaml code generator (1dfaee318171836b32f6b33a14231c69adfdef2f)

due to its use of tagged integers. However, this backend has long

vanished and `base` has all along been using `addr2Int#` in the Show

instance for Ptr.

While it's unlikely that we will have another backend which has tagged

integers, we may indeed support platforms which have tagged pointers.

Consequently we undeprecate the operations but warn the user that the

operations may not be portable.

</pre>

</li>

<li>

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

<div>

<span> by Sylvain Henry </span> <i> at 2024-06-30T00:47:41-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;'>primops: Undeprecate par#

par# is still used in base and it's not clear how to replace it with

spark# (see #24825)

</pre>

</li>

<li>

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

<div>

<span> by Ben Gamari </span> <i> at 2024-06-30T00:47:41-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;'>Primops: Make documentation generation more efficient

Previously we would do a linear search through all primop names, doing a

String comparison on the name of each when preparing the HsDocStringMap.

Fix this.

</pre>

</li>

<li>

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

<div>

<span> by Ben Gamari </span> <i> at 2024-06-30T00:47:41-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;'>primops: Ensure that deprecations are properly tracked

We previously failed to insert DEPRECATION pragmas into GHC.Prim's

ModIface, meaning that they would appear in the Haddock documentation

but not issue warnings. Fix this.

See #19629. Haddock also needs to be fixed: https://github.com/haskell/haddock/issues/223

Co-authored-by: Sylvain Henry <sylvain@haskus.fr>

</pre>

</li>

<li>

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

<div>

<span> by Mario Blažević </span> <i> at 2024-06-30T00:48: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;'>Improved pretty-printing of unboxed TH sums and tuples, fixes #24997

</pre>

</li>

<li>

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

<div>

<span> by Zubin Duggal </span> <i> at 2024-07-04T11:08:41-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: Turn `FinderCache` into a record of operations so that GHC API clients can

have full control over how its state is managed by overriding `hsc_FC`.

Also removes the `uncacheModule` function as this wasn't being used by anything

since 1893ba12fe1fa2ade35a62c336594afcd569736e

Fixes #23604

</pre>

</li>

<li>

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

<div>

<span> by Teo Camarasu </span> <i> at 2024-07-04T11:09: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 HasCallStack to T23221

This makes the test a bit easier to debug

</pre>

</li>

<li>

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

<div>

<span> by Teo Camarasu </span> <i> at 2024-07-04T11:09: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;'>rts: use live words to estimate heap size

We use live words rather than live blocks to determine the size of the

heap for determining memory retention.

Most of the time these two metrics align, but they can come apart in

normal usage when using the nonmoving collector.

The nonmoving collector leads to a lot of partially occupied blocks. So,

using live words is more accurate.

They can also come apart when the heap is suffering from high levels

fragmentation caused by small pinned objects, but in this case, the

block size is the more accurate metric. Since this case is best avoided

anyway. It is ok to accept the trade-off that we might try (and

probably) fail to return more memory in this case.

See also the Note [Statistics for retaining memory]

Resolves #23397

</pre>

</li>

<li>

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

<div>

<span> by Oleg Grenrus </span> <i> at 2024-07-04T11:09: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;'>Add reflections of GHC.TypeLits/Nats type families

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

Metric Increase:

    ghc_experimental_dir

    ghc_experimental_so

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

</pre>

</li>

<li>

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

<div>

<span> by Adam Gundry </span> <i> at 2024-07-04T11:10: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;'>Correct -Wpartial-fields warning to say "Definition" rather than "Use"

Fixes #24710.  The message and documentation for `-Wpartial-fields` were

misleading as (a) the warning occurs at definition sites rather than use

sites, and (b) the warning relates to the definition of a field independently

of the selector function (e.g. because record updates are also partial).

</pre>

</li>

<li>

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

<div>

<span> by Max Ulidtko </span> <i> at 2024-07-04T11:11: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;'>GHCi: Support local Prelude

Fixes #10920, an issue where GHCi bails out when started alongside a

file named Prelude.hs or Prelude.lhs (even empty file suffices).

The in-source Note [GHCi and local Preludes] documents core reasoning.

Supplementary changes:

 * add debug traces for module lookups under -ddump-if-trace;

 * drop stale comment in GHC.Iface.Load;

 * reduce noise in -v3 traces from GHC.Utils.TmpFs;

 * new test, which also exercizes HomeModError.

</pre>

</li>

<li>

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

<div>

<span> by Ryan Scott </span> <i> at 2024-07-04T11:11:47-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 missing gParPat in cvtp's ViewP case

When converting a `ViewP` using `cvtp`, we need to ensure that the view pattern

is parenthesized so that the resulting code will parse correctly when

roundtripped back through GHC's parser.

Fixes #24894.

</pre>

</li>

<li>

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

<div>

<span> by Adam Gundry </span> <i> at 2024-07-04T11:12:23-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 structured error representation for module cycle errors (see #18516)

This removes the re-export of cyclicModuleErr from the top-level GHC module.

</pre>

</li>

<li>

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

<div>

<span> by Adam Gundry </span> <i> at 2024-07-04T11:12:23-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 structured error representation when reloading a nonexistent module

</pre>

</li>

<li>

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

<div>

<span> by sheaf </span> <i> at 2024-07-04T11:12:23-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 structured errors for a Backpack instantiation error

</pre>

</li>

<li>

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

<div>

<span> by sheaf </span> <i> at 2024-07-04T11:12:23-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 mkFileSrcSpan to GHC.Unit.Module.Location

</pre>

</li>

<li>

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

<div>

<span> by Adriaan Leijnse </span> <i> at 2024-07-04T11:12: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;'>ttg: Remove SourceText from OverloadedLabel

Progress towards #21592

</pre>

</li>

<li>

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

<div>

<span> by Alexander Foremny </span> <i> at 2024-07-04T11:12: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;'>AST: GHC.Prelude -> Prelude

Refactor occurrences to GHC.Prelude with Prelude within

Language/Haskell.

Progress towards #21592

</pre>

</li>

<li>

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

<div>

<span> by Alexander Foremny </span> <i> at 2024-07-04T11:12: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;'>AST: remove occurrences of GHC.Unit.Module.ModuleName

`GHC.Unit.Module` re-exports `ModuleName` from

`Language.Haskell.Syntax.Module.Name`.

Progress towards #21592

</pre>

</li>

<li>

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

<div>

<span> by Fabian Kirchner </span> <i> at 2024-07-04T11:12: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;'>AST: move Data instance definition for ModuleName to GHC.Unit.Types

To remove the dependency on GHC.Utils.Misc inside

Language.Haskell.Syntax.Module.Name, the instance definition is moved

from there into GHC.Unit.Types.

Progress towards #21592

</pre>

</li>

<li>

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

<div>

<span> by Fabian Kirchner </span> <i> at 2024-07-04T11:12: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;'>AST: move negateOverLitVal into GHC.Hs.Lit

The function negateOverLitVal is not used within Language.Haskell and

therefore can be moved to the respective module inside GHC.Hs.

Progress towards #21592

</pre>

</li>

<li>

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

<div>

<span> by Fabian Kirchner </span> <i> at 2024-07-04T11:12: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;'>AST: move conDetailsArity into GHC.Rename.Module

The function conDetailsArity is only used inside GHC.Rename.Module.  We

therefore move it there from Language.Haskell.Syntax.Lit.

Progress towards #21592

</pre>

</li>

<li>

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

<div>

<span> by Mauricio </span> <i> at 2024-07-04T11:12: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;'>AST: Remove GHC.Utils.Assert from GHC

Simple cleanup.

Progress towards #21592

</pre>

</li>

<li>

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

<div>

<span> by Fabian Kirchner </span> <i> at 2024-07-04T11:12: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;'>ttg: extract Specificity, ForAllTyFlag and helper functions from GHC.Types.Var

Progress towards #21592

Specificity, ForAllTyFlag and its' helper functions are extracted from

GHC.Types.Var and moved into a new module Language.Haskell.Syntax.Specificity.

Note: Eventually (i.e. after Language.Haskell.Syntax.Decls does not depend on

GHC.* anymore) these should be moved into Language.Haskell.Syntax.Decls.

At this point, this would cause cyclic dependencies.

</pre>

</li>

<li>

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

<div>

<span> by Adowrath </span> <i> at 2024-07-04T11:12: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;'>ttg: Split HsSrcBang, remove ref to DataCon from Syntax.Type

Progress towards #21592

This splits HsSrcBang up, creating the new HsBang within

`Language.Haskell.Syntax.Basic`. `HsBang` holds the unpackedness

and strictness information, while `HsSrcBang` only adds the SourceText

for usage within the compiler directly.

Inside the AST, to preserve the SourceText, it is hidden behind the

pre-existing extension point `XBindTy`. All other occurrences of

`HsSrcBang` were adapted to deconstruct the inner `HsBang`, and when

interacting with the `BindTy` constructor, the hidden `SourceText` is

extracted/inserted into the `XBindTy` extension point.

`GHC.Core.DataCon` exports both `HsSrcBang` and `HsBang` for

convenience. A constructor function `mkHsSrcBang` that takes all

individual components has been added.

Two exceptions has been made though:

- The `Outputable HsSrcBang` instance is replaced by

  `Outputable HsBang`. While being only GHC-internal, the only place

  it's used is in outputting `HsBangTy` constructors -- which already

  have `HsBang`. It wouldn't make sense to reconstruct a `HsSrcBang` just

  to ignore the `SourceText` anyway.

- The error `TcRnUnexpectedAnnotation` did not use the `SourceText`,

  so it too now only holds a `HsBang`.

</pre>

</li>

<li>

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

<div>

<span> by Mauricio </span> <i> at 2024-07-04T11:12: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;'>AST: Moved definitions that use GHC.Utils.Panic to GHC namespace

Progress towards #21592

</pre>

</li>

<li>

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

<div>

<span> by Mike Pilgrem </span> <i> at 2024-07-04T11:13:41-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 #25032 Refer to Cabal's `includes` field, not `include-files`

</pre>

</li>

<li>

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

<div>

<span> by Andrew Lelechenko </span> <i> at 2024-07-04T11:14: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;'>base: fix more missing changelog entries

</pre>

</li>

<li>

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

<div>

<span> by Peter Trommler </span> <i> at 2024-07-04T11:14: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;'>X86 NCG: Fix argument promotion in foreign C calls

Promote 8 bit and 16 bit signed arguments by sign extension.

Fixes #25018

</pre>

</li>

<li>

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

<div>

<span> by Bryan Richter </span> <i> at 2024-07-04T11:15: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;'>Add .gitlab/README.md with creds instructions

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-05T07:35: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;'>configure: Set LD_STAGE0 appropiately when 9.10.1 is used as a boot compiler

In 9.10.1 the "ld command" has been removed, so we fall back to using

the more precise "merge objects command" when it's available as

LD_STAGE0 is only used to set the object merging command in hadrian.

Fixes #24949

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-05T07:35: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;'>hadrian: Don't build ghci object files for ./hadrian/ghci target

There is some convoluted logic which determines whether we build ghci

object files are not. In any case, if you set `ghcDynPrograms = pure

False` then it forces them to be built.

Given we aren't ever building executables with this flavour it's fine

to leave `ghcDynPrograms` as the default and it should be a bit faster

to build less.

Also fixes #24949

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-05T07:36:06-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 STG dump from ticky_ghc flavour transformer

This adds 10-15 minutes to build time, it is a better strategy to

precisely enable dumps for the modules which show up prominently in a

ticky profile.

Given I am one of the only people regularly building ticky compilers I

think it's worthwhile to remove these.

Fixes #23635

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-05T07:36:06-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: Add dump_stg flavour transformer

This allows you to write `--flavour=default+ticky_ghc+dump_stg` if you

really want STG for all modules.

</pre>

</li>

<li>

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

<div>

<span> by Sven Tennie </span> <i> at 2024-07-08T15:03:41-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;'>AArch64: Simplify stmtToInstrs type

There's no need to hand `Nothing`s around... (there was no case with a

`BlockId`.)

</pre>

</li>

<li>

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

<div>

<span> by Sven Tennie </span> <i> at 2024-07-08T15:03:41-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;'>AArch64: Simplify stmtsToInstrs type

The `BlockId` parameter (`bid`) is never used, only handed around.

Deleting it simplifies the surrounding code.

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-07-08T15:04: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;'>Fix eta-expansion in Prep

As #25033 showed, we were eta-expanding in a way that broke a join point,

which messed up Note [CorePrep invariants].

The fix is rather easy.  See Wrinkle (EA1) of

Note [Eta expansion of arguments in CorePrep]

</pre>

</li>

<li>

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

<div>

<span> by Sjoerd Visscher </span> <i> at 2024-07-09T06:16:14-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;'>One-shot Haddock

</pre>

</li>

<li>

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

<div>

<span> by Sjoerd Visscher </span> <i> at 2024-07-09T06:16:14-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 haddock-stdout test option

Superseded by output handling of Hadrian

</pre>

</li>

<li>

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

<div>

<span> by Rodrigo Mesquita </span> <i> at 2024-07-09T06:16: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;'>ghc-boot: Relax Cabal bound

Fixes #25013

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-09T06:17: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;'>ci: Unset ALEX/HAPPY variables when testing bootstrap jobs

Ticket #24826 reports a regression in 9.10.1 when building from a source

distribution. This patch is an attempt to reproduce the issue on CI by

more aggressively removing `alex` and `happy` from the environment.

</pre>

</li>

<li>

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

<div>

<span> by Andrea Bedini </span> <i> at 2024-07-09T06:17: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;'>hadrian: Ignore build-tool-depends fields in cabal files

hadrian does not utilise the build-tool-depends fields in cabal files

and their presence can cause issues when building source distribution

(see #24826)

Ideally Cabal would support building "full" source distributions which

would remove the need for workarounds in hadrian but for now we can

patch the build-tool-depends out of the cabal files.

Fixes #24826

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-09T06:18: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;'>testsuite: Don't attempt to link when checking whether a way is supported

It is sufficient to check that the simple test file compiles as it will

fail if there are not the relevant library files for the requested way.

If you break a way so badly that even a simple executable fails to link

(as I did for profiled dynamic way), it will just mean the tests for

that way are skipped on CI rather than displayed.

</pre>

</li>

<li>

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

<div>

<span> by Torsten Schmits </span> <i> at 2024-07-09T13:37:02+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;'>Improve docs for NondecreasingIndentation

The text stated that this affects indentation of layouts nested in do

expressions, while it actually affects that of do layouts nested in any

other.

</pre>

</li>

<li>

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

<div>

<span> by Zubin Duggal </span> <i> at 2024-07-12T11:41: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;'>compiler: Fingerprint -fwrite-if-simplified-core

We need to recompile if this flag is changed because later modules might depend on the

simplified core for this module if -fprefer-bytecode is enabled.

Fixes #24656

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-12T11:42: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;'>Add support for building profiled dynamic way

The main payload of this change is to hadrian.

* Default settings will produced dynamic profiled objects

* `-fexternal-interpreter` is turned on in some situations when there is

  an incompatibility between host GHC and the way attempting to be

  built.

* Very few changes actually needed to GHC

There are also necessary changes to the bootstrap plans to work with the

vendored Cabal dependency. These changes should ideally be reverted by

the next GHC release.

In hadrian support is added for building profiled dynamic libraries

(nothing too exciting to see there)

Updates hadrian to use a vendored Cabal submodule, it is important that

we replace this usage with a released version of Cabal library before

the 9.12 release.

Fixes #21594

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

Metric Increase:

    libdir

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

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-12T11:42: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;'>testsuite: Make find_so regex more precise

The hash contains lowercase [a-z0-9] and crucially not _p which meant we

sometimes matched on `libHS.._p` profiled shared libraries rather than

the normal shared library.

</pre>

</li>

<li>

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

<div>

<span> by Alex Mason </span> <i> at 2024-07-12T11:42:41-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(aarch64): Add fsqrt instruction, byteSwap primitives [#24956]

Implements the FSQRT machop using native assembly rather than a C call.

Implements MO_BSwap by producing assembly to do the byte swapping

instead of producing a foreign call a C function.

In `tar`, the hot loop for `deserialise` got almost 4x faster by

avoiding the foreign call which caused spilling live variables to the

stack -- this means the loop did 4x more memory read/writing than

necessary in that particular case!

</pre>

</li>

<li>

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

<div>

<span> by Sylvain Henry </span> <i> at 2024-07-12T11:43:23-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: use m32 allocator for sections when NEED_PLT (#24432)

Use M32 allocator to avoid fragmentation when allocating ELF sections.

We already did this when NEED_PLT was undefined. Failing to do this led

to relocations impossible to fulfil (#24432).

</pre>

</li>

<li>

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

<div>

<span> by Sylvain Henry </span> <i> at 2024-07-12T11:43:23-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: allow M32 allocation outside of 4GB range when assuming -fPIC

</pre>

</li>

<li>

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

<div>

<span> by Sylvain Henry </span> <i> at 2024-07-12T11:43:23-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: fix stub offset

Remove unjustified +8 offset that leads to memory corruption (cf

discussion in #24432).

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-07-12T11:43: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;'>Make type-equality on synonyms a bit faster

This MR make equality fast for (S tys1 `eqType` S tys2),

where S is a non-forgetful type synonym.

It doesn't affect compile-time allocation much, but then comparison doesn't

allocate anyway.  But it seems like a Good Thing anyway.

See Note [Comparing type synonyms] in GHC.Core.TyCo.Compare

and Note [Forgetful type synonyms] in GHC.Core.TyCon

Addresses #25009.

</pre>

</li>

<li>

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

<div>

<span> by Alan Zimmerman </span> <i> at 2024-07-12T11:44: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;'>EPA: Bring back SrcSpan in EpaDelta

When processing files in ghc-exactprint, the usual workflow is to

first normalise it with makeDeltaAst, and then operate on it.

But we need the original locations to operate on it, in terms of

finding things.

So restore the original SrcSpan for reference in EpaDelta

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-12T11:45: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;'>Update alpine release job to 3.20

alpine 3.20 was recently released and uses a new python and sphinx

toolchain which could be useful to test.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-12T11:45: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;'>testsuite: workaround bug in python-3.12

There is some unexplained change to binding behaviour in python-3.12

which requires moving this import from the top-level into the scope of

the function.

I didn't feel any particular desire to do a deep investigation as to why

this changed as the code works when modified like this. No one in the

python IRC channel seemed to know what the problem was.

</pre>

</li>

<li>

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

<div>

<span> by Adam Sandberg Ericsson </span> <i> at 2024-07-12T11:45:47-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;'>initialise mmap_32bit_base during RTS startup #24847</pre>

</li>

<li>

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

<div>

<span> by Hécate Kleidukos </span> <i> at 2024-07-12T11: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;'>haddock: Only fetch supported languages and extensions once per Interface list

This reduces the number of operations done on each Interface, because

supported languages and extensions are determined from architecture and

operating system of the build host. This information remains stable

across Interfaces, and as such doesn not need to be recovered for each

Interface.

</pre>

</li>

<li>

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

<div>

<span> by sheaf </span> <i> at 2024-07-13T05:58:14-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: use py-cpuinfo to compute CPU features

This replaces the rather hacky logic we had in place for checking

CPU features. In particular, this means that feature availability now

works properly on Windows.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-13T05:58: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;'>testsuite: Replace $CC with $TEST_CC

The TEST_CC variable should be set based on the test compiler, which may

be different to the compiler which is set to CC on your system (for

example when cross compiling).

Fixes #24946

</pre>

</li>

<li>

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

<div>

<span> by sheaf </span> <i> at 2024-07-15T08:30: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;'>isIrrefutableHsPat: consider COMPLETE pragmas

This patch ensures we taken into account COMPLETE pragmas when we

compute whether a pattern is irrefutable. In particular, if a pattern

synonym is the sole member of a COMPLETE pragma (without a result TyCon),

then we consider a pattern match on that pattern synonym to be irrefutable.

This affects the desugaring of do blocks, as it ensures we don't use

a "fail" operation.

Fixes #15681 #16618 #22004

</pre>

</li>

<li>

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

<div>

<span> by Zubin Duggal </span> <i> at 2024-07-15T08:31: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;'>haddock: Handle non-hs files, so that haddock can generate documentation for modules with

foreign imports and template haskell.

Fixes #24964

</pre>

</li>

<li>

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

<div>

<span> by Zubin Duggal </span> <i> at 2024-07-15T12:12:30-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;'>haddock: Keep track of warnings/deprecations from dependent packages in `InstalledInterface`

and use this to propagate these on items re-exported from dependent packages.

Fixes #25037

</pre>

</li>

<li>

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

<div>

<span> by Zubin Duggal </span> <i> at 2024-07-15T12:12:30-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;'>haddock: Keep track of instance source locations in `InstalledInterface` and use this to add

source locations on out of package instances

Fixes #24929

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-15T12: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;'>ci: Refactor job_groups definition, split up by platform

The groups are now split up so it's easier to see which jobs are

generated for each platform

No change in behaviour, just refactoring.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-16T11:48:25+01: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: Replace debian 10 with debian 12 on validation jobs

Since debian 10 is now EOL we migrate onwards to debian 12 as the basis

for most platform independent validation jobs.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-17T13:22:37-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: Fix use of arch argument

The arch argument was ignored when making the jobname, which lead to

failures when generating metadata for the alpine_3_18-aarch64 bindist.

Fixes #25089

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-19T10:14:02-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: Delay querying ghc-pkg to find .so dirs until test is run

The tests which relied on find_so would fail when `test` was run

before the tree was built. This was because `find_so` was evaluated too

eagerly.

We can fix this by waiting to query the location of the libraries until

after the compiler has built them.

</pre>

</li>

<li>

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

<div>

<span> by Torsten Schmits </span> <i> at 2024-07-19T10:14:37-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 `complete` pragmas for backwards compat patsyns `ModLocation` and `ModIface`

!12347 and !12582 introduced breaking changes to these two constructors

and mitigated that with pattern synonyms.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2024-07-19T10:15:13-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: Fix ghcup-metadata generation (again)

I made some mistakes in 203830065b81fe29003c1640a354f11661ffc604

* Syntax error

* The aarch-deb11 bindist doesn't exist

I tested against the latest nightly pipeline locally:

```

nix run .gitlab/generate-ci#generate-job-metadata

nix shell -f .gitlab/rel_eng/ -c ghcup-metadata --pipeline-id 98286 --version 9.11.20240715 --fragment --date 2024-07-17 --metadata=/tmp/meta

```

</pre>

</li>

<li>

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

<div>

<span> by Andreas Klebinger </span> <i> at 2024-07-19T17:35:20+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;'>Revert "Allow non-absolute values for bootstrap GHC variable"

This broke configure in subtle ways resulting in #25076 where hadrian

didn't end up the boot compiler it was configured to use.

This reverts commit 209d09f52363b261b900cf042934ae1e81e2caa7.

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-07-24T02:41: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;'>Fix bad bug in mkSynonymTyCon, re forgetfulness

As #25094 showed, the previous tests for forgetfulness was

plain wrong, when there was a forgetful synonym in the RHS

of a synonym.

</pre>

</li>

<li>

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

<div>

<span> by Sergey Vinokurov </span> <i> at 2024-07-24T12:22:45-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;'>Define Eq1, Ord1, Show1 and Read1 instances for basic Generic representation types

This way the Generically1 newtype could be used to derive Eq1 and Ord1

for user types with DerivingVia.

The CLC proposal is https://github.com/haskell/core-libraries-committee/issues/273.

The GHC issue is https://gitlab.haskell.org/ghc/ghc/-/issues/24312.

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-07-24T12:23: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;'>Address #25055, by disabling case-of-runRW# in Gentle phase

See Note [Case-of-case and full laziness]

in GHC.Driver.Config.Core.Opt.Simplify

</pre>

</li>

<li>

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

<div>

<span> by Andreas Klebinger </span> <i> at 2024-07-25T14:12:54+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;'>Fix -freg-graphs for FP and AARch64 NCG (#24941).

It seems we reserve 8 registers instead of four for global regs

based on the layout in Note [AArch64 Register assignments].

I'm not sure it's neccesary, but for now we just accept this state of

affairs and simple update -fregs-graph to account for this.

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2024-07-27T09:45: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;'>Fix nasty bug in occurrence analyser

As #25096 showed, the occurrence analyser was getting one-shot info

flat out wrong.

This commit does two things:

* It fixes the bug and actually makes the code a bit tidier too.

  The work is done in the new function

     GHC.Core.Opt.OccurAnal.mkRhsOccEnv,

  especially the bit that prepares the `occ_one_shots` for the RHS.

  See Note [The OccEnv for a right hand side]

* When floating out a binding we must be conservative about one-shot

  info.  But we were zapping the entire demand info, whereas we only

  really need zap the /top level/ cardinality.

  See Note [Floatifying demand info when floating]

  in GHC.Core.Opt.SetLevels

For some reason there is a 2.2% improvement in compile-time allocation

for CoOpt_Read.  Otherwise nickels and dimes.

Metric Decrease:

    CoOpt_Read

</pre>

</li>

<li>

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

<div>

<span> by Torsten Schmits </span> <i> at 2024-07-27T09:46: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;'>add missing cell in flavours table

</pre>

</li>

<li>

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

<div>

<span> by Andrei Borzenkov </span> <i> at 2024-07-28T16:20:37+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;'>Type syntax in expressions (24159, 24572, 24226)

This patch extends the grammar of expressions with syntax that is

typically found only in types:

  * function types (a -> b), (a ->. b), (a %m -> b)

  * constrained types (ctx => t)

  * forall-quantification (forall tvs. t)

The new forms are guarded behind the RequiredTypeArguments extension,

as specified in GHC Proposal #281. Examples:

  {-# LANGUAGE RequiredTypeArguments #-}

  e1 = f (Int    -> String)          -- function type

  e2 = f (Int %1 -> String)          -- linear function type

  e3 = f (forall a. Bounded a => a)  -- forall type, constraint

The GHC AST and the TH AST have been extended as follows:

   syntax        | HsExpr   | TH.Exp

  ---------------+----------+--------------

   a -> b        | HsFunArr | ConE (->)

   a %m -> b     | HsFunArr | ConE FUN

   ctx => t      | HsQual   | ConstrainedE

   forall a. t   | HsForAll | ForallE

   forall a -> t | HsForAll | ForallVisE

Additionally, a new warning flag -Wview-pattern-signatures has been

introduced to aid with migration to the new precedence of (e -> p :: t).

Co-authored-by: Vladislav Zavialov <vlad.z.4096@gmail.com>

</pre>

</li>

</ul>

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

27 changed files:

</h4>

<ul>

<li class="file-stats">

<a href="#587d266bb27a4dc3022bbed44dfa19849df3044c">

.gitlab-ci.yml

</a>

</li>

<li class="file-stats">

<a href="#0b52b242a8b22301618418b0cbff2c3cd6b48212">

<span class="new-file">

+

.gitlab/README.md

</span>

</a>

</li>

<li class="file-stats">

<a href="#157f7634c25bc6366cb7c9c9edb48e819dce38db">

.gitlab/ci.sh

</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="#5de9ce8e15f2e9acffcfef9ba02b198531831a17">

.gitlab/rel_eng/fetch-gitlab-artifacts/fetch_gitlab.py

</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="#7445606fbf8f3683cd42bdc54b05d7a0bc2dfc44">

.gitmodules

</a>

</li>

<li class="file-stats">

<a href="#d0d96a6d03668aeab20ebe05e2c4ccb798c7e64c">

compiler/GHC.hs

</a>

</li>

<li class="file-stats">

<a href="#06764eb0158306b83ab1998d18316392a51838c2">

compiler/GHC/Builtin/Names/TH.hs

</a>

</li>

<li class="file-stats">

<a href="#a1519b7fe8a0d4b42e4aaa927fb6ab5b5da0fcdd">

compiler/GHC/Builtin/PrimOps.hs

</a>

</li>

<li class="file-stats">

<a href="#377cfd14c1f92357465df995ec6537b074051322">

compiler/GHC/Builtin/Types.hs

</a>

</li>

<li class="file-stats">

<a href="#d95fdf6575459444666f72b2281534e0558a4ba0">

compiler/GHC/Builtin/Utils.hs

</a>

</li>

<li class="file-stats">

<a href="#451725cc4e5d443a3b7c2adcdf224840f953b7e2">

compiler/GHC/Builtin/primops.txt.pp

</a>

</li>

<li class="file-stats">

<a href="#6997a0cd37829d3d08db1c48185aaa3d7dfc3e6b">

compiler/GHC/CmmToAsm/AArch64/CodeGen.hs

</a>

</li>

<li class="file-stats">

<a href="#807babf5b215890881c92043bcd08486141a405c">

compiler/GHC/CmmToAsm/AArch64/Instr.hs

</a>

</li>

<li class="file-stats">

<a href="#0c06b80d12937afa0db5ee9903e4d2be2f146d29">

compiler/GHC/CmmToAsm/AArch64/Ppr.hs

</a>

</li>

<li class="file-stats">

<a href="#7cfe1a34e0b670dd84416b177237fa11a01b43da">

compiler/GHC/CmmToAsm/AArch64/Regs.hs

</a>

</li>

<li class="file-stats">

<a href="#70e6dda2b94c6f8cdd584c1b68c5af73bb1f64e3">

compiler/GHC/CmmToAsm/Reg/Graph/TrivColorable.hs

</a>

</li>

<li class="file-stats">

<a href="#2bae5947e9412f6deebf4db7dcb89d780913130f">

compiler/GHC/CmmToAsm/X86/CodeGen.hs

</a>

</li>

<li class="file-stats">

<a href="#b452cc5181a4af3460c43a4e3e4b5edaa238b4e0">

compiler/GHC/Core/ConLike.hs

</a>

</li>

<li class="file-stats">

<a href="#6fcf64907fb5bdd93082d2d1eb94e4566e735865">

compiler/GHC/Core/DataCon.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="#8104fa1b71db6cfc4eb90cd769463d9eb9004619">

compiler/GHC/Core/Opt/DmdAnal.hs

</a>

</li>

<li class="file-stats">

<a href="#bac3d5159a5688007de3aa3f5c4e50569677b347">

compiler/GHC/Core/Opt/OccurAnal.hs

</a>

</li>

<li class="file-stats">

<a href="#cc763cdd1967f5d921161a32f64136cfcf0332c5">

compiler/GHC/Core/Opt/SetLevels.hs

</a>

</li>

</ul>

<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: .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/3aa6107baf7976b4c13f525e9541d83ca5dbec69...c6a7dad9f36a8d646d721bb8a4b803c12dbb404d">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>