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

<html lang="en">

<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: -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: -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;">

Ben Gamari pushed to branch wip/T22834 at <a href="https://gitlab.haskell.org/ghc/ghc" style="color: #1068bf;">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/e987e345c807035e4637ca3eae227ae501e16c42" style="color: #1068bf;">e987e345</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2023-01-25T14:47:41-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Hadrian: correctly detect AR at-file support

Stage0's ar may not support at-files. Take it into account.

Found while cross-compiling from Darwin to Windows.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/48131ee2d8ba7074a4c2763a32c12df105305a75" style="color: #1068bf;">48131ee2</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2023-01-25T14:47:41-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Hadrian: fix Windows cross-compilation

Decision to build either unix or Win32 package must be stage specific

for cross-compilation to be supported.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/288fa0179a2f54e4594afe184eac71cc85c46643" style="color: #1068bf;">288fa017</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2023-01-25T14:47:41-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Fix RTS build on Windows

This change fixes a cross-compilation issue from ArchLinux to Windows

because these symbols weren't found.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2fdf22aebda2307d86872c792633d1856d666c9b" style="color: #1068bf;">2fdf22ae</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2023-01-25T14:47:41-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>configure: support "windows" as an OS

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/13a0566b58ecc295883b11f20045b4214d8acd72" style="color: #1068bf;">13a0566b</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2023-01-25T14:48:16-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Fix in-scope set in specImports

Nothing deep here; I had failed to bring some

floated dictionary binders into scope.

Exposed by -fspecialise-aggressively

Fixes #22715.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b7efdb24744d0788c8d0a9f132900c39acee6a7b" style="color: #1068bf;">b7efdb24</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-25T14:48:51-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>ci: Disable HLint job due to excessive runtime

The HLint jobs takes much longer to run (20 minutes) after "Give the RTS it's own configure script" eb5a6b91

Now the CI job will build the stage0 compiler before it generates the necessary RTS headers.

We either need to:

* Fix the linting rules so they take much less time

* Revert the commit

* Remove the linting of base from the hlint job

* Remove the hlint job

This is highest priority as it is affecting all CI pipelines.

For now I am just disabling the job because there are many more pressing

matters at hand.

Ticket #22830

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1bd32a355bd5fc484b641270ca7186e01d1b0c06" style="color: #1068bf;">1bd32a35</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2023-01-26T12:34:21-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Factorize hptModulesBelow

Create and use moduleGraphModulesBelow in GHC.Unit.Module.Graph that

doesn't need anything from the driver to be used.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1262d3f8c03799a04d3c5fcf33d4d4db715ca9a1" style="color: #1068bf;">1262d3f8</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-26T12:34:56-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Store dehydrated data structures in CgModBreaks

This fixes a tricky leak in GHCi where we were retaining old copies of

HscEnvs when reloading. If not all modules were recompiled then these

hydrated fields in break points would retain a reference to the old

HscEnv which could double memory usage.

Fixes #22530

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e27eb80cc7e0c82e07fbd8d9ae8112d9070c4355" style="color: #1068bf;">e27eb80c</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-26T12:34:56-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Force more in NFData Name instance

Doesn't force the lazy `OccName` field (#19619) which is already known

as a really bad source of leaks.

When we slam the hammer storing Names on disk (in interface files or the

like), all this should be forced as otherwise a `Name` can easily retain

an `Id` and hence the entire world.

Fixes #22833

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3d004d5a961fbbbe11da1050b725468a970bee4b" style="color: #1068bf;">3d004d5a</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-26T12:34:56-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Force OccName in tidyTopName

This occname has just been derived from an `Id`, so need to force it

promptly so we can release the Id back to the world.

Another symptom of the bug caused by #19619

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f2a0fea09a88693d876fb891ea7c8c97373c4aa6" style="color: #1068bf;">f2a0fea0</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-26T12:34:56-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Strict fields in ModNodeKey (otherwise retains HomeModInfo)

Towards #22530

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5640cb1d84d3cce4ce0a9e90d29b2b20d2b38c2f" style="color: #1068bf;">5640cb1d</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2023-01-26T12:35:36-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Hadrian: fix doc generation

Was missing dependencies on files generated by templates (e.g.

ghc.cabal)

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3e827c3f74ef76d90d79ab6c4e71aa954a1a6b90" style="color: #1068bf;">3e827c3f</a></strong>

<div>

<span> by Richard Eisenberg </span> <i> at 2023-01-26T20:06:53-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Do newtype unwrapping in the canonicaliser and rewriter

See Note [Unwrap newtypes first], which has the details.

Close #22519.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b3ef5c89fd4ce8cbdbe2b6dd4070a8568d0eb70a" style="color: #1068bf;">b3ef5c89</a></strong>

<div>

<span> by doyougnu </span> <i> at 2023-01-26T20:07:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>tryFillBuffer: strictify

more speculative bangs

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d0d7ba0fb053ebe7f919a5932066fbc776301ccd" style="color: #1068bf;">d0d7ba0f</a></strong>

<div>

<span> by Vladislav Zavialov </span> <i> at 2023-01-26T20:08:25-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>base: NoImplicitPrelude in Data.Void and Data.Kind

This change removes an unnecessary dependency on Prelude

from two modules in the base package.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/fa1db923c369126a8b0eb15951455d55684c788c" style="color: #1068bf;">fa1db923</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-26T20:09:00-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>ci: Add ubuntu18_04 nightly and release jobs

This adds release jobs for ubuntu18_04 which uses glibc 2.27 which is

older than the 2.28 which is used by Rocky8 bindists.

Ticket #22268

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/807310a16bfa0475b51a68eef68c5938932d1a63" style="color: #1068bf;">807310a1</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-26T20:09:00-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>rel-eng: Add missing rocky8 bindist

We intend to release rocky8 bindist so the fetching script needs to know

about them.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c7116b10b43ad702d4cfa21126d3cfa6edcd38ac" style="color: #1068bf;">c7116b10</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-26T20:09:35-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>base: Make changelog proposal references more consistent

Addresses #22773.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6932cfc798ea8f50d16b4876e9a2127e3e47046d" style="color: #1068bf;">6932cfc7</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2023-01-26T20:10:27-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Fix spurious change from !9568

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e480fbc2c6fdcb252847fc537ab7ec50d1dc2dfd" style="color: #1068bf;">e480fbc2</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-27T05:01:24-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>rts: Use C11-compliant static assertion syntax

Previously we used `static_assert` which is only available in C23. By

contrast, C11 only provides `_Static_assert`.

Fixes #22777

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2648c09cd3caefbcb5febd41867347b81cd94e47" style="color: #1068bf;">2648c09c</a></strong>

<div>

<span> by Andrei Borzenkov </span> <i> at 2023-01-27T05:02:07-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Replace errors from badOrigBinding with new one (#22839)

Problem: in 02279a9c the type-level [] syntax was changed from a built-in name

to an alias for the GHC.Types.List constructor. badOrigBinding assumes that if

a name is not built-in then it must have come from TH quotation, but this is

not necessarily the case with [].

The outdated assumption in badOrigBinding leads to incorrect error messages.

This code:

  data []

Fails with "Cannot redefine a Name retrieved by a Template Haskell quote: []"

Unfortunately, there is not enough information in RdrName to directly determine

if the name was constructed via TH or by the parser, so this patch changes the

error message instead.

It unifies TcRnIllegalBindingOfBuiltIn and TcRnNameByTemplateHaskellQuote

into a new error TcRnBindingOfExistingName and changes its wording to avoid

guessing the origin of the name.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/545bf8cf1844e2a1c18d2019d1f299ab10099873" style="color: #1068bf;">545bf8cf</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-27T14:58:53+00:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Revert "base: NoImplicitPrelude in Data.Void and Data.Kind"

Fixes CI errors of the form.

```

===> Command failed with error code: 1

ghc: panic! (the 'impossible' happened)

  GHC version 9.7.20230127:

        lookupGlobal

  Failed to load interface for ‘GHC.Num.BigNat’

  There are files missing in the ‘ghc-bignum’ package,

  try running 'ghc-pkg check'.

  Use -v (or `:set -v` in ghci) to see a list of the files searched for.

  Call stack:

      CallStack (from HasCallStack):

        callStackDoc, called at compiler/GHC/Utils/Panic.hs:189:37 in ghc:GHC.Utils.Panic

        pprPanic, called at compiler/GHC/Tc/Utils/Env.hs:154:32 in ghc:GHC.Tc.Utils.Env

  CallStack (from HasCallStack):

    panic, called at compiler/GHC/Utils/Error.hs:454:29 in ghc:GHC.Utils.Error

Please report this as a GHC bug:  https://www.haskell.org/ghc/reportabug

```

This reverts commit d0d7ba0fb053ebe7f919a5932066fbc776301ccd.

The module now lacks a dependency on GHC.Num.BigNat which it implicitly

depends on. It is causing all CI jobs to fail so we revert without haste

whilst the patch can be fixed.

Fixes #22848

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/638277ba7bd2683f539afb0bf469fe75376994e2" style="color: #1068bf;">638277ba</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2023-01-27T23:54:55-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Detect family instance orphans correctly

We were treating a type-family instance as a non-orphan if there

was a type constructor on its /right-hand side/ that was local. Boo!

Utterly wrong. With this patch, we correctly check the /left-hand side/

instead!

Fixes #22717

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/46a53bb2ffceafc2aef8d41bc0bf35407052d1b3" style="color: #1068bf;">46a53bb2</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2023-01-27T23:54:55-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Report family instance orphans correctly

This fixes the fact that we were not reporting orphan family instances

at all. The fix here is easy, but touches a bit of code. I refactored

the code to be much more similar to the way that class instances are done:

   - Add a fi_orphan field to FamInst, like the is_orphan field in ClsInst

   - Make newFamInst initialise this field, just like newClsInst

   - And make newFamInst report a warning for an orphan, just like newClsInst

   - I moved newFamInst from GHC.Tc.Instance.Family to GHC.Tc.Utils.Instantiate,

     just like newClsInst.

   - I added mkLocalFamInst to FamInstEnv, just like mkLocalClsInst in InstEnv

   - TcRnOrphanInstance and SuggestFixOrphanInstance are now parametrised

     over class instances vs type/data family instances.

Fixes #19773

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/faa300fb87f455980e390f7bf43c5a930e92f8e3" style="color: #1068bf;">faa300fb</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2023-01-27T23:54:55-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Avoid orphans in STG

This patch removes some orphan instances in the STG namespace

by introducing the GHC.Stg.Lift.Types module, which allows various

type family instances to be moved to GHC.Stg.Syntax, avoiding orphan

instances.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/0f25a13b7a59859d4be8be15af083e1c12ea6bc5" style="color: #1068bf;">0f25a13b</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2023-01-27T23:54:55-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Avoid orphans in the parser

This moves Anno instances for PatBuilder from GHC.Parser.PostProcess

to GHC.Parser.Types to avoid orphans.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/15750d33f634510920fc5333d346d55b961f4208" style="color: #1068bf;">15750d33</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2023-01-27T23:54:55-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Accept an orphan declaration (sadly)

This accepts the orphan type family instance

  type instance DsForeignHook = ...

in GHC.HsToCore.Types.

See Note [The Decoupling Abstract Data Hack] in GHC.Driver.Hooks

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c9967d137cff83c7688e26f87a8b5e196a75ec93" style="color: #1068bf;">c9967d13</a></strong>

<div>

<span> by Zubin Duggal </span> <i> at 2023-01-27T23:55:31-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>bindist configure: Fail if find not found (#22691)

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/ad8cfed4195b1bbfc14b841f010e75e71f63157d" style="color: #1068bf;">ad8cfed4</a></strong>

<div>

<span> by John Ericson </span> <i> at 2023-01-27T23:56:06-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Put hadrian bootstrap plans through `jq`

This makes it possible to review changes with conventional diffing

tools.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d0ddc01bbe20c6628b84ac5181a89aca2e99ba97" style="color: #1068bf;">d0ddc01b</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-27T23:56:42-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>testsuite: Introduce threaded2_sanity way

Incredibly, we previously did not have a single way which would test the

threaded RTS with multiple capabilities and the sanity-checker enabled.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/38ad83512950992d8fbfea78589b3194c32eb4d7" style="color: #1068bf;">38ad8351</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-27T23:56:42-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>rts: Relax Messages assertion

`doneWithMsgThrowTo` was previously too strict in asserting that the

`Message` is locked. Specifically, it failed to consider that the

`Message` may not be locked if we are deleting all threads during RTS

shutdown.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/a9fe81af542ea21757bc99a78bb467dc3979f274" style="color: #1068bf;">a9fe81af</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-27T23:56:42-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>testsuite: Fix race in UnliftedTVar2

Previously UnliftedTVar2 would fail when run with multiple capabilities

(and possibly even with one capability) as it would assume that

`killThread#` would immediately kill the "increment" thread.

Also, refactor the the executable to now succeed with no output and

fails with an exit code.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8519af60805da653159833494efaac61add69fb1" style="color: #1068bf;">8519af60</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-27T23:56:42-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>testsuite: Make listThreads more robust

Previously it was sensitive to the labels of threads which it did not

create (e.g. the IO manager event loop threads). Fix this.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/55a81995b7da53afba0d630d0c1b99f8ae475cfa" style="color: #1068bf;">55a81995</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-27T23:56:43-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>rts: Fix non-atomic mutation of enabled_capabilities

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b5c75f1d4652f7aebea27a09509707a24615dbd7" style="color: #1068bf;">b5c75f1d</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-27T23:56:43-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>rts: Fix C++ compilation issues

Make the RTS compilable with a C++ compiler by inserting necessary

casts.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c261b62f23a94df749ba23e4c2368efaddf07cbc" style="color: #1068bf;">c261b62f</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-27T23:56:43-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>rts: Fix typo

"tracingAddCapabilities" was mis-named

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/77fdbd3f7798ae7095a6a22c3674c08c86a91c6c" style="color: #1068bf;">77fdbd3f</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-27T23:56:43-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>rts: Drop long-dead fallback definitions for INFINITY & NAN

These are no longer necessary since we now compile as C99.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/56c1bd986ac13e3a1fe1149f011480e44f857f5a" style="color: #1068bf;">56c1bd98</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-28T02:57:59-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Revert "CApiFFI: add ConstPtr for encoding const-qualified pointer return types (#22043)"

This reverts commit 99aca26b652603bc62953157a48e419f737d352d.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b3a3534b6f75b34dc4db76e904e071485da6d5cc" style="color: #1068bf;">b3a3534b</a></strong>

<div>

<span> by nineonine </span> <i> at 2023-01-28T02:57:59-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>CApiFFI: add ConstPtr for encoding const-qualified pointer return types

Previously, when using `capi` calling convention in foreign declarations,

code generator failed to handle const-cualified pointer return types.

This resulted in CC toolchain throwing `-Wincompatible-pointer-types-discards-qualifiers`

warning.

`Foreign.C.Types.ConstPtr` newtype was introduced to handle these cases -

special treatment was put in place to generate appropritetly qualified C

wrapper that no longer triggers the above mentioned warning.

Fixes #22043.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/082b7d43ee4b8203dc9bca53e5e1f7a45c42eeb8" style="color: #1068bf;">082b7d43</a></strong>

<div>

<span> by Oleg Grenrus </span> <i> at 2023-01-28T02:58:38-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Add Foldable1 Solo instance

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/50b1e2e8141fb1a3d1d3c1563935d08e90dca11a" style="color: #1068bf;">50b1e2e8</a></strong>

<div>

<span> by Andrei Borzenkov </span> <i> at 2023-01-28T02:59:18-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Convert diagnostics in GHC.Rename.Bind to proper TcRnMessage (#20115)

I removed all occurrences of TcRnUnknownMessage in GHC.Rename.Bind

module. Instead, these TcRnMessage messages were introduced:

  TcRnMultipleFixityDecls

  TcRnIllegalPatternSynonymDecl

  TcRnIllegalClassBiding

  TcRnOrphanCompletePragma

  TcRnEmptyCase

  TcRnNonStdGuards

  TcRnDuplicateSigDecl

  TcRnMisplacedSigDecl

  TcRnUnexpectedDefaultSig

  TcRnBindInBootFile

  TcRnDuplicateMinimalSig

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3330b819afa1235d870b9373bd5c39a772a20ff8" style="color: #1068bf;">3330b819</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-28T02:59:54-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>hadrian: Fix library-dirs, dynamic-library-dirs and static-library-dirs in inplace .conf files

Previously we were just throwing away the contents of the library-dirs

fields but really we have to do the same thing as for include-dirs,

relativise the paths into the current working directory and maintain any

extra libraries the user has specified.

Now the relevant section of the rts.conf file looks like:

```

library-dirs:

    ${pkgroot}/../rts/build

    ${pkgroot}/../../..//_build/stage1/rts/build

    /nix/store/av4c0fib4rkmb6sa1074z0rb1ciria5b-gperftools-2.10/lib

    /nix/store/2infxahfp9lj084xn3q9ib5ajks8447i-libffi-3.4.4/lib

library-dirs-static:

    ${pkgroot}/../rts/build

    ${pkgroot}/../../..//_build/stage1/rts/build

    /nix/store/av4c0fib4rkmb6sa1074z0rb1ciria5b-gperftools-2.10/lib

    /nix/store/2infxahfp9lj084xn3q9ib5ajks8447i-libffi-3.4.4/lib

dynamic-library-dirs:

    ${pkgroot}/../rts/build

    ${pkgroot}/../../..//_build/stage1/rts/build

    /nix/store/av4c0fib4rkmb6sa1074z0rb1ciria5b-gperftools-2.10/lib

    /nix/store/2infxahfp9lj084xn3q9ib5ajks8447i-libffi-3.4.4/lib

```

Fixes #22209

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c9ad8852bdd083f8692361134bc247a1eb2bbd77" style="color: #1068bf;">c9ad8852</a></strong>

<div>

<span> by Bodigrim </span> <i> at 2023-01-28T03:00:33-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Document differences between Data.{Monoid,Semigroup}.{First,Last}

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7e11c6dc25cb9dd14ae33ee9715ddbc8ebf9836e" style="color: #1068bf;">7e11c6dc</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2023-01-28T03:01:09-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>compiler: fix subword literal narrowing logic in the wasm NCG

This patch fixes the W8/W16 literal narrowing logic in the wasm NCG,

which used to lower it to something like i32.const -1, without

properly zeroing-out the unused higher bits. Fixes #22608.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6ea2aa0293aedea2f873b7b5d9cff5e7b9e2f188" style="color: #1068bf;">6ea2aa02</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2023-01-28T03:01:46-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>compiler: fix lowering of CmmBlock in the wasm NCG

The CmmBlock datacon was not handled in lower_CmmLit, since I thought

it would have been eliminated after proc-point splitting. Turns out it

still occurs in very rare occasions, and this patch is needed to fix

T9329 for wasm.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2b62739d7e6cc65f444029f252578f2dddb95ce3" style="color: #1068bf;">2b62739d</a></strong>

<div>

<span> by Bodigrim </span> <i> at 2023-01-28T17:16:11-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Assorted changes to avoid Data.List.{head,tail}

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/78c07219d5dad9730bbe3ec26ad22912ff22f058" style="color: #1068bf;">78c07219</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2023-01-28T17:16:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>compiler: properly handle ForeignHints in the wasm NCG

Properly handle ForeignHints of ccall arguments/return value, insert

sign extends and truncations when handling signed subwords. Fixes #22852.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8bed166bb79445f90015757fd5baac69a7b835df" style="color: #1068bf;">8bed166b</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-30T05:06:26-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>nativeGen: Disable asm-shortcutting on Darwin

Asm-shortcutting may produce relative references to symbols defined in

other compilation units. This is not something that MachO relocations

support (see #21972). For this reason we disable the optimisation on

Darwin. We do so without a warning since this flag is enabled by `-O2`.

Another way to address this issue would be to rather implement a

PLT-relocatable jump-table strategy. However, this would only benefit

Darwin and does not seem worth the effort.

Closes #21972.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/da468391872f6be286db37a0f016a37f9f362509" style="color: #1068bf;">da468391</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2023-01-30T05:07:03-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>compiler: fix data section alignment in the wasm NCG

Previously we tried to lower the alignment requirement as far as

possible, based on the section kind inferred from the CLabel. For info

tables, .p2align 1 was applied given the GC should only need the

lowest bit to tag forwarding pointers. But this would lead to

unaligned loads/stores, which has a performance penalty even if the

wasm spec permits it. Furthermore, the test suite has shown memory

corruption in a few cases when compacting gc is used.

This patch takes a more conservative approach: all data sections

except C strings align to word size.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/08ba87200ff068aa37cac082e61ee7e2d534daf5" style="color: #1068bf;">08ba8720</a></strong>

<div>

<span> by Andreas Klebinger </span> <i> at 2023-01-30T21:18:45-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>ghc-the-library: Retain cafs in both static in dynamic builds.

We use keepCAFsForGHCi.c to force -fkeep-cafs behaviour by using a

__attribute__((constructor)) function.

This broke for static builds where the linker discarded the object file

since it was not reverenced from any exported code. We fix this by

asserting that the flag is enabled using a function in the same module

as the constructor. Which causes the object file to be retained by the

linker, which in turn causes the constructor the be run in static builds.

This changes nothing for dynamic builds using the ghc library. But causes

static to also retain CAFs (as we expect them to).

Fixes #22417.

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

Metric Decrease:

    T21839r

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

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/20598ef6d9e26e2e0af9ac42a42e7be00d7cc4f3" style="color: #1068bf;">20598ef6</a></strong>

<div>

<span> by Ryan Scott </span> <i> at 2023-01-30T21:19:20-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Handle `type data` properly in tyThingParent_maybe

Unlike most other data constructors, data constructors declared with `type data`

are represented in `TyThing`s as `ATyCon` rather than `ADataCon`. The `ATyCon`

case in `tyThingParent_maybe` previously did not consider the possibility of

the underlying `TyCon` being a promoted data constructor, which led to the

oddities observed in #22817. This patch adds a dedicated special case in

`tyThingParent_maybe`'s `ATyCon` case for `type data` data constructors to fix

these oddities.

Fixes #22817.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2f1450521b816a7d287b72deba14d59b6ccfbdbf" style="color: #1068bf;">2f145052</a></strong>

<div>

<span> by Ryan Scott </span> <i> at 2023-01-30T21:19:56-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Fix two bugs in TypeData TH reification

This patch fixes two issues in the way that `type data` declarations were

reified with Template Haskell:

* `type data` data constructors are now properly reified using `DataConI`.

  This is accomplished with a special case in `reifyTyCon`. Fixes #22818.

* `type data` type constructors are now reified in `reifyTyCon` using

  `TypeDataD` instead of `DataD`. Fixes #22819.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d0f34f25ceaae9ef0a21f15f811469d0bed9da69" style="color: #1068bf;">d0f34f25</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2023-01-30T21:20:35-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Take account of loop breakers in specLookupRule

The key change is that in GHC.Core.Opt.Specialise.specLookupRule

we were using realIdUnfolding, which ignores the loop-breaker

flag.  When given a loop breaker, rule matching therefore

looped infinitely -- #22802.

In fixing this I refactored a bit.

* Define GHC.Core.InScopeEnv as a data type, and use it.

  (Previously it was a pair: hard to grep for.)

* Put several functions returning an IdUnfoldingFun into

  GHC.Types.Id, namely

     idUnfolding

     alwaysActiveUnfoldingFun,

     whenActiveUnfoldingFun,

     noUnfoldingFun

  and use them.  (The are all loop-breaker aware.)

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/de963cb62a39ade6615d705d5c9c89b6629868f5" style="color: #1068bf;">de963cb6</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-30T21:21:11-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>ci: Remove FreeBSD job from release pipelines

We no longer attempt to build or distribute this release

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f26d27ec3a2e6bc97ae92b6942d7d9299470418d" style="color: #1068bf;">f26d27ec</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-30T21:21:11-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>rel_eng: Add check to make sure that release jobs are downloaded by fetch-gitlab

This check makes sure that if a job is a prefixed by "release-" then the

script downloads it and understands how to map the job name to the

platform.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7619c0b4e55de815de433182057345ec1f4472a3" style="color: #1068bf;">7619c0b4</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-30T21:21:11-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>rel_eng: Fix the name of the ubuntu-* jobs

These were not uploaded for alpha1

Fixes #22844

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/68eb8877a73e09dd76a26017ec065fb843e843ed" style="color: #1068bf;">68eb8877</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-30T21:21:11-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>gen_ci: Only consider release jobs for job metadata

In particular we do not have a release job for FreeBSD so the generation

of the platform mapping was failing.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b69461a06166d2b1c600df87b87656d09122fb7c" style="color: #1068bf;">b69461a0</a></strong>

<div>

<span> by Jason Shipman </span> <i> at 2023-01-30T21:21:50-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>User's guide: Clarify overlapping instance candidate elimination

This commit updates the user's guide section on overlapping instance candidate

elimination to use "or" verbiage instead of "either/or" in regards to the

current pair of candidates' being overlappable or overlapping. "Either IX is

overlappable, or IY is overlapping" can cause confusion as it suggests "Either

IX is overlappable, or IY is overlapping, but not both".

This was initially discussed on this Discourse topic:

https://discourse.haskell.org/t/clarification-on-overlapping-instance-candidate-elimination/5677

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7cbdaad0396cee561f125c95f3352cebabd8ed99" style="color: #1068bf;">7cbdaad0</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-01-31T07:53:53-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Fixes for cabal-reinstall CI job

* Allow filepath to be reinstalled

* Bump some version bounds to allow newer versions of libraries

* Rework testing logic to avoid "install --lib" and package env files

Fixes #22344

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/fd8f32bf551c34b95275ebb4fe648680013156f3" style="color: #1068bf;">fd8f32bf</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2023-01-31T07:54:29-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>rts: prevent potential divide-by-zero when tickInterval=0

This patch fixes a few places in RtsFlags.c that may result in

divide-by-zero error when tickInterval=0, which is the default on

wasm. Fixes #22603.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/085a6db690ababae5d7b6a73f13a1f2f24aa9417" style="color: #1068bf;">085a6db6</a></strong>

<div>

<span> by Joachim Breitner </span> <i> at 2023-01-31T07:55:05-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Update note at beginning of GHC.Builtin.NAmes

some things have been renamed since it was written, it seems.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7716cbe64862932fd69348b2594a14f2092e1c02" style="color: #1068bf;">7716cbe6</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2023-01-31T07:55:41-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>testsuite: use tgamma for cg007

gamma is a glibc-only deprecated function, use tgamma instead. It's

required for fixing cg007 when testing the wasm unregisterised

codegen.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/19c1fbcd133b2bf015380409cbd3bccf01a4fb53" style="color: #1068bf;">19c1fbcd</a></strong>

<div>

<span> by doyougnu </span> <i> at 2023-01-31T13:08:03-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>InfoTableProv: ShortText --> ShortByteString

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/765fab98b0795bbe8ad50796c55b9408a2af54cf" style="color: #1068bf;">765fab98</a></strong>

<div>

<span> by doyougnu </span> <i> at 2023-01-31T13:08:03-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>FastString: add fastStringToShorText

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/a83c810d26aab5944aa8d4821e00bd3938557f2e" style="color: #1068bf;">a83c810d</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2023-01-31T13:08:38-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Improve exprOkForSpeculation for classops

This patch fixes #22745 and #15205, which are about GHC's

failure to discard unnecessary superclass selections that

yield coercions.  See

  GHC.Core.Utils Note [exprOkForSpeculation and type classes]

The main changes are:

* Write new Note [NON-BOTTOM_DICTS invariant] in GHC.Core, and

  refer to it

* Define new function isTerminatingType, to identify those

  guaranteed-terminating dictionary types.

* exprOkForSpeculation has a new (very simple) case for ClassOpId

* ClassOpId has a new field that says if the return type is

  an unlifted type, or a terminating type.

This was surprisingly tricky to get right.  In particular note

that unlifted types are not terminating types; you can write an

expression of unlifted type, that diverges.  Not so for dictionaries

(or, more precisely, for the dictionaries that GHC constructs).

Metric Decrease:

    LargeRecord

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f83374f8649e5d8413e7ed585b0e058690c38563" style="color: #1068bf;">f83374f8</a></strong>

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2023-01-31T13:09:14-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Support "unusable UNPACK pragma" warning with -O0

Fixes #11270

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/a2d814dc84dbdcdb6c1e274b8bd7c212cc98c39e" style="color: #1068bf;">a2d814dc</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-31T13:09:50-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>configure: Always create the VERSION file

Teach the `configure` script to create the `VERSION` file.

This will serve as the stable interface to allow the user to determine

the version number of a working tree.

Fixes #22322.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5618fc21dc480f88ac7cbe14337e72c92b8001d7" style="color: #1068bf;">5618fc21</a></strong>

<div>

<span> by sheaf </span> <i> at 2023-01-31T15:51:06-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Cmm: track the type of global registers

This patch tracks the type of Cmm global registers. This is needed

in order to lint uses of polymorphic registers, such as SIMD vector

registers that can be used both for floating-point and integer values.

This changes allows us to refactor VanillaReg to not store VGcPtr,

as that information is instead stored in the type of the usage of the

register.

Fixes #22297

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/78b9943073ae2e3afe3fd638a938e18b65cc3ef3" style="color: #1068bf;">78b99430</a></strong>

<div>

<span> by sheaf </span> <i> at 2023-01-31T15:51:06-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Revert "Cmm Lint: relax SIMD register assignment check"

This reverts commit 3be48877, which weakened a Cmm Lint check involving

SIMD vectors. Now that we keep track of the type a global register is

used at, we can restore the original stronger check.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/be417a47c7695998dea0adc05489a7b8838a78b6" style="color: #1068bf;">be417a47</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-31T15:51:45-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>nativeGen/AArch64: Fix debugging output

Previously various panics would rely on a half-written Show

instance, leading to very unhelpful errors. Fix this.

See #22798.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/30989d137b8f3a8fddbfd116e04b48f23c24f86c" style="color: #1068bf;">30989d13</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-31T15:51:45-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>nativeGen: Teach graph-colouring allocator that x18 is unusable

Previously trivColourable for AArch64 claimed that at 18 registers were

trivially-colourable. This is incorrect as x18 is reserved by the platform on

AArch64/Darwin.

See #22798.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7566fd9de38c67360c090f828923d41587af519c" style="color: #1068bf;">7566fd9d</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-31T15:51:45-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>nativeGen/AArch64: Fix graph-colouring allocator

Previously various `Instr` queries used by the graph-colouring allocator

failed to handle a few pseudo-instructions. This manifested in compiler

panicks while compiling `SHA`, which uses `-fregs-graph`.

Fixes #22798.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2cb500a5ee1a31dfe1a2cdd71f175442026eb082" style="color: #1068bf;">2cb500a5</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-31T15:51:45-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>testsuite: Add regression test for #22798

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/03d693b20a40bb7e86955889b25ae80b531cffae" style="color: #1068bf;">03d693b2</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-31T15:52:32-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Revert "Hadrian: fix doc generation"

This is too large of a hammer.

This reverts commit 5640cb1d84d3cce4ce0a9e90d29b2b20d2b38c2f.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f838815c365773a8107bf035a8ec27b8ff6ecc8b" style="color: #1068bf;">f838815c</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-31T15:52:32-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>hadrian: Sphinx docs require templated cabal files

The package-version discovery logic in

`doc/users_guide/package_versions.py` uses packages' cabal files to

determine package versions. Teach Sphinx about these dependencies in

cases where the cabal files are generated by templates.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2e48c19a7faf975318e954faea26f37deb763ac0" style="color: #1068bf;">2e48c19a</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-31T15:52:32-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>hadrian: Refactor templating logic

This refactors Hadrian's autoconf-style templating logic to be explicit

about which interpolation variables should be substituted in which

files. This clears the way to fix #22714 without incurring rule cycles.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/93f0e3c49cea484bd6e838892ff8702ec51f34c3" style="color: #1068bf;">93f0e3c4</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-31T15:52:33-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>hadrian: Substitute LIBRARY_*_VERSION variables

This teaches Hadrian to substitute the `LIBRARY_*_VERSION` variables

in `libraries/prologue.txt`, fixing #22714.

Fixes #22714.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/22089f693cf6e662a58a7011adb94d7f768ad2d7" style="color: #1068bf;">22089f69</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-01-31T20:46:27-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Bump transformers submodule to 0.6.0.6

Fixes #22862.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f0eefa3cf058879246991747dcd18c811402f9e5" style="color: #1068bf;">f0eefa3c</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2023-01-31T20:47:03-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>compiler: properly handle non-word-sized CmmSwitch scrutinees in the wasm NCG

Currently, the wasm NCG has an implicit assumption: all CmmSwitch

scrutinees are 32-bit integers. This is not always true; #22864 is one

counter-example with a 64-bit scrutinee. This patch fixes the logic by

explicitly converting the scrutinee to a word that can be used as a

br_table operand. Fixes #22871. Also includes a regression test.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9f95db54e38b21782d058043abe42fd77abfb9ad" style="color: #1068bf;">9f95db54</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2023-02-01T08:55:08+00:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Improve treatment of type applications in patterns

This patch fixes a subtle bug in the typechecking of type

applications in patterns, e.g.

   f (MkT @Int @a x y) = ...

See Note [Type applications in patterns] in GHC.Tc.Gen.Pat.

This fixes #19847, #22383, #19577, #21501

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/955a99ea28a0d06de67f0595d366450281aab0c0" style="color: #1068bf;">955a99ea</a></strong>

<div>

<span> by Simon Peyton Jones </span> <i> at 2023-02-01T12:31:23-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Treat existentials correctly in dubiousDataConInstArgTys

Consider (#22849)

 data T a where

   MkT :: forall k (t::k->*) (ix::k). t ix -> T @k a

Then dubiousDataConInstArgTys MkT [Type, Foo] should return

        [Foo (ix::Type)]

NOT     [Foo (ix::k)]

A bit of an obscure case, but it's an outright bug, and the fix is easy.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/0cc16aaf89d7dc3963764b7193ceac73e4e3329b" style="color: #1068bf;">0cc16aaf</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-02-01T12:31:58-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Bump supported LLVM range from 10 through 15 to 11 through 16

LLVM 15 turns on the new pass manager by default, which we have yet to

migrate to so for new we pass the `-enable-new-pm-0` flag in our

llvm-passes flag.

LLVM 11 was the first version to support the `-enable-new-pm` flag so we

bump the lowest supported version to 11.

Our CI jobs are using LLVM 12 so they should continue to work despite

this bump to the lower bound.

Fixes #21936

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f94f14502a00824d48cef69d362774a9a4bfc6d6" style="color: #1068bf;">f94f1450</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-02-01T12:31:58-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Bump DOCKER_REV to use alpine image without LLVM installed

alpine_3_12 only supports LLVM 10, which is now outside the supported

version range.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/083e26ed6364e444b41e6693410cb549b188da38" style="color: #1068bf;">083e26ed</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-02-01T17:43:21-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Remove tracing OPTIONS_GHC

These were accidentally left over from !9542

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/354aa47d313113855aff9e5c5476fcb56f80e3bf" style="color: #1068bf;">354aa47d</a></strong>

<div>

<span> by Teo Camarasu </span> <i> at 2023-02-01T17:44:00-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>doc: fix gcdetails_block_fragmentation_bytes since annotation

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/61ce5bf6b930f2f91471f36a26bcaddea279b515" style="color: #1068bf;">61ce5bf6</a></strong>

<div>

<span> by Jaro Reinders </span> <i> at 2023-02-02T00:15:30-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>compiler: Implement higher order patterns in the rule matcher

This implements proposal 555 and closes ticket #22465.

See the proposal and ticket for motivation.

The core changes of this patch are in the GHC.Core.Rules.match function

and they are explained in the Note [Matching higher order patterns].

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/394b91ce859653231813fb9af77c26664063c1b6" style="color: #1068bf;">394b91ce</a></strong>

<div>

<span> by doyougnu </span> <i> at 2023-02-02T00:16:10-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>CI: JavaScript backend runs testsuite

This MR runs the testsuite for the JS backend. Note that this is a

temporary solution until !9515 is merged.

Key point: The CI runs hadrian on the built cross compiler _but not_ on

the bindist.

Other Highlights:

 - stm submodule gets a bump to mark tests as broken

 - several tests are marked as broken or are fixed by adding more

 - conditions to their test runner instance.

List of working commit messages:

CI: test cross target _and_ emulator

CI: JS: Try run testsuite with hadrian

JS.CI: cleanup and simplify hadrian invocation

use single bracket, print info

JS CI: remove call to test_compiler from hadrian

don't build haddock

JS: mark more tests as broken

Tracked in https://gitlab.haskell.org/ghc/ghc/-/issues/22576

JS testsuite: don't skip sum_mod test

Its expected to fail, yet we skipped it which automatically makes it

succeed leading to an unexpected success,

JS testsuite: don't mark T12035j as skip

leads to an unexpected pass

JS testsuite: remove broken on T14075

leads to unexpected pass

JS testsuite: mark more tests as broken

JS testsuite: mark T11760 in base as broken

JS testsuite: mark ManyUnbSums broken

submodules: bump process and hpc for JS tests

Both submodules has needed tests skipped or marked broken for th JS

backend. This commit now adds these changes to GHC.

See:

HPC: https://gitlab.haskell.org/hpc/hpc/-/merge_requests/21

Process: https://github.com/haskell/process/pull/268

remove js_broken on now passing tests

separate wasm and js backend ci

test: T11760: add threaded, non-moving only_ways

test: T10296a add req_c

T13894: skip for JS backend

tests: jspace, T22333: mark as js_broken(22573)

test: T22513i mark as req_th

stm submodule: mark stm055, T16707 broken for JS

tests: js_broken(22374) on unpack_sums_6, T12010

dont run diff on JS CI, cleanup

fixup: More CI cleanup

fix: align text to master

fix: align exceptions submodule to master

CI: Bump DOCKER_REV

Bump to ci-images commit that has a deb11 build with node. Required for

!9552

testsuite: mark T22669 as js_skip

See #22669

This test tests that .o-boot files aren't created when run in using the

interpreter backend. Thus this is not relevant for the JS backend.

testsuite: mark T22671 as broken on JS

See #22835

base.testsuite: mark Chan002 fragile for JS

see #22836

revert: submodule process bump

bump stm submodule

New hash includes skips for the JS backend.

testsuite: mark RnPatternSynonymFail broken on JS

Requires TH:

 - see !9779

 - and #22261

compiler: GHC.hs ifdef import Utils.Panic.Plain

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1ffe770c8d8c5c42edcf1558242f39431f72b965" style="color: #1068bf;">1ffe770c</a></strong>

<div>

<span> by Cheng Shao </span> <i> at 2023-02-02T09:40:38+00:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>docs: 9.6 release notes for wasm backend

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/0ada454703560b733fe3c920b87496ac1238c29e" style="color: #1068bf;">0ada4547</a></strong>

<div>

<span> by Matthew Pickering </span> <i> at 2023-02-02T11:39:44-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Disable unfolding sharing for interface files with core definitions

Ticket #22807 pointed out that the RHS sharing was not compatible with

-fignore-interface-pragmas because the flag would remove unfoldings from

identifiers before the `extra-decls` field was populated.

For the 9.6 timescale the only solution is to disable this sharing,

which will make interface files bigger but this is acceptable for the

first release of `-fwrite-if-simplified-core`.

For 9.8 it would be good to fix this by implementing #20056 due to the

large number of other bugs that would fix.

I also improved the error message in tc_iface_binding to avoid the "no match

in record selector" error but it should never happen now as the entire

sharing logic is disabled.

Also added the currently broken test for #22807 which could be fixed by

!6080

Fixes #22807

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7e2d3eb507da184cf3337d36715fd82a81643d91" style="color: #1068bf;">7e2d3eb5</a></strong>

<div>

<span> by lrzlin </span> <i> at 2023-02-03T05:23:27-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Enable tables next to code for LoongArch64

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2931712a127423c0ab7ac94c7d96dfa8d6c446b6" style="color: #1068bf;">2931712a</a></strong>

<div>

<span> by Wander Hillen </span> <i> at 2023-02-03T05:24:06-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Move pthread and timerfd ticker implementations to separate files

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/41c4baf84e8bf77588be92ef5d4c72add3971656" style="color: #1068bf;">41c4baf8</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-02-03T05:24:44-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>base: Fix Note references in GHC.IO.Handle.Types

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3135819847aae0cdcc6c2fca4a2234fcfed1db93" style="color: #1068bf;">31358198</a></strong>

<div>

<span> by Bodigrim </span> <i> at 2023-02-03T05:25:22-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Bump submodule containers to 0.6.7

Metric Decrease:

    ManyConstructors

    T10421

    T12425

    T12707

    T13035

    T13379

    T15164

    T1969

    T783

    T9198

    T9961

    WWRec

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8feb93013cf6f093e025c9e9a3213ae1fa0f73a0" style="color: #1068bf;">8feb9301</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-02-03T05:25:59-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>gitlab-ci: Eliminate redundant ghc --info output

Previously ci.sh would emit the output of `ghc --info` every time it ran

when using the nix toolchain. This produced a significant amount of

noise.

See #22861.</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/de1d15127ac3f41ac3044215b0ea3398a36edc89" style="color: #1068bf;">de1d1512</a></strong>

<div>

<span> by Ryan Scott </span> <i> at 2023-02-03T14:07:30-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Windows: Remove mingwex dependency

The clang based toolchain uses ucrt as its math library

and so mingwex is no longer needed.  In fact using mingwex

will cause incompatibilities as the default routines in both

have differing ULPs and string formatting modifiers.

```

$ LIBRARY_PATH=/mingw64/lib ghc/_build/stage1/bin/ghc Bug.hs -fforce-recomp && ./Bug.exe

[1 of 2] Compiling Main             ( Bug.hs, Bug.o )

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `__imp___p__environ'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `__hscore_get_errno'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `base_ForeignziCziError_errnoToIOError_info'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `base_GHCziWindows_failIf2_closure'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `base_GHCziIOziEncodingziCodePageziAPI_mkCodePageEncoding_info'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `base_GHCziIOziEncodingziCodePage_currentCodePage_closure'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `base_GHCziIOziEncoding_getForeignEncoding_closure'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `base_ForeignziCziString_withCStringLen1_info'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `base_GHCziIOziHandleziInternals_zdwflushCharReadBuffer_info'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `base_GHCziIOziHandleziText_hGetBuf1_info'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `base_GHCziFingerprint_fingerprintString_closure'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `base_DataziTypeableziInternal_mkTrCon_closure'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `base_GHCziException_errorCallWithCallStackException_closure'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\base-4.17.0.0\libHSbase-4.17.0.0.a: unknown symbol `base_GHCziErr_error_info'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\template-haskell-2.19.0.0\libHStemplate-haskell-2.19.0.0.a: unknown symbol `base_DataziMaybe_fromJust1_info'

ghc.exe:  | C:\Users\winferno\Software\ghc\_build\stage1\lib\x86_64-windows-ghc-9.5.20220908\template-haskell-2.19.0.0\libHStemplate-haskell-2.19.0.0.a: unknown symbol `templatezmhaskell_LanguageziHaskellziTHziSyntax_IntPrimL_con_info'

ghc.exe: ^^ Could not load 'templatezmhaskell_LanguageziHaskellziTHziLibziInternal_stringL_closure', dependency unresolved. See top entry above.

<no location info>: error:

GHC.ByteCode.Linker.lookupCE

During interactive linking, GHCi couldn't find the following symbol:

  templatezmhaskell_LanguageziHaskellziTHziLibziInternal_stringL_closure

This may be due to you not asking GHCi to load extra object files,

archives or DLLs needed by your current session.  Restart GHCi, specifying

the missing library using the -L/path/to/object/dir and -lmissinglibname

flags, or simply by naming the relevant files on the GHCi command line.

Alternatively, this link failure might indicate a bug in GHCi.

If you suspect the latter, please report this as a GHC bug:

  https://www.haskell.org/ghc/reportabug

```

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/48e391952c17ff7eab10b0b1456e3f2a2af28a9b" style="color: #1068bf;">48e39195</a></strong>

<div>

<span> by Tamar Christina </span> <i> at 2023-02-03T14:07:30-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>linker: Fix BFD import libraries

This commit fixes the BFD style import library support in the runtime

linker.  This was accidentally broken during the refactoring to clang

and went unnoticed because clang itself is unable to generate the BFD

style import libraries.

With this change we can not link against both GCC or Clang produced

libraries again and intermix code produced by both compilers.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b2bb3e62275cc1d9e00a2d5ed511843192133ed5" style="color: #1068bf;">b2bb3e62</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-02-03T14:07:30-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Bump Windows toolchain

Updates to LLVM 14, hopefully fixing #21964.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/bf3f88a1a5b23bdf304baca473c3ee797c5f86bd" style="color: #1068bf;">bf3f88a1</a></strong>

<div>

<span> by Andreas Klebinger </span> <i> at 2023-02-03T14:08:07-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Fix CallerCC potentially shadowing other cost centres.

Add a CallerCC cost centre flavour for cost centres added by the

CallerCC pass. This avoids potential accidental shadowing between

CCs added by user annotations and ones added by CallerCC.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/faea4bcdf4e71120a5480530fb1879e4439ed512" style="color: #1068bf;">faea4bcd</a></strong>

<div>

<span> by j </span> <i> at 2023-02-03T14:08:47-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Disable several ignore-warning flags in genapply.</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/25537dfda4ae59bc0321b229ca9ff924ef64d1fa" style="color: #1068bf;">25537dfd</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-02-04T04:12:57-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Revert "Use fix-sized bit-fiddling primops for fixed size boxed types"

This reverts commit 4512ad2d6a8e65ea43c86c816411cb13b822f674.

This was never applied to master/9.6 originally.

(cherry picked from commit a44bdc2720015c03d57f470b759ece7fab29a57a)

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7612dc713d5a1f108cfd6eb731435b090fbb8809" style="color: #1068bf;">7612dc71</a></strong>

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2023-02-04T04:13:34-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Minor refactor

* Introduce refactorDupsOn f = refactorDups (comparing f)

* Make mkBigTupleCase and coreCaseTuple monadic.

  Every call to those functions was preceded by calling newUniqueSupply.

* Use mkUserLocalOrCoVar, which is equivalent to combining

  mkLocalIdOrCoVar with mkInternalName.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5a54ac0b2b915889950c83e04bf1beb08631891e" style="color: #1068bf;">5a54ac0b</a></strong>

<div>

<span> by Bodigrim </span> <i> at 2023-02-04T18:48:32-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Fix colors in emacs terminal

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3c0f0c6d99486502c72e6514a40e7264baaa6afc" style="color: #1068bf;">3c0f0c6d</a></strong>

<div>

<span> by Bodigrim </span> <i> at 2023-02-04T18:49:11-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>base changelog: move entries which were not backported to ghc-9.6 to base-4.19 section

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b18fbf52f98d0128c52b3a90ddca727a6d5d4d45" style="color: #1068bf;">b18fbf52</a></strong>

<div>

<span> by Josh Meredith </span> <i> at 2023-02-06T07:47:57+00:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Update JavaScript fileStat to match Emscripten layout

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6636b670233522f01d002c9b97827d00289dbf5c" style="color: #1068bf;">6636b670</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2023-02-06T09:43:21-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>JS: replace "js" architecture with "javascript"

Despite Cabal supporting any architecture name, `cabal --check` only

supports a few built-in ones. Sadly `cabal --check` is used by Hackage

hence using any non built-in name in a package (e.g. `arch(js)`) is

rejected and the package is prevented from being uploaded on Hackage.

Luckily built-in support for the `javascript` architecture was added for

GHCJS a while ago. In order to allow newer `base` to be uploaded on

Hackage we make the switch from `js` to `javascript` architecture.

Fixes #22740.

Co-authored-by: Ben Gamari <ben@smart-cactus.org>

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/77a8234c5d284846e18c0a44ba5ee196059aaea6" style="color: #1068bf;">77a8234c</a></strong>

<div>

<span> by Luite Stegeman </span> <i> at 2023-02-06T09:43:59-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Fix marking async exceptions in the JS backend

Async exceptions are posted as a pair of the exception and

the thread object. This fixes the marking pass to correctly

follow the two elements of the pair.

Potentially fixes #22836

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3e09cf82ad111e0a6feed81b726849ceaaf3c805" style="color: #1068bf;">3e09cf82</a></strong>

<div>

<span> by Jan Hrček </span> <i> at 2023-02-06T09:44:38-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Remove extraneous word in Roles user guide

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b17fb3d96bd2e9f3bf96392f3b3b3e0aed7fe276" style="color: #1068bf;">b17fb3d9</a></strong>

<div>

<span> by sheaf </span> <i> at 2023-02-07T10:51:33-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Don't allow . in overloaded labels

This patch removes . from the list of allowed characters in a non-quoted

overloaded label, as it was realised this steals syntax, e.g. (#.).

Users who want this functionality will have to add quotes around the

label, e.g. `#"17.28"`.

Fixes #22821

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5dce04ee039ff24c403ac451d920b1eb22488505" style="color: #1068bf;">5dce04ee</a></strong>

<div>

<span> by romes </span> <i> at 2023-02-07T10:52:10-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Update kinds in comments in GHC.Core.TyCon

Use `Type` instead of star kind (*)

Fix comment with incorrect kind * to have kind `Constraint`

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/929161943f19e1673288adc83d165ddc99865798" style="color: #1068bf;">92916194</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-02-07T10:52:48-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Revert "Use fix-sized equality primops for fixed size boxed types"

This reverts commit 024020c38126f3ce326ff56906d53525bc71690c.

This was never applied to master/9.6 originally.

See #20405 for why using these primops is a bad idea.

(cherry picked from commit b1d109ad542e4c37ae5af6ace71baf2cb509d865)

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c1670c6bb0be68942f1e469334f2004544da6635" style="color: #1068bf;">c1670c6b</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2023-02-07T21:25:18-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>JS: avoid head/tail and unpackFS

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/a9912de75400b7006fc2eb6cb31c9bf5ae6dacd6" style="color: #1068bf;">a9912de7</a></strong>

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2023-02-07T21:25:53-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>testsuite: Fix Python warnings (#22856)

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/df3edc69fadc7174f0298f0072a951c5932a331a" style="color: #1068bf;">df3edc69</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-02-08T11:57:44-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>nativeGen: Explicitly set flags of text sections on Windows

The binutils documentation (for COFF) claims,

> If no flags are specified, the default flags depend upon the section

> name. If the section name is not recognized, the default will be for the

> section to be loaded and writable.

We previously assumed that this would do the right thing for split

sections (e.g. a section named `.text$foo` would be correctly inferred

to be a text section). However, we have observed that this is not the

case (at least under the clang toolchain used on Windows): when

split-sections is enabled, text sections are treated by the assembler as

data (matching the "default" behavior specified by the documentation).

Avoid this by setting section flags explicitly. This should fix split

sections on Windows.

Fixes #22834.

</pre>

</li>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/578965bdf13028fb7e0c2f6661424857580a7d95" style="color: #1068bf;">578965bd</a></strong>

<div>

<span> by Ben Gamari </span> <i> at 2023-02-08T11:58:59-05:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>nativeGen: Explicitly set section types

TODO

</pre>

</li>

</ul>

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

30 changed files:

</h4>

<ul>

<li class="file-stats">

<a href="#587d266bb27a4dc3022bbed44dfa19849df3044c" style="color: #1068bf;">

.gitlab-ci.yml

</a>

</li>

<li class="file-stats">

<a href="#157f7634c25bc6366cb7c9c9edb48e819dce38db" style="color: #1068bf;">

.gitlab/ci.sh

</a>

</li>

<li class="file-stats">

<a href="#a6883fe5ffe69ebc49b16c7e553faba405221f57" style="color: #1068bf;">

.gitlab/gen_ci.hs

</a>

</li>

<li class="file-stats">

<a href="#4f7fc727dfc06c2591e6043f44b9602eddfc3673" style="color: #1068bf;">

.gitlab/jobs.yaml

</a>

</li>

<li class="file-stats">

<a href="#5de9ce8e15f2e9acffcfef9ba02b198531831a17" style="color: #1068bf;">

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

</a>

</li>

<li class="file-stats">

<a href="#9efbf71c6a8cbe438e284b3e14d0309bef31d433" style="color: #1068bf;">

cabal.project-reinstall

</a>

</li>

<li class="file-stats">

<a href="#1b50a96ab238a583d87314ba070930e6793b8c67" style="color: #1068bf;">

compiler/CodeGen.Platform.h

</a>

</li>

<li class="file-stats">

<a href="#d0d96a6d03668aeab20ebe05e2c4ccb798c7e64c" style="color: #1068bf;">

compiler/GHC.hs

</a>

</li>

<li class="file-stats">

<a href="#0887cf39c5cdf9cf8d6758f410d7dab3023c0d77" style="color: #1068bf;">

compiler/GHC/Builtin/Names.hs

</a>

</li>

<li class="file-stats">

<a href="#5c66928780aaad0eb5888511dc4b0b08492c69fa" style="color: #1068bf;">

compiler/GHC/ByteCode/Types.hs

</a>

</li>

<li class="file-stats">

<a href="#d088ba20f051734394bf7ca283f33ed8127bc8ab" style="color: #1068bf;">

compiler/GHC/Cmm/CallConv.hs

</a>

</li>

<li class="file-stats">

<a href="#92b713d88390e6ea489e24b6cff8a3960384c0d0" style="color: #1068bf;">

compiler/GHC/Cmm/DebugBlock.hs

</a>

</li>

<li class="file-stats">

<a href="#56e23d78cfece2c83f03ed9b9a8ce9b20be26462" style="color: #1068bf;">

compiler/GHC/Cmm/Expr.hs

</a>

</li>

<li class="file-stats">

<a href="#29368208fbfcaee57ce84000cdccaba639e85a75" style="color: #1068bf;">

compiler/GHC/Cmm/Graph.hs

</a>

</li>

<li class="file-stats">

<a href="#066085df29cc928ac539d8feae6e5215cbbf1e14" style="color: #1068bf;">

compiler/GHC/Cmm/LayoutStack.hs

</a>

</li>

<li class="file-stats">

<a href="#e9c044b79842eca94ef683d075c4bfeca3bbb931" style="color: #1068bf;">

compiler/GHC/Cmm/Lexer.x

</a>

</li>

<li class="file-stats">

<a href="#cf82b82d6e47b3c81686a3340668a31ce028e2a1" style="color: #1068bf;">

compiler/GHC/Cmm/Lint.hs

</a>

</li>

<li class="file-stats">

<a href="#90378e83c3a00a78bc0b3c01da111e0a787de451" style="color: #1068bf;">

compiler/GHC/Cmm/Node.hs

</a>

</li>

<li class="file-stats">

<a href="#00c27365316e033b00cc3ed3854ac8714d25a2b5" style="color: #1068bf;">

compiler/GHC/Cmm/Opt.hs

</a>

</li>

<li class="file-stats">

<a href="#71e696f452eb493722d70306c6f304fc9b2f6a95" style="color: #1068bf;">

compiler/GHC/Cmm/Parser.y

</a>

</li>

<li class="file-stats">

<a href="#e6d1631f6489247960af7cf2a444f14f538f255a" style="color: #1068bf;">

compiler/GHC/Cmm/Reg.hs

</a>

</li>

<li class="file-stats">

<a href="#b1390f6749e1a2dddcae35f88d55623ea6269f56" style="color: #1068bf;">

compiler/GHC/Cmm/Sink.hs

</a>

</li>

<li class="file-stats">

<a href="#194e2602b82bb08fd31c3028aace1da113aae36f" style="color: #1068bf;">

compiler/GHC/Cmm/ThreadSanitizer.hs

</a>

</li>

<li class="file-stats">

<a href="#7296b8b156359e17fb0fad7b82eaee2db3294144" style="color: #1068bf;">

compiler/GHC/Cmm/Type.hs

</a>

</li>

<li class="file-stats">

<a href="#f9f29a5a64a0b66967f0a7c538dbf8ad06a9f5bb" style="color: #1068bf;">

compiler/GHC/Cmm/Utils.hs

</a>

</li>

<li class="file-stats">

<a href="#10b61652f9817945bb54ccf8fc40f8a664ca3c30" style="color: #1068bf;">

compiler/GHC/CmmToAsm.hs

</a>

</li>

<li class="file-stats">

<a href="#6997a0cd37829d3d08db1c48185aaa3d7dfc3e6b" style="color: #1068bf;">

compiler/GHC/CmmToAsm/AArch64/CodeGen.hs

</a>

</li>

<li class="file-stats">

<a href="#807babf5b215890881c92043bcd08486141a405c" style="color: #1068bf;">

compiler/GHC/CmmToAsm/AArch64/Instr.hs

</a>

</li>

<li class="file-stats">

<a href="#5986ebaacfa99d264abfd2f7ef19d99a64db720f" style="color: #1068bf;">

compiler/GHC/CmmToAsm/BlockLayout.hs

</a>

</li>

<li class="file-stats">

<a href="#b131e0d591301ee7a1c76bbd812f3d14783e934f" style="color: #1068bf;">

compiler/GHC/CmmToAsm/Dwarf.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: #666;">

—

<br>

<a href="https://gitlab.haskell.org/ghc/ghc/-/compare/6496a458aeb04e3e4e08a616b7c10f25f666091b...578965bdf13028fb7e0c2f6661424857580a7d95" style="color: #1068bf;">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" style="color: #1068bf;">gitlab.haskell.org</a>. <a href="https://gitlab.haskell.org/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link" style="color: #1068bf;">Manage all notifications</a> · <a href="https://gitlab.haskell.org/help" target="_blank" rel="noopener noreferrer" class="help-link" style="color: #1068bf;">Help</a>

</p>

</div>

</body>

</html>