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

Matthew Pickering pushed to branch wip/t22333 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/9ab31f42da8796363187e387c4085e8c9197f4e5" style="color: #1068bf;">9ab31f42</a></strong>

<div>

<span> by Sylvain Henry </span> <i> at 2022-10-26T09:32:20+02: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: more precise test options

Necessary for newer cross-compiling backends (JS, Wasm) that don't

support TH yet.

</pre>

</li>

<li>

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

<div>

<span> by Vladislav Zavialov </span> <i> at 2022-10-26T12:17:14-04: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;'>Use TcRnVDQInTermType in noNestedForallsContextsErr (#20115)

When faced with VDQ in the type of a term, GHC generates the following

error message:

        Illegal visible, dependent quantification in the type of a term

        (GHC does not yet support this)

Prior to this patch, there were two ways this message could have been

generated and represented:

        1. with the dedicated constructor TcRnVDQInTermType

            (see check_type in GHC.Tc.Validity)

        2. with the transitional constructor TcRnUnknownMessage

            (see noNestedForallsContextsErr in GHC.Rename.Utils)

Not only this led to duplication of code generating the final SDoc,

it also made it tricky to track the origin of the error message.

This patch fixes the problem by using TcRnVDQInTermType exclusively.

</pre>

</li>

<li>

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

<div>

<span> by Owen Shepherd </span> <i> at 2022-10-27T13:54:33-04: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 source location information from interface files

This change aims to minimize source location information leaking

into interface files, which makes ABI hashes dependent on the

build location.

The `Binary (Located a)` instance has been removed completely.

It seems that the HIE interface still needs the ability to

serialize SrcSpans, but by wrapping the instances, it should

be a lot more difficult to inadvertently add source location

information.

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-10-27T13:55:37-04: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 missing dict binds to specialiser

I had forgotten to add the auxiliary dict bindings to the

/unfolding/ of a specialised function.  This caused #22358,

which reports failures when compiling Hackage packages

     fixed-vector

     indexed-traversable

Regression test T22357 is snarfed from indexed-traversable

</pre>

</li>

<li>

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

<div>

<span> by Evan Relf </span> <i> at 2022-10-27T13:56:36-04: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 broken link to `async` package

</pre>

</li>

<li>

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

<div>

<span> by Zubin Duggal </span> <i> at 2022-10-28T00:49:22-04: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;'>Pass correct package db when testing stage1.

It used to pick the db for stage-2 which obviously didn't work.

</pre>

</li>

<li>

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

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2022-10-28T00:50:00-04: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 SDoc-related cleanup

* Rename pprCLabel to pprCLabelStyle, and use the name pprCLabel

  for a function using CStyle (analogous to pprAsmLabel)

* Move LabelStyle to the CLabel module, it no longer needs to be in Outputable.

* Move calls to 'text' right next to literals, to make sure the text/str

  rule is triggered.

* Remove FastString/String roundtrip in Tc.Deriv.Generate

* Introduce showSDocForUser', which abstracts over a pattern in

  GHCi.UI

</pre>

</li>

<li>

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

<div>

<span> by Bryan Richter </span> <i> at 2022-10-28T11:36:34+03: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: Don't run lint-submods on nightly

Fixes #22325

</pre>

</li>

<li>

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

<div>

<span> by Hécate Moonlight </span> <i> at 2022-10-28T19:46:12-04: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;'>Start the deprecation process for GHC.Pack

</pre>

</li>

<li>

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

<div>

<span> by M Farkas-Dyck </span> <i> at 2022-11-01T12:47:21-04: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;'>Drop a kludge for binutils<2.17, which is now over 10 years old.

</pre>

</li>

<li>

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

<div>

<span> by Nicolas Trangez </span> <i> at 2022-11-01T12:47:58-04: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: `name` argument of `createOSThread` can be `const`

Since we don't intend to ever change the incoming string, declare this

to be true.

Also, in the POSIX implementation, the argument is no longer `STG_UNUSED`

(since ee0deb8054da2a597fc5624469b4c44fd769ada2) in any code path.

See: https://gitlab.haskell.org/ghc/ghc/-/commit/ee0deb8054da2a597fc5624469b4c44fd769ada2#note_460080

</pre>

</li>

<li>

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

<div>

<span> by Nicolas Trangez </span> <i> at 2022-11-01T12:47:58-04: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 lifetime of `start_thread`s `name` value

Since, unlike the code in ee0deb8054da2^, usage of the `name` value

passed to `createOSThread` now outlives said function's lifetime, and

could hence be released by the caller by the time the new thread runs

`start_thread`, it needs to be copied.

See: https://gitlab.haskell.org/ghc/ghc/-/commit/ee0deb8054da2a597fc5624469b4c44fd769ada2#note_460080

See: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/9066

</pre>

</li>

<li>

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

<div>

<span> by Nicolas Trangez </span> <i> at 2022-11-01T12:47:58-04: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 OS thread naming in ticker

Since ee0deb805, the use of `pthread_setname_np` on Darwin was fixed

when invoking `createOSThread`. However, the 'ticker' has some

thread-creation code which doesn't rely on `createOSThread`, yet also

uses `pthread_setname_np`.

This patch enforces all thread creation to go through a single

function, which uses the (correct) thread-naming code introduced in

ee0deb805.

See: https://gitlab.haskell.org/ghc/ghc/-/commit/ee0deb8054da2a597fc5624469b4c44fd769ada2

See: https://gitlab.haskell.org/ghc/ghc/-/issues/22206

See: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/9066

</pre>

</li>

<li>

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

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2022-11-01T12:48:35-04: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;'>Typo: rename -fwrite-if-simplfied-core to -fwrite-if-simplified-core

</pre>

</li>

<li>

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

<div>

<span> by Vladislav Zavialov </span> <i> at 2022-11-01T12:49:10-04: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;'>ThToHs: fix overzealous parenthesization

Before this patch, when converting from TH.Exp to LHsExpr GhcPs,

the compiler inserted more parentheses than required:

        ((f a) (b + c)) d

This was happening because the LHS of the function application was

parenthesized as if it was the RHS.

Now we use funPrec and appPrec appropriately and produce sensibly

parenthesized expressions:

        f a (b + c) d

I also took the opportunity to remove the special case for LamE,

which was not special at all and simply duplicated code.

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-01T12:49:47-04: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 accurate skolem info when quantifying

Ticket #22379 revealed that skolemiseQuantifiedTyVar was

dropping the passed-in skol_info on the floor when it encountered

a SkolemTv.  Bad!  Several TyCons thereby share a single SkolemInfo

on their binders, which lead to bogus error reports.

</pre>

</li>

<li>

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

<div>

<span> by Fendor </span> <i> at 2022-11-01T12:50:25-04: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;'>Expose UnitEnvGraphKey for user-code

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-01T12:51:00-04: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;'>Shrink test case for #22357

Ryan Scott offered a cut-down repro case

(60 lines instead of more than 700 lines)

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-01T12:51:00-04: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 two tests for #17366

</pre>

</li>

<li>

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

<div>

<span> by Nicolas Trangez </span> <i> at 2022-11-02T12:06:48-04: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: introduce (and use) `STG_NORETURN`

Instead of sprinkling the codebase with

`GNU(C3)_ATTRIBUTE(__noreturn__)`, add a `STG_NORETURN` macro (for,

basically, the same thing) similar to `STG_UNUSED` and others, and

update the code to use this macro where applicable.

</pre>

</li>

<li>

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

<div>

<span> by Nicolas Trangez </span> <i> at 2022-11-02T12:06:48-04: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: consistently use `STG_UNUSED`

</pre>

</li>

<li>

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

<div>

<span> by Nicolas Trangez </span> <i> at 2022-11-02T12:06:48-04: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: introduce (and use) `STG_USED`

Similar to `STG_UNUSED`, have a specific macro for

`__attribute__(used)`.

</pre>

</li>

<li>

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

<div>

<span> by Nicolas Trangez </span> <i> at 2022-11-02T12:06:48-04: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: introduce (and use) `STG_MALLOC`

Instead of using `GNUC3_ATTRIBUTE(__malloc__)`, provide a `STG_MALLOC`

macro definition and use it instead.

</pre>

</li>

<li>

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

<div>

<span> by Nicolas Trangez </span> <i> at 2022-11-02T12:06:48-04: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 `STG_UNUSED`

</pre>

</li>

<li>

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

<div>

<span> by Nicolas Trangez </span> <i> at 2022-11-02T12:06:48-04: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: specify deallocator of allocating functions

This patch adds a new `STG_MALLOC1` macro (and its counterpart

`STG_MALLOC2` for completeness) which allows to specify the deallocation

function to be used with allocations of allocating functions, and

applies it to `stg*allocBytes`.

It also fixes a case where `free` was used to free up an

`stgMallocBytes` allocation, found by the above change.

See: https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html#index-malloc-function-attribute

See: https://gitlab.haskell.org/ghc/ghc/-/issues/22381

</pre>

</li>

<li>

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

<div>

<span> by Nicolas Trangez </span> <i> at 2022-11-02T12:06:48-04: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 `alloc_size` attribute

This patch adds the `STG_ALLOC_SIZE1` and `STG_ALLOC_SIZE2` macros which

allow to set the `alloc_size` attribute on functions, when available.

See: https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html#index-alloc_005fsize-function-attribute

See: https://gitlab.haskell.org/ghc/ghc/-/issues/22381

</pre>

</li>

<li>

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

<div>

<span> by Nicolas Trangez </span> <i> at 2022-11-02T12:06:48-04: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: add and use `STG_RETURNS_NONNULL`

See: https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html#index-returns_005fnonnull-function-attribute

See: https://gitlab.haskell.org/ghc/ghc/-/issues/22381

</pre>

</li>

<li>

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

<div>

<span> by Nicolas Trangez </span> <i> at 2022-11-02T12:06:48-04: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: tag `stgStrndup` as `STG_MALLOC`

See: https://gitlab.haskell.org/ghc/ghc/-/issues/22381

</pre>

</li>

<li>

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

<div>

<span> by Oleg Grenrus </span> <i> at 2022-11-02T12:07:27-04: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 Symbol implementation note out of public haddock

</pre>

</li>

<li>

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

<div>

<span> by Ben Gamari </span> <i> at 2022-11-03T01:58:54-04: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-dll: Drop it

Currently it is only used by the make build system, which is soon to be

retired, and it has not built since 41cf758b. We may need to reintroduce

it when dynamic-linking support is introduced on Windows, but we will

cross that bridge once we get there.

Fixes #21753.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2022-11-03T01:59:30-04: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;'>Port foundation numeric tests to GHC testsuite

This commit ports the numeric tests which found a regression in GHC-9.4.

https://github.com/haskell-foundation/foundation/issues/571

Included in the commit is a simple random number generator and

simplified QuickCheck implementation. In future these could be factored

out of this standalone file and reused as a general purpose library

which could be used for other QuickCheck style tests in the testsuite.

See #22282

</pre>

</li>

<li>

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

<div>

<span> by M Farkas-Dyck </span> <i> at 2022-11-03T02:00:13-04: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;'>git: ignore HIE files.

Cleans up git status if one sets -fwrite-ide-info in hadrian/ghci.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2022-11-03T02:00:49-04: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;'>Clarify status of bindings in WholeCoreBindings

Gergo points out that these bindings are tidied, rather than prepd as

the variable claims. Therefore we update the name of the variable to

reflect reality and add a comment to the data type to try to erase any

future confusion.

Fixes #22307

</pre>

</li>

<li>

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

<div>

<span> by Bodigrim </span> <i> at 2022-11-03T21:25:02+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;'>Fix haddocks for GHC.IORef

</pre>

</li>

<li>

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

<div>

<span> by Andreas Klebinger </span> <i> at 2022-11-03T23:08:09-04: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;'>Export pprTrace and friends from GHC.Prelude.

Introduces GHC.Prelude.Basic which can be used in modules which are a

dependency of the ppr code.

</pre>

</li>

<li>

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

<div>

<span> by Bryan Richter </span> <i> at 2022-11-04T10:27:37+02: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: Allow hadrian-ghc-in-ghci to run in nightlies

Since lint-submods doesn't run in nightlies, hadrian-ghc-in-ghci needs

to mark it as "optional" so it can run if the job doesn't exist.

Fixes #22396.

</pre>

</li>

<li>

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

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2022-11-05T00:29:57-04: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 around FastStrings

Pass FastStrings to functions directly, to make sure the rule

for fsLit "literal" fires.

Remove SDoc indirection in GHCi.UI.Tags and GHC.Unit.Module.Graph.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2022-11-05T14:18:10+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;'>Bump unix submodule to 2.8.0.0

Also bumps process and ghc-boot bounds on unix.

For hadrian, when cross-compiling, we add -Wwarn=unused-imports

-Wwarn=unused-top-binds to validation flavour. Further fixes in unix

and/or hsc2hs is needed to make it completely free of warnings; for

the time being, this change is needed to unblock other

cross-compilation related work.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2022-11-05T14:18:10+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;'>Bump Win32 submodule to 2.13.4.0

Fixes #22098

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-06T13:15:22+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;'>Bump ci-images revision

ci-images has recently been updated, including changes needed for wasm32-wasi CI.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-06T13:15:22+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;'>Bump gmp-tarballs submodule

Includes a fix for wasm support, doesn't impact other targets.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-06T13:15:22+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;'>Bump haskeline submodule

Includes a fix for wasm support, doesn't impact other targets.

</pre>

</li>

<li>

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

<div>

<span> by Carter Schonwald </span> <i> at 2022-11-07T13:22: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;'>bump llvm upper bound</pre>

</li>

<li>

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

<div>

<span> by M Farkas-Dyck </span> <i> at 2022-11-08T12:53: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;'>Define `Infinite` list and use where appropriate.

Also add perf test for infinite list fusion.

In particular, in `GHC.Core`, often we deal with infinite lists of roles. Also in a few locations we deal with infinite lists of names.

Thanks to simonpj for helping to write the Note [Fusion for `Infinite` lists].

</pre>

</li>

<li>

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

<div>

<span> by Ross Paterson </span> <i> at 2022-11-08T12:54: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;'>Fix TypeData issues (fixes #22315 and #22332)

There were two bugs here:

1. Treating type-level constructors as PromotedDataCon doesn't always

   work, in particular because constructors promoted via DataKinds are

   called both T and 'T. (Tests T22332a, T22332b, T22315a, T22315b)

   Fix: guard these cases with isDataKindsPromotedDataCon.

2. Type-level constructors were sent to the code generator, producing

   things like constructor wrappers. (Tests T22332a, T22332b)

   Fix: test for them in isDataTyCon.

Other changes:

* changed the marking of "type data" DataCon's as suggested by SPJ.

* added a test TDGADT for a type-level GADT.

* comment tweaks

* change tcIfaceTyCon to ignore IfaceTyConInfo, so that IfaceTyConInfo

  is used only for pretty printing, not for typechecking. (SPJ)

</pre>

</li>

<li>

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

<div>

<span> by Jade Lovelace </span> <i> at 2022-11-08T12:55: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;'>Clarify msum/asum documentation

</pre>

</li>

<li>

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

<div>

<span> by Jade Lovelace </span> <i> at 2022-11-08T12:55: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;'>Add example for (<$)

</pre>

</li>

<li>

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

<div>

<span> by Jade Lovelace </span> <i> at 2022-11-08T12:55: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;'>Document what Alternative/MonadPlus instances actually do

</pre>

</li>

<li>

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

<div>

<span> by Giles Anderson </span> <i> at 2022-11-09T09:27:52-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;'>Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)

The following `TcRnDiagnostic` messages have been introduced:

TcRnWarnUnsatisfiedMinimalDefinition

TcRnMisplacedInstSig

TcRnBadBootFamInstDeclErr

TcRnIllegalFamilyInstance

TcRnAssocInClassErr

TcRnBadFamInstDecl

TcRnNotOpenFamily

</pre>

</li>

<li>

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

<div>

<span> by Hécate Moonlight </span> <i> at 2022-11-09T09:28: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;'>GHCi tags generation phase 2

see #19884

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-10T12:20:03+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;'>Fire RULES in the Specialiser

The Specialiser has, for some time, fires class-op RULES in the

specialiser itself: see

   Note [Specialisation modulo dictionary selectors]

This MR beefs it up a bit, so that it fires /all/ RULES in the

specialiser, not just class-op rules.  See

   Note [Fire rules in the specialiser]

The result is a bit more specialisation; see test

   simplCore/should_compile/T21851_2

This pushed me into a bit of refactoring.  I made a new data types

GHC.Core.Rules.RuleEnv, which combines

  - the several source of rules (local, home-package, external)

  - the orphan-module dependencies

in a single record for `getRules` to consult.  That drove a bunch of

follow-on refactoring, including allowing me to remove

cr_visible_orphan_mods from the CoreReader data type.

I moved some of the RuleBase/RuleEnv stuff into GHC.Core.Rule.

The reorganisation in the Simplifier improve compile times a bit

(geom mean -0.1%), but T9961 is an outlier

Metric Decrease:

    T9961

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-10T12:21:13+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;'>Make indexError work better

The problem here is described at some length in

Note [Boxity for bottoming functions] and

Note [Reboxed crud for bottoming calls] in GHC.Core.Opt.DmdAnal.

This patch adds a SPECIALISE pragma for indexError, which

makes it much less vulnerable to the problem described in

these Notes.

(This came up in another line of work, where a small change made

indexError do reboxing (in nofib/spectral/simple/table_sort)

that didn't happen before my change.  I've opened #22404

to document the fagility.

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-10T12:21:14+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;'>Fix DsUselessSpecialiseForClassMethodSelector msg

The error message for DsUselessSpecialiseForClassMethodSelector

was just wrong (a typo in some earlier work); trivial fix

</pre>

</li>

<li>

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

<div>

<span> by Sebastian Graf </span> <i> at 2022-11-10T21:16:01-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;'>WorkWrap: Unboxing unboxed tuples is not always useful (#22388)

See Note [Unboxing through unboxed tuples].

Fixes #22388.

</pre>

</li>

<li>

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

<div>

<span> by Sebastian Graf </span> <i> at 2022-11-10T21:16:01-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;'>Boxity: Handle argument budget of unboxed tuples correctly (#21737)

Now Budget roughly tracks the combined width of all arguments after unarisation.

See the changes to `Note [Worker argument budgets]`.

Fixes #21737.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>autoconf: check getpid getuid raise

This patch adds checks for getpid, getuid and raise in autoconf. These

functions are absent in wasm32-wasi and thus needs to be checked.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>hadrian: add -Wwarn only for cross-compiling unix

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>hadrian: add targetSupportsThreadedRts flag

This patch adds a targetSupportsThreadedRts flag to indicate whether

the target supports the threaded rts at all, different from existing

targetSupportsSMP that checks whether -N is supported by the RTS. All

existing flavours have also been updated accordingly to respect this

flags.

Some targets (e.g. wasm32-wasi) does not support the threaded rts,

therefore this flag is needed for the default flavours to work. It

makes more sense to have proper autoconf logic to check for threading

support, but for the time being, we just set the flag to False iff the

target is wasm32.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>Fix Cmm symbol kind

</pre>

</li>

<li>

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

<div>

<span> by Norman Ramsey </span> <i> at 2022-11-11T00:26: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;'>add the two key graph modules from Martin Erwig's FGL

Martin Erwig's FGL (Functional Graph Library) provides an "inductive"

representation of graphs.  A general graph has labeled nodes and

labeled edges.  The key operation on a graph is to decompose it by

removing one node, together with the edges that connect the node to

the rest of the graph.  There is also an inverse composition

operation.

The decomposition and composition operations make this representation

of graphs exceptionally well suited to implement graph algorithms in

which the graph is continually changing, as alluded to in #21259.

This commit adds `GHC.Data.Graph.Inductive.Graph`, which defines the

interface, and `GHC.Data.Graph.Inductive.PatriciaTree`, which provides

an implementation.  Both modules are taken from `fgl-5.7.0.3` on

Hackage, with these changes:

  - Copyright and license text have been copied into the files

    themselves, not stored separately.

  - Some calls to `error` have been replaced with calls to `panic`.

  - Conditional-compilation support for older versions of GHC,

    `containers`, and `base` has been removed.

</pre>

</li>

<li>

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

<div>

<span> by Norman Ramsey </span> <i> at 2022-11-11T00:26: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;'>add new modules for reducibility and WebAssembly translation

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>Add support for the wasm32-wasi target tuple

This patch adds the wasm32-wasi tuple support to various places in the

tree: autoconf, hadrian, ghc-boot and also the compiler. The codegen

logic will come in subsequent commits.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>deriveConstants: parse .ll output for wasm32 due to broken nm

This patch makes deriveConstants emit and parse an .ll file when

targeting wasm. It's a necessary workaround for broken llvm-nm on

wasm, which isn't capable of reporting correct constant values when

parsing an object.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: workaround cmm's improper variadic ccall breaking wasm32 typechecking

Unlike other targets, wasm requires the function signature of the call

site and callee to strictly match. So in Cmm, when we call a C

function that actually returns a value, we need to add an _unused

local variable to receive it, otherwise type error awaits.

An even bigger problem is calling variadic functions like barf() and

such. Cmm doesn't support CAPI calling convention yet, so calls to

variadic functions just happen to work in some cases with some

target's ABI. But again, it doesn't work with wasm. Fortunately, the

wasm C ABI lowers varargs to a stack pointer argument, and it can be

passed NULL when no other arguments are expected to be passed. So we

also add the additional unused NULL arguments to those functions, so

to fix wasm, while not affecting behavior on other targets.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>testsuite: correct sleep() signature in T5611

In libc, sleep() returns an integer. The ccall type signature should

match the libc definition, otherwise it causes linker error on wasm.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: prefer ffi_type_void over FFI_TYPE_VOID

This patch uses ffi_type_void instead of FFI_TYPE_VOID in the

interpreter code, since the FFI_TYPE_* macros are not available in

libffi-wasm32 yet. The libffi public documentation also only mentions

the lower-case ffi_type_* symbols, so we should prefer the lower-case

API here.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: don't define RTS_USER_SIGNALS when signal.h is not present

In the rts, we have a RTS_USER_SIGNALS macro, and most signal-related

logic is guarded with RTS_USER_SIGNALS. This patch extends the range

of code guarded with RTS_USER_SIGNALS, and define RTS_USER_SIGNALS iff

signal.h is actually detected by autoconf. This is required for

wasm32-wasi to work, which lacks signals.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: use HAVE_GETPID to guard subprocess related logic

We've previously added detection of getpid() in autoconf. This patch

uses HAVE_GETPID to guard some subprocess related logic in the RTS.

This is required for certain targets like wasm32-wasi, where there

isn't a process model at all.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: IPE.c: don't do mutex stuff when THREADED_RTS is not defined

This patch adds the missing THREADED_RTS CPP guard to mutex logic in

IPE.c.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: genericRaise: use exit() instead when not HAVE_RAISE

We check existence of raise() in autoconf, and here, if not

HAVE_RAISE, we should use exit() instead in genericRaise.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: checkSuid: don't do it when not HAVE_GETUID

When getuid() is not present, don't do checkSuid since it doesn't make

sense anyway on that target.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: wasm32 placeholder linker

This patch adds minimal placeholder linker logic for wasm32, just

enough to unblock compiling rts on wasm32. RTS linker functionality is

not properly implemented yet for wasm32.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: RtsStartup: chdir to PWD on wasm32

This patch adds a wasm32-specific behavior to RtsStartup logic. When

the PWD environment variable is present, we chdir() to it first.

The point is to workaround an issue in wasi-libc: it's currently not

possible to specify the initial working directory, it always defaults

to / (in the virtual filesystem mapped from some host directory). For

some use cases this is sufficient, but there are some other cases

(e.g. in the testsuite) where the program needs to access files

outside.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: no timer for wasm32

Due to the lack of threads, on wasm32 there can't be a background

timer that periodically resets the context switch flag. This patch

disables timer for wasm32, and also makes the scheduler default to -C0

on wasm32 to avoid starving threads.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: RtsSymbols: empty RTS_POSIX_ONLY_SYMBOLS for wasm32

The default RTS_POSIX_ONLY_SYMBOLS doesn't make sense on wasm32.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: Schedule: no FORKPROCESS_PRIMOP_SUPPORTED on wasm32

On wasm32 there isn't a process model at all, so no

FORKPROCESS_PRIMOP_SUPPORTED.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: LibffiAdjustor: adapt to ffi_alloc_prep_closure interface for wasm32

libffi-wasm32 only supports non-standard libffi closure api via

ffi_alloc_prep_closure(). This patch implements

ffi_alloc_prep_closure() via standard libffi closure api on other

targets, and uses it to implement adjustor functionality.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: don't return memory to OS on wasm32

This patch makes the storage manager not return any memory on wasm32.

The detailed reason is described in Note [Megablock allocator on

wasm].

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: make flushExec a no-op on wasm32

This patch makes flushExec a no-op on wasm32, since there's no such

thing as executable memory on wasm32 in the first place.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: RtsStartup: don't call resetTerminalSettings, freeThreadingResources on wasm32

This patch prevents resetTerminalSettings and freeThreadingResources

to be called on wasm32, since there is no TTY or threading on wasm32

at all.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: OSThreads.h: stub types for wasm32

This patch defines stub Condition/Mutex/OSThreadId/ThreadLocalKey

types for wasm32, just enough to unblock compiling RTS. Any

threading-related functionality has been patched to be disabled on

wasm32.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>Add register mapping for wasm32

This patch adds register mapping logic for wasm32. See Note [Register

mapping on WebAssembly] in wasm32 NCG for more description.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>rts: wasm32 specific logic

This patch adds the rest of wasm32 specific logic in rts.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>base: fall back to using monotonic clock to emulate cputime on wasm32

On wasm32, we have to fall back to using monotonic clock to emulate

cputime, since there's no native support for cputime as a clock id.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>base: more autoconf checks for wasm32

This patch adds more autoconf checks to base, since those functions

and headers may exist on other POSIX systems but don't exist on

wasm32.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>base: avoid using unsupported posix functionality on wasm32

This base patch avoids using unsupported posix functionality on

wasm32.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>autoconf: set CrossCompiling=YES in cross bindist configure

This patch fixes the bindist autoconf logic to properly set

CrossCompiling=YES when it's a cross GHC bindist.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>compiler: add util functions for UniqFM and UniqMap

This patch adds addToUFM_L (backed by insertLookupWithKey),

addToUniqMap_L and intersectUniqMap_C. These UniqFM/UniqMap util

functions are used by the wasm32 NCG.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>driver: avoid -Wl,--no-as-needed for wasm32

The driver used to pass -Wl,--no-as-needed for LLD linking. This is

actually only supported for ELF targets, and must be avoided when

linking for wasm32.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>compiler: allow big arith for wasm32

This patch enables Cmm big arithmetic on wasm32, since 64-bit

arithmetic can be efficiently lowered to wasm32 opcodes.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>driver: pass -Wa,--no-type-check for wasm32 when runAsPhase

This patch passes -Wa,--no-type-check for wasm32 when compiling

assembly. See the added note for more detailed explanation.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>compiler: enforce cmm switch planning for wasm32

This patch forcibly enable Cmm switch planning for wasm32, since

otherwise the switch tables we generate may exceed the br_table

maximum allowed size.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>compiler: annotate CmmFileEmbed with blob length

This patch adds the blob length field to CmmFileEmbed. The wasm32 NCG

needs to know the precise size of each data segment.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>compiler: wasm32 NCG

This patch adds the wasm32 NCG.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>ci: add wasm32-wasi release bindist job

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>ci: add a stronger test for cross bindists

This commit adds a simple GHC API program that parses and reprints the

original hello world program used for basic testing of cross bindists.

Before there's full cross-compilation support in the test suite

driver, this provides better coverage than the original test.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-11T00:26: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;'>CODEOWNERS: add wasm-specific maintainers

</pre>

</li>

<li>

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

<div>

<span> by Zubin Duggal </span> <i> at 2022-11-11T00:27: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;'>Clarify that LLVM upper bound is non-inclusive during configure (#22411)

</pre>

</li>

<li>

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

<div>

<span> by Ben Gamari </span> <i> at 2022-11-11T13:16: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;'>rts: Check for program_invocation_short_name via autoconf

Instead of assuming support on all Linuxes.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2022-11-11T13:17: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;'>driver: Fix -fdefer-diagnostics flag

The `withDeferredDiagnostics` wrapper wasn't doing anything because the

session it was modifying wasn't used in hsc_env. Therefore the fix is

simple, just push the `getSession` call into the scope of

`withDeferredDiagnostics`.

Fixes #22391

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-11T13:18: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;'>Add a fast path for data constructor workers

See Note [Fast path for data constructors] in

GHC.Core.Opt.Simplify.Iteration

This bypasses lots of expensive logic, in the special case of

applications of data constructors.  It is a surprisingly worthwhile

improvement, as you can see in the figures below.

Metrics: compile_time/bytes allocated

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

          CoOpt_Read(normal)   -2.0%

    CoOpt_Singletons(normal)   -2.0%

    ManyConstructors(normal)   -1.3%

              T10421(normal)   -1.9% GOOD

             T10421a(normal)   -1.5%

              T10858(normal)   -1.6%

              T11545(normal)   -1.7%

              T12234(optasm)   -1.3%

              T12425(optasm)   -1.9% GOOD

              T13035(normal)   -1.0% GOOD

              T13056(optasm)   -1.8%

              T13253(normal)   -3.3% GOOD

              T15164(normal)   -1.7%

              T15304(normal)   -3.4%

              T15630(normal)   -2.8%

              T16577(normal)   -4.3% GOOD

              T17096(normal)   -1.1%

              T17516(normal)   -3.1%

              T18282(normal)   -1.9%

              T18304(normal)   -1.2%

             T18698a(normal)   -1.2% GOOD

             T18698b(normal)   -1.5% GOOD

              T18923(normal)   -1.3%

               T1969(normal)   -1.3% GOOD

              T19695(normal)   -4.4% GOOD

             T21839c(normal)   -2.7% GOOD

             T21839r(normal)   -2.7% GOOD

               T4801(normal)   -3.8% GOOD

               T5642(normal)   -3.1% GOOD

               T6048(optasm)   -2.5% GOOD

               T9020(optasm)   -2.7% GOOD

               T9630(normal)   -2.1% GOOD

               T9961(normal)  -11.7% GOOD

               WWRec(normal)   -1.0%

                   geo. mean   -1.1%

                   minimum    -11.7%

                   maximum     +0.1%

Metric Decrease:

    T10421

    T12425

    T13035

    T13253

    T16577

    T18698a

    T18698b

    T1969

    T19695

    T21839c

    T21839r

    T4801

    T5642

    T6048

    T9020

    T9630

    T9961

</pre>

</li>

<li>

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

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2022-11-11T19:18:39+01: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;'>Use a more efficient printer for code generation (#21853)

The changes in `GHC.Utils.Outputable` are the bulk of the patch

and drive the rest.

The types `HLine` and `HDoc` in Outputable can be used instead of `SDoc`

and support printing directly to a handle with `bPutHDoc`.

See Note [SDoc versus HDoc] and Note [HLine versus HDoc].

The classes `IsLine` and `IsDoc` are used to make the existing code polymorphic

over `HLine`/`HDoc` and `SDoc`. This is done for X86, PPC, AArch64, DWARF

and dependencies (printing module names, labels etc.).

Co-authored-by: Alexis King <lexi.lambda@gmail.com>

Metric Decrease:

    CoOpt_Read

    ManyAlternatives

    ManyConstructors

    T10421

    T12425

    T12707

    T13035

    T13056

    T13253

    T13379

    T18140

    T18282

    T18698a

    T18698b

    T1969

    T20049

    T21839c

    T21839r

    T3064

    T3294

    T4801

    T5321FD

    T5321Fun

    T5631

    T6048

    T783

    T9198

    T9233

</pre>

</li>

<li>

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

<div>

<span> by Matthew Craven </span> <i> at 2022-11-11T18:32: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;'>Weaken wrinkle 1 of Note [Scrutinee Constant Folding]

Fixes #22375.

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

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-11T23:40:10+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;'>Fix fragile RULE setup in GHC.Float

In testing my type-vs-constraint patch I found that the handling

of Natural literals was very fragile -- and I somehow tripped that

fragility in my work.

So this patch fixes the fragility.

See Note [realToFrac natural-to-float]

This made a big (9%) difference in one existing test in

perf/should_run/T1-359

Metric Decrease:

    T10359

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-11T23:40:10+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;'>Type vs Constraint: finally nailed

This big patch addresses the rats-nest of issues that have plagued

us for years, about the relationship between Type and Constraint.

See #11715/#21623.

The main payload of the patch is:

* To introduce CONSTRAINT :: RuntimeRep -> Type

* To make TYPE and CONSTRAINT distinct throughout the compiler

Two overview Notes in GHC.Builtin.Types.Prim

* Note [TYPE and CONSTRAINT]

* Note [Type and Constraint are not apart]

  This is the main complication.

The specifics

* New primitive types (GHC.Builtin.Types.Prim)

  - CONSTRAINT

  - ctArrowTyCon (=>)

  - tcArrowTyCon (-=>)

  - ccArrowTyCon (==>)

  - funTyCon     FUN     -- Not new

  See Note [Function type constructors and FunTy]

  and Note [TYPE and CONSTRAINT]

* GHC.Builtin.Types:

  - New type Constraint = CONSTRAINT LiftedRep

  - I also stopped nonEmptyTyCon being built-in; it only needs to be wired-in

* Exploit the fact that Type and Constraint are distinct throughout GHC

  - Get rid of tcView in favour of coreView.

  - Many tcXX functions become XX functions.

    e.g. tcGetCastedTyVar --> getCastedTyVar

* Kill off Note [ForAllTy and typechecker equality], in (old)

  GHC.Tc.Solver.Canonical.  It said that typechecker-equality should ignore

  the specified/inferred distinction when comparein two ForAllTys.  But

  that wsa only weakly supported and (worse) implies that we need a separate

  typechecker equality, different from core equality. No no no.

* GHC.Core.TyCon: kill off FunTyCon in data TyCon.  There was no need for it,

  and anyway now we have four of them!

* GHC.Core.TyCo.Rep: add two FunTyFlags to FunCo

  See Note [FunCo] in that module.

* GHC.Core.Type.  Lots and lots of changes driven by adding CONSTRAINT.

  The key new function is sORTKind_maybe; most other changes are built

  on top of that.

  See also `funTyConAppTy_maybe` and `tyConAppFun_maybe`.

* Fix a longstanding bug in GHC.Core.Type.typeKind, and Core Lint, in

  kinding ForAllTys.  See new tules (FORALL1) and (FORALL2) in GHC.Core.Type.

  (The bug was that before (forall (cv::t1 ~# t2). blah), where

  blah::TYPE IntRep, would get kind (TYPE IntRep), but it should be

  (TYPE LiftedRep).  See Note [Kinding rules for types] in GHC.Core.Type.

* GHC.Core.TyCo.Compare is a new module in which we do eqType and cmpType.

  Of course, no tcEqType any more.

* GHC.Core.TyCo.FVs. I moved some free-var-like function into this module:

  tyConsOfType, visVarsOfType, and occCheckExpand.  Refactoring only.

* GHC.Builtin.Types.  Compiletely re-engineer boxingDataCon_maybe to

  have one for each /RuntimeRep/, rather than one for each /Type/.

  This dramatically widens the range of types we can auto-box.

  See Note [Boxing constructors] in GHC.Builtin.Types

  The boxing types themselves are declared in library ghc-prim:GHC.Types.

  GHC.Core.Make.  Re-engineer the treatment of "big" tuples (mkBigCoreVarTup

  etc) GHC.Core.Make, so that it auto-boxes unboxed values and (crucially)

  types of kind Constraint. That allows the desugaring for arrows to work;

  it gathers up free variables (including dictionaries) into tuples.

  See  Note [Big tuples] in GHC.Core.Make.

  There is still work to do here: #22336. But things are better than

  before.

* GHC.Core.Make.  We need two absent-error Ids, aBSENT_ERROR_ID for types of

  kind Type, and aBSENT_CONSTRAINT_ERROR_ID for vaues of kind Constraint.

  Ditto noInlineId vs noInlieConstraintId in GHC.Types.Id.Make;

  see Note [inlineId magic].

* GHC.Core.TyCo.Rep. Completely refactor the NthCo coercion.  It is now called

  SelCo, and its fields are much more descriptive than the single Int we used to

  have.  A great improvement.  See Note [SelCo] in GHC.Core.TyCo.Rep.

* GHC.Core.RoughMap.roughMatchTyConName.  Collapse TYPE and CONSTRAINT to

  a single TyCon, so that the rough-map does not distinguish them.

* GHC.Core.DataCon

  - Mainly just improve documentation

* Some significant renamings:

  GHC.Core.Multiplicity: Many -->  ManyTy (easier to grep for)

                         One  -->  OneTy

  GHC.Core.TyCo.Rep TyCoBinder      -->   GHC.Core.Var.PiTyBinder

  GHC.Core.Var      TyCoVarBinder   -->   ForAllTyBinder

                    AnonArgFlag     -->   FunTyFlag

                    ArgFlag         -->   ForAllTyFlag

  GHC.Core.TyCon    TyConTyCoBinder --> TyConPiTyBinder

  Many functions are renamed in consequence

  e.g. isinvisibleArgFlag becomes isInvisibleForAllTyFlag, etc

* I refactored FunTyFlag (was AnonArgFlag) into a simple, flat data type

    data FunTyFlag

      = FTF_T_T           -- (->)  Type -> Type

      | FTF_T_C           -- (-=>) Type -> Constraint

      | FTF_C_T           -- (=>)  Constraint -> Type

      | FTF_C_C           -- (==>) Constraint -> Constraint

* GHC.Tc.Errors.Ppr.  Some significant refactoring in the TypeEqMisMatch case

  of pprMismatchMsg.

* I made the tyConUnique field of TyCon strict, because I

  saw code with lots of silly eval's.  That revealed that

  GHC.Settings.Constants.mAX_SUM_SIZE can only be 63, because

  we pack the sum tag into a 6-bit field.  (Lurking bug squashed.)

Fixes

* #21530

Updates haddock submodule slightly.

Performance changes

~~~~~~~~~~~~~~~~~~~

I was worried that compile times would get worse, but after

some careful profiling we are down to a geometric mean 0.1%

increase in allocation (in perf/compiler).  That seems fine.

There is a big runtime improvement in T10359

Metric Decrease:

    LargeRecord

    MultiLayerModulesTH_OneShot

    T13386

    T13719

Metric Increase:

    T8095

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-11T23:40:11+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;'>Indent closing "#-}" to silence HLint

</pre>

</li>

<li>

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

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2022-11-12T08:05:28-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 merge conflict in T18355.stderr

Fixes #22446

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-12T23:14:13+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;'>Fix a trivial typo in dataConNonlinearType

Fixes #22416

</pre>

</li>

<li>

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

<div>

<span> by Ben Gamari </span> <i> at 2022-11-14T09:36: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;'>eventlog: Ensure that IPE output contains actual info table pointers

The refactoring in 866c736e introduced a rather subtle change in the

semantics of the IPE eventlog output, changing the eventlog field from

encoding info table pointers to "TNTC pointers" (which point to entry

code when tables-next-to-code is enabled). Fix this.

Fixes #22452.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2022-11-14T16:48: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;'>testsuite: Add tests for T22347

These are fixed in recent versions but might as well add regression

tests.

See #22347

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2022-11-14T16:48: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: Improve output from tests which have failing pre_cmd

There are two changes:

* If a pre_cmd fails, then don't attempt to run the test.

* If a pre_cmd fails, then print the stdout and stderr from running that

  command (which hopefully has a nice error message).

For example:

```

=====> 1 of 1 [0, 0, 0]

*** framework failure for test-defaulting-plugin(normal) pre_cmd failed: 2

** pre_cmd was "$MAKE -s --no-print-directory -C defaulting-plugin package.test-defaulting-plugin TOP={top}".

stdout:

stderr:

DefaultLifted.hs:19:13: error: [GHC-76037]

    Not in scope: type constructor or class ‘Typ’

    Suggested fix:

      Perhaps use one of these:

        ‘Type’ (imported from GHC.Tc.Utils.TcType),

        data constructor ‘Type’ (imported from GHC.Plugins)

   |

19 | instance Eq Typ where

   |             ^^^

make: *** [Makefile:17: package.test-defaulting-plugin] Error 1

Performance Metrics (test environment: local):

```

Fixes #22329

</pre>

</li>

<li>

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

<div>

<span> by Madeline Haraj </span> <i> at 2022-11-14T22:44:17+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;'>Implement UNPACK support for sum types.

This is based on osa's unpack_sums PR from ages past.

The meat of the patch is implemented in dataConArgUnpackSum

and described in Note [UNPACK for sum types].

</pre>

</li>

<li>

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

<div>

<span> by Andreas Klebinger </span> <i> at 2022-11-14T22:20: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;'>Expand on the need to clone local binders.

Fixes #22402.

</pre>

</li>

<li>

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

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2022-11-14T22:21: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;'>Fix :i Constraint printing "type Constraint = Constraint"

Since Constraint became a synonym for CONSTRAINT 'LiftedRep,

we need the same code for handling printing as for the synonym

Type = TYPE 'LiftedRep.

This addresses the same bug as #18594, so I'm reusing the test.

</pre>

</li>

<li>

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

<div>

<span> by ARATA Mizuki </span> <i> at 2022-11-15T21:36: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;'>configure: Don't check for an unsupported version of LLVM

The upper bound is not inclusive.

Fixes #22449

</pre>

</li>

<li>

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

<div>

<span> by Bodigrim </span> <i> at 2022-11-15T21:36: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 capitalization in haddock for TestEquality

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-16T09:16:29+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;'>base: make Foreign.Marshal.Pool use RTS internal arena for allocation

`Foreign.Marshal.Pool` used to call `malloc` once for each allocation

request. Each `Pool` maintained a list of allocated pointers, and

traverses the list to `free` each one of those pointers. The extra O(n)

overhead is apparently bad for a `Pool` that serves a lot of small

allocation requests.

This patch uses the RTS internal arena to implement `Pool`, with these

benefits:

- Gets rid of the extra O(n) overhead.

- The RTS arena is simply a bump allocator backed by the block

  allocator, each allocation request is likely faster than a libc

  `malloc` call.

Closes #14762 #18338.

</pre>

</li>

<li>

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

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2022-11-16T14:50: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;'>Misc cleanup

* Replace catMaybes . map f with mapMaybe f

* Use concatFS to concatenate multiple FastStrings

* Fix documentation of -exclude-module

* Cleanup getIgnoreCount in GHCi.UI

</pre>

</li>

<li>

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

<div>

<span> by Lawton Nichols </span> <i> at 2022-11-19T03:22: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;'>Give better errors for code corrupted by Unicode smart quotes (#21843)

Previously, we emitted a generic and potentially confusing error during lexical

analysis on programs containing smart quotes (“/”/‘/’). This commit adds

smart quote-aware lexer errors.

</pre>

</li>

<li>

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

<div>

<span> by Sebastian Graf </span> <i> at 2022-11-19T03:22:49-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;'>Make OpaqueNo* tests less noisy to unrelated changes

</pre>

</li>

<li>

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

<div>

<span> by Sebastian Graf </span> <i> at 2022-11-19T03:22:49-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;'>Simplifier: Consider `seq` as a `BoringCtxt` (#22317)

See `Note [Seq is boring]` for the rationale.

Fixes #22317.

</pre>

</li>

<li>

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

<div>

<span> by Sebastian Graf </span> <i> at 2022-11-19T03:22:49-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;'>Make T21839c's ghc/max threshold more forgiving

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-19T03:23: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;'>Be more careful when reporting unbound RULE binders

See Note [Variables unbound on the LHS] in GHC.HsToCore.Binds.

Fixes #22471.

</pre>

</li>

<li>

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

<div>

<span> by Peter Trommler </span> <i> at 2022-11-19T03:23: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;'>PPC NCG: Fix generating assembler code

Fixes #22479

</pre>

</li>

<li>

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

<div>

<span> by Bodigrim </span> <i> at 2022-11-20T18:39: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;'>Extend documentation for Data.IORef

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-20T18:40: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;'>Buglet in GHC.Tc.Module.checkBootTyCon

This lurking bug used the wrong function to compare two

types in GHC.Tc.Module.checkBootTyCon

It's hard to trigger the bug, which only came up during

!9343, so there's no regression test in this MR.

</pre>

</li>

<li>

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

<div>

<span> by Bodigrim </span> <i> at 2022-11-20T18:40: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;'>Add since pragmas for c_interruptible_open and hostIsThreaded

</pre>

</li>

<li>

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

<div>

<span> by Duncan Coutts </span> <i> at 2022-11-22T02:06: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;'>Introduce CapIOManager as the per-cap I/O mangager state

Rather than each I/O manager adding things into the Capability structure

ad-hoc, we should have a common CapIOManager iomgr member of the

Capability structure, with a common interface to initialise etc.

The content of the CapIOManager struct will be defined differently for

each I/O manager implementation. Eventually we should be able to have

the CapIOManager be opaque to the rest of the RTS, and known just to the

I/O manager implementation. We plan for that by making the Capability

contain a pointer to the CapIOManager rather than containing the

structure directly.

Initially just move the Unix threaded I/O manager's control FD.

</pre>

</li>

<li>

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

<div>

<span> by Duncan Coutts </span> <i> at 2022-11-22T02:06:17-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 hook markCapabilityIOManager

To allow I/O managers to have GC roots in the Capability, within the

CapIOManager structure.

Not yet used in this patch.

</pre>

</li>

<li>

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

<div>

<span> by Duncan Coutts </span> <i> at 2022-11-22T02:06:17-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 APPEND_TO_BLOCKED_QUEUE from cmm to C

The I/O and delay blocking primitives for the non-threaded way

currently access the blocked_queue and sleeping_queue directly.

We want to move where those queues are to make their ownership clearer:

to have them clearly belong to the I/O manager impls rather than to the

scheduler. Ultimately we will want to change their representation too.

It's inconvenient to do that if these queues are accessed directly from

cmm code. So as a first step, replace the APPEND_TO_BLOCKED_QUEUE with a

C version appendToIOBlockedQueue(), and replace the open-coded

sleeping_queue insertion with insertIntoSleepingQueue().

</pre>

</li>

<li>

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

<div>

<span> by Duncan Coutts </span> <i> at 2022-11-22T02:06:17-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 {blocked,sleeping}_queue from scheduler global vars to CapIOManager

The blocked_queue_{hd,tl} and the sleeping_queue are currently

cooperatively managed between the scheduler and (some but not all of)

the non-threaded I/O manager implementations.

They lived as global vars with the scheduler, but are poked by I/O

primops and the I/O manager backends.

This patch is a step on the path towards making the management of I/O or

timer blocking belong to the I/O managers and not the scheduler.

Specifically, this patch moves the {blocked,sleeping}_queue from being

global vars in the scheduler to being members of the CapIOManager struct

within each Capability. They are not yet exclusively used by the I/O

managers: they are still poked from a couple other places, notably in

the scheduler before calling awaitEvent.

</pre>

</li>

<li>

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

<div>

<span> by Duncan Coutts </span> <i> at 2022-11-22T02:06:17-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 the now-unused markScheduler

The global vars {blocked,sleeping}_queue are now in the Capability and

so get marked there via markCapabilityIOManager.

</pre>

</li>

<li>

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

<div>

<span> by Duncan Coutts </span> <i> at 2022-11-22T02:06:17-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 macros for checking for pending IO or timers

from Schedule.h to Schedule.c and IOManager.h

This is just moving, the next step will be to rejig them slightly.

For the non-threaded RTS the scheduler needs to be able to test for

there being pending I/O operation or pending timers. The implementation

of these tests should really be considered to be part of the I/O

managers and not part of the scheduler.

</pre>

</li>

<li>

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

<div>

<span> by Duncan Coutts </span> <i> at 2022-11-22T02:06:17-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 EMPTY_{BLOCKED,SLEEPING}_QUEUE macros by function

These are the macros originaly from Scheduler.h, previously moved to

IOManager.h, and now replaced with a single inline function

anyPendingTimeoutsOrIO(). We can use a single function since the two

macros were always checked together.

Note that since anyPendingTimeoutsOrIO is defined for all IO manager

cases, including threaded, we do not need to guard its use by cpp

 #if !defined(THREADED_RTS)

</pre>

</li>

<li>

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

<div>

<span> by Duncan Coutts </span> <i> at 2022-11-22T02:06:17-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;'>Expand emptyThreadQueues inline for clarity

It was not really adding anything. The name no longer meant anything

since those I/O and timeout queues do not belong to the scheuler.

In one of the two places it was used, the comments already had to

explain what it did, whereas now the code matches the comment nicely.

</pre>

</li>

<li>

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

<div>

<span> by Duncan Coutts </span> <i> at 2022-11-22T02:06:17-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 the awaitEvent declaration into IOManager.h

And add or adjust comments at the use sites of awaitEvent.

</pre>

</li>

<li>

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

<div>

<span> by Duncan Coutts </span> <i> at 2022-11-22T02:06:17-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;'>Pass the Capability *cap explicitly to awaitEvent

It is currently only used in the non-threaded RTS so it works to use

MainCapability, but it's a bit nicer to pass the cap anyway. It's

certainly shorter.

</pre>

</li>

<li>

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

<div>

<span> by Duncan Coutts </span> <i> at 2022-11-22T02:06:17-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;'>Pass the Capability *cap explicitly to appendToIOBlockedQueue

And to insertIntoSleepingQueue. Again, it's a bit cleaner and simpler

though not strictly necessary given that these primops are currently

only used in the non-threaded RTS.

</pre>

</li>

<li>

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

<div>

<span> by Duncan Coutts </span> <i> at 2022-11-22T02:06:17-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;'>Reveiew feedback: improve one of the TODO comments

The one about the nonsense (const False) test on WinIO for there being any IO

or timers pending, leading to unnecessary complication later in the

scheduler.

</pre>

</li>

<li>

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

<div>

<span> by Andreas Klebinger </span> <i> at 2022-11-22T02:06:52-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;'>Optimize getLevity.

Avoid the intermediate data structures allocated by splitTyConApp.

This avoids ~0.5% of allocations for a build using -O2.

Fixes #22254

</pre>

</li>

<li>

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

<div>

<span> by Andreas Klebinger </span> <i> at 2022-11-22T02:07:28-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:Set TNTC when running testsuite.

</pre>

</li>

<li>

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

<div>

<span> by Oleg Grenrus </span> <i> at 2022-11-22T15:59: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;'>Add unsafePtrEquality# restricted to UnliftedTypes

</pre>

</li>

<li>

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

<div>

<span> by Jonathan Dowland </span> <i> at 2022-11-22T16:00: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;'>utils/unlit: adjust parser to match Report spec

The Haskell 2010 Report says that, for Latex-style Literate format,

"Program code begins on the first line following a line that begins

\begin{code}". (This is unchanged from the 98 Report)

However the unlit.c implementation only matches a line that contains

"\begin{code}" and nothing else. One consequence of this is that one

cannot suffix Latex options to the code environment. I.e., this does

not work:

\begin{code}[label=foo,caption=Foo Code]

Adjust the matcher to conform to the specification from the Report.

The Haskell Wiki currently recommends suffixing a '%' to \begin{code}

in order to deliberately hide a code block from Haskell. This is bad

advice, as it's relying on an implementation quirk rather than specified

behaviour. None-the-less, some people have tried to use it, c.f.

<https://mail.haskell.org/pipermail/haskell-cafe/2009-September/066780.html>

An alternative solution is to define a separate, equivalent Latex

environment to "code", that is functionally identical in Latex but

ignored by unlit. This should not be a burden: users are required to

manually define the code environment anyway, as it is not provided

by the Latex verbatim or lstlistings packages usually used for

presenting code in documents.

Fixes #3549.

</pre>

</li>

<li>

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

<div>

<span> by Teo Camarasu </span> <i> at 2022-11-23T12:44: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;'>Fix eventlog all option

Previously it didn't enable/disable nonmoving_gc and ticky event types

Fixes #21813

</pre>

</li>

<li>

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

<div>

<span> by Arnaud Spiwack </span> <i> at 2022-11-23T12:45: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;'>Expand Note [Linear types] with the stance on linting linearity

Per the discussion on #22123

</pre>

</li>

<li>

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

<div>

<span> by Lawton Nichols </span> <i> at 2022-11-23T12:45: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;'>Add documentation on custom Prelude modules (#22228)

Specifically, custom Prelude modules that are named `Prelude`.

</pre>

</li>

<li>

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

<div>

<span> by Sylvain Henry </span> <i> at 2022-11-23T12:46: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;'>Don't let configure perform trivial substitutions (#21846)

Hadrian now performs substitutions, especially to generate .cabal files

from .cabal.in files. Two benefits:

1. We won't have to re-configure when we modify thing.cabal.in. Hadrian

   will take care of this for us.

2. It paves the way to allow the same package to be configured

   differently by Hadrian in the same session. This will be useful to

   fix #19174: we want to build a stage2 cross-compiler for the host

   platform and a stage1 compiler for the cross target platform in the

   same Hadrian session.

</pre>

</li>

<li>

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

<div>

<span> by nineonine </span> <i> at 2022-11-23T12:47: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;'>CApiFFI: add ConstPtr for encoding const-qualified pointer return types (#22043)

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/040bfdc359fcc5415ab8836b38982c07c31ea6a2" style="color: #1068bf;">040bfdc3</a></strong>

<div>

<span> by M Farkas-Dyck </span> <i> at 2022-11-23T21:59: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;'>Scrub some no-warning pragmas.

</pre>

</li>

<li>

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

<div>

<span> by Vladislav Zavialov </span> <i> at 2022-11-23T21:59:39-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;'>Check if the SDoc starts with a single quote (#22488)

This patch fixes pretty-printing of character literals

inside promoted lists and tuples.

When we pretty-print a promoted list or tuple whose first element

starts with a single quote, we want to add a space between the opening

bracket and the element:

        '[True]    -- ok

        '[ 'True]  -- ok

        '['True]   -- not ok

If we don't add the space, we accidentally produce a character

literal '['.

Before this patch, pprSpaceIfPromotedTyCon inspected the type as an AST

and tried to guess if it would be rendered with a single quote. However,

it missed the case when the inner type was itself a character literal:

        '[ 'x']  -- ok

        '['x']   -- not ok

Instead of adding this particular case, I opted for a more future-proof

solution: check the SDoc directly. This way we can detect if the single

quote is actually there instead of trying to predict it from the AST.

The new function is called spaceIfSingleQuote.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2022-11-23T22:00:15-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;'>notes: Fix references to HPT space leak note

Updating this note was missed when updating the HPT to the HUG.

Fixes #22477

</pre>

</li>

<li>

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

<div>

<span> by Andrei Borzenkov </span> <i> at 2022-11-24T17:24: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;'>Convert diagnostics in GHC.Rename.Expr to proper TcRnMessage (#20115)

Problem: avoid usage of TcRnMessageUnknown

Solution:

The following `TcRnMessage` messages has been introduced:

  TcRnNoRebindableSyntaxRecordDot

  TcRnNoFieldPunsRecordDot

  TcRnIllegalStaticExpression

  TcRnIllegalStaticFormInSplice

  TcRnListComprehensionDuplicateBinding

  TcRnEmptyStmtsGroup

  TcRnLastStmtNotExpr

  TcRnUnexpectedStatementInContext

  TcRnIllegalTupleSection

  TcRnIllegalImplicitParameterBindings

  TcRnSectionWithoutParentheses

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

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-24T17:25: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: fix missing Arena.h symbols in RtsSymbols.c

It was an unfortunate oversight in !8961 and broke devel2 builds.

</pre>

</li>

<li>

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

<div>

<span> by Bodigrim </span> <i> at 2022-11-25T04:38:28-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 fixes to avoid Data.List.{head,tail}

</pre>

</li>

<li>

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

<div>

<span> by sheaf </span> <i> at 2022-11-25T04:38:28-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;'>Review suggestions for assorted fixes to avoid Data.List.{head,tail}

</pre>

</li>

<li>

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

<div>

<span> by Vladislav Zavialov </span> <i> at 2022-11-25T04:39:04-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;'>Print unticked promoted data constructors (#20531)

Before this patch, GHC unconditionally printed ticks before promoted

data constructors:

        ghci> type T = True  -- unticked (user-written)

        ghci> :kind! T

        T :: Bool

        = 'True              -- ticked (compiler output)

After this patch, GHC prints ticks only when necessary:

        ghci> type F = False    -- unticked (user-written)

        ghci> :kind! F

        F :: Bool

        = False                 -- unticked (compiler output)

        ghci> data False        -- introduce ambiguity

        ghci> :kind! F

        F :: Bool

        = 'False                -- ticked by necessity (compiler output)

The old behavior can be enabled by -fprint-redundant-promotion-ticks.

Summary of changes:

* Rename PrintUnqualified to NamePprCtx

* Add QueryPromotionTick to it

* Consult the GlobalRdrEnv to decide whether to print a tick (see mkPromTick)

* Introduce -fprint-redundant-promotion-ticks

Co-authored-by: Artyom Kuznetsov <hi@wzrd.ht>

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-25T22:31:27+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;'>Fix decomposition of TyConApps

Ticket #22331 showed that we were being too eager to decompose

a Wanted TyConApp, leading to incompleteness in the solver.

To understand all this I ended up doing a substantial rewrite

of the old Note [Decomposing equalities], now reborn as

Note [Decomposing TyConApp equalities]. Plus rewrites of other

related Notes.

The actual fix is very minor and actually simplifies the code: in

`can_decompose` in `GHC.Tc.Solver.Canonical.canTyConApp`, we now call

`noMatchableIrreds`.  A closely related refactor: we stop trying to

use the same "no matchable givens" function here as in

`matchClassInst`.  Instead split into two much simpler functions.

</pre>

</li>

<li>

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

<div>

<span> by Will Hawkins </span> <i> at 2022-11-26T04:05:04-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;'>Redirect output of musttail attribute test

Compilation output from test for support of musttail attribute leaked to

the console.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-28T08:55: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;'>Move hs_mulIntMayOflo cbits to ghc-prim

It's only used by wasm NCG at the moment, but ghc-prim is a more

reasonable place for hosting out-of-line primops. Also, we only need a

single version of hs_mulIntMayOflo.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-28T09:05: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;'>compiler: generate ccalls for clz/ctz/popcnt in wasm NCG

We used to generate a single wasm clz/ctz/popcnt opcode, but it's

wrong when it comes to subwords, so might as well generate ccalls for

them. See #22470 for details.

</pre>

</li>

<li>

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

<div>

<span> by Cheng Shao </span> <i> at 2022-11-28T23:48: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;'>compiler: remove unused MO_U_MulMayOflo

We actually only emit MO_S_MulMayOflo and never emit MO_U_MulMayOflo anywhere.

</pre>

</li>

<li>

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

<div>

<span> by Apoorv Ingle </span> <i> at 2022-11-29T03:09: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;'>Killing cc_fundeps, streamlining kind equality orientation, and type equality processing order

Fixes: #217093

Associated to #19415

This change

* Flips the orientation of the the generated kind equality coercion in canEqLHSHetero;

* Removes `cc_fundeps` in CDictCan as the check was incomplete;

* Changes `canDecomposableTyConAppOk` to ensure we process kind equalities before type equalities and avoiding a call to `canEqLHSHetero` while processing wanted TyConApp equalities

* Adds 2 new tests for validating the change

   - testsuites/typecheck/should_compile/T21703.hs and

   - testsuites/typecheck/should_fail/T19415b.hs (a simpler version of T19415.hs)

* Misc: Due to the change in the equality direction some error messages now have flipped type mismatch errors

* Changes in Notes:

  - Note [Fundeps with instances, and equality orientation] supercedes Note [Fundeps with instances]

  - Added Note [Kind Equality Orientation] to visualize the kind flipping

  - Added Note [Decomposing Dependent TyCons and Processing Wanted Equalties]

</pre>

</li>

<li>

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

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2022-11-29T03:10:13-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;'>Change printing of sized literals to match the proposal

Literals in Core were printed as e.g. 0xFF#16 :: Int16#.

The proposal 451 now specifies syntax 0xFF#Int16.

This change affects the Core printer only - more to be done later.

Part of #21422.

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-29T03:10: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;'>Be a bit more selective about floating bottoming expressions

This MR arranges to float a bottoming expression to the top

only if it escapes a value lambda.

See #22494 and Note [Floating to the top] in SetLevels.

This has a generally beneficial effect in nofib

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

|                               ||tsv (rel) |

+===============================++==========+

|           imaginary/paraffins ||   -0.93% |

|                imaginary/rfib ||   -0.05% |

|                      real/fem ||   -0.03% |

|                    real/fluid ||   -0.01% |

|                   real/fulsom ||   +0.05% |

|                   real/gamteb ||   -0.27% |

|                       real/gg ||   -0.10% |

|                   real/hidden ||   -0.01% |

|                      real/hpg ||   -0.03% |

|                      real/scs ||  -11.13% |

|         shootout/k-nucleotide ||   -0.01% |

|               shootout/n-body ||   -0.08% |

|   shootout/reverse-complement ||   -0.00% |

|        shootout/spectral-norm ||   -0.02% |

|             spectral/fibheaps ||   -0.20% |

|           spectral/hartel/fft ||   -1.04% |

|         spectral/hartel/solid ||   +0.33% |

|     spectral/hartel/wave4main ||   -0.35% |

|                 spectral/mate ||   +0.76% |

+===============================++==========+

|                     geom mean ||   -0.12% |

The effect on compile time is generally slightly beneficial

Metrics: compile_time/bytes allocated

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

MultiLayerModulesTH_OneShot(normal)  +0.3%

                  PmSeriesG(normal)  -0.2%

                  PmSeriesT(normal)  -0.1%

                     T10421(normal)  -0.1%

                    T10421a(normal)  -0.1%

                     T10858(normal)  -0.1%

                     T11276(normal)  -0.1%

                    T11303b(normal)  -0.2%

                     T11545(normal)  -0.1%

                     T11822(normal)  -0.1%

                     T12150(optasm)  -0.1%

                     T12234(optasm)  -0.3%

                     T13035(normal)  -0.2%

                     T16190(normal)  -0.1%

                     T16875(normal)  -0.4%

                    T17836b(normal)  -0.2%

                     T17977(normal)  -0.2%

                    T17977b(normal)  -0.2%

                     T18140(normal)  -0.1%

                     T18282(normal)  -0.1%

                     T18304(normal)  -0.2%

                    T18698a(normal)  -0.1%

                     T18923(normal)  -0.1%

                     T20049(normal)  -0.1%

                    T21839r(normal)  -0.1%

                      T5837(normal)  -0.4%

                      T6048(optasm)  +3.2% BAD

                      T9198(normal)  -0.2%

                      T9630(normal)  -0.1%

       TcPlugin_RewritePerf(normal)  -0.4%

             hard_hole_fits(normal)  -0.1%

                          geo. mean  -0.0%

                          minimum    -0.4%

                          maximum    +3.2%

The T6048 outlier is hard to pin down, but it may be the effect of

reading in more interface files definitions. It's a small program for

which compile time is very short, so I'm not bothered about it.

Metric Increase:

    T6048

</pre>

</li>

<li>

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

<div>

<span> by Ben Gamari </span> <i> at 2022-11-29T03:11: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;'>testsuite: Mark unpack_sums_6 as fragile due to #22504

This test is explicitly dependent upon runtime, which is generally not

appropriate given that the testsuite is run in parallel and generally

saturates the CPU.

</pre>

</li>

<li>

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

<div>

<span> by Ben Gamari </span> <i> at 2022-11-29T03:11: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;'>testsuite: Don't use grep -q in unpack_sums_7

`grep -q` closes stdin as soon as it finds the pattern it is looking

for, resulting in #22484.

</pre>

</li>

<li>

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

<div>

<span> by Sylvain Henry </span> <i> at 2022-11-29T09:44:31+01: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 Javascript backend

Add JS backend adapted from the GHCJS project by Luite Stegeman.

Some features haven't been ported or implemented yet. Tests for these

features have been disabled with an associated gitlab ticket.

Bump array submodule

Work funded by IOG.

Co-authored-by: Jeffrey Young <jeffrey.young@iohk.io>

Co-authored-by: Luite Stegeman <stegeman@gmail.com>

Co-authored-by: Josh Meredith <joshmeredith2008@gmail.com>

</pre>

</li>

<li>

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

<div>

<span> by sheaf </span> <i> at 2022-11-30T09:31: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;'>Fix @since annotations on WithDict and Coercible

Fixes #22453

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-30T09:32: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;'>Be more careful in GHC.Tc.Solver.Interact.solveOneFromTheOther

We were failing to account for the cc_pend_sc flag in this

important function, with the result that we expanded superclasses

forever.

Fixes #22516.

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-11-30T09:32: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;'>Use mkNakedFunTy in tcPatSynSig

As #22521 showed, in tcPatSynSig we make a "fake type" to

kind-generalise; and that type has unzonked type variables in it. So

we must not use `mkFunTy` (which checks FunTy's invariants) via

`mkPhiTy` when building this type.  Instead we need to use

`mkNakedFunTy`.

Easy fix.

</pre>

</li>

<li>

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

<div>

<span> by Andreas Klebinger </span> <i> at 2022-11-30T14:50: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;'>Properly cast values when writing/reading unboxed sums.

Unboxed sums might store a Int8# value as Int64#. This patch

makes sure we keep track of the actual value type.

See Note [Casting slot arguments] for the details.

</pre>

</li>

<li>

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

<div>

<span> by Oleg Grenrus </span> <i> at 2022-11-30T14:51:39-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 Void to GHC.Base...

This change would allow `Void` to be used deeper in module graph.

For example exported from `Prelude` (though that might be already

possible).

Also this change includes a change `stimes @Void _ x = x`,

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

While the above is not required, maintaining old stimes behavior

would be tricky as `GHC.Base` doesn't know about `Num` or `Integral`,

which would require more hs-boot files.

</pre>

</li>

<li>

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

<div>

<span> by Sebastian Graf </span> <i> at 2022-11-30T14:52: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;'>DmdAnal: Reflect the `seq` of strict fields of a DataCon worker (#22475)

See the updated `Note [Data-con worker strictness]`

and the new `Note [Demand transformer for data constructors]`.

Fixes #22475.

</pre>

</li>

<li>

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

<div>

<span> by Baldur Blöndal </span> <i> at 2022-11-30T21:16:36+01: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;'>Make Functor a quantified superclass of Bifunctor.

See https://github.com/haskell/core-libraries-committee/issues/91 for

discussion.

This change relates Bifunctor with Functor by requiring second = fmap.

Moreover this change is a step towards unblocking the major version bump

of bifunctors and profunctors to major version 6. This paves the way to

move the Profunctor class into base. For that Functor first similarly

becomes a superclass of Profunctor in the new major version 6.

</pre>

</li>

<li>

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

<div>

<span> by doyougnu </span> <i> at 2022-12-01T12:36: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;'>FastString: SAT bucket_match

Metric Decrease:

    MultiLayerModulesTH_OneShot

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-12-01T12:37: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;'>Add a missing varToCoreExpr in etaBodyForJoinPoint

This subtle bug showed up when compiling a library with 9.4.

See #22491.  The bug is present in master, but it is hard to

trigger; the new regression test T22491 fails in 9.4.

The fix was easy: just add a missing varToCoreExpr in

etaBodyForJoinPoint.

The fix is definitely right though!

I also did some other minor refatoring:

* Moved the preInlineUnconditionally test in simplExprF1 to

  before the call to joinPointBinding_maybe, to avoid fruitless

  eta-expansion.

* Added a boolean from_lam flag to simplNonRecE, to avoid two

  fruitless tests, and commented it a bit better.

These refactorings seem to save 0.1% on compile-time allocation in

perf/compiler; with a max saving of 1.4% in T9961

Metric Decrease:

    T9961

</pre>

</li>

<li>

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

<div>

<span> by M Farkas-Dyck </span> <i> at 2022-12-01T12:37: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;'>CI: Forbid the fully static build on Alpine to fail.

To do so, we mark some tests broken in this configuration.

</pre>

</li>

<li>

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

<div>

<span> by Bryan Richter </span> <i> at 2022-12-01T12:37: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;'>CI: Remove ARMv7 jobs

These jobs fail (and are allowed to fail) nearly every time.

Soon they won't even be able to run at all, as we won't currently have

runners that can run them.

Fixing the latter problem is tracked in #22409.

I went ahead and removed all settings and configurations.

</pre>

</li>

<li>

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

<div>

<span> by Bryan Richter </span> <i> at 2022-12-01T12:37: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;'>CI: Fix CI lint

Failure was introduced by conflicting changes to gen_ci.hs that did

*not* trigger git conflicts.

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-12-02T01:22:12-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;'>Refactor TyCon to have a top-level product

This patch changes the representation of TyCon so that it has

a top-level product type, with a field that gives the details

(newtype, type family etc), #22458.

Not much change in allocation, but execution seems to be a bit

faster.

Includes a change to the haddock submodule to adjust for API changes.

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2022-12-02T01:22: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;'>ApplicativeDo: Set pattern location before running exhaustiveness checker

This improves the error messages of the exhaustiveness checker when

checking statements which have been moved around with ApplicativeDo.

Before:

Test.hs:2:3: warning: [GHC-62161] [-Wincomplete-uni-patterns]

    Pattern match(es) are non-exhaustive

    In a pattern binding:

        Patterns of type ‘Maybe ()’ not matched: Nothing

  |

2 |   let x = ()

  |   ^^^^^^^^^^

After:

Test.hs:4:3: warning: [GHC-62161] [-Wincomplete-uni-patterns]

    Pattern match(es) are non-exhaustive

    In a pattern binding:

        Patterns of type ‘Maybe ()’ not matched: Nothing

  |

4 |   ~(Just res1) <- seq x (pure $ Nothing @())

  |

Fixes #22483

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2022-12-02T19:46: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;'>Add special case for :Main module in `GHC.IfaceToCore.mk_top_id`

See Note [Root-main Id]

The `:Main` special binding is actually defined in the current module

(hence don't go looking for it externally) but the module name is rOOT_MAIN

rather than the current module so we need this special case.

There was already some similar logic in `GHC.Rename.Env` for

External Core, but now the "External Core" is in interface files it

needs to be moved here instead.

Fixes #22405

</pre>

</li>

<li>

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

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2022-12-02T19:47: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;'>Fix linearity checking in Lint

Lint was not able to see that x*y <= x*y, because this inequality

was decomposed to x <= x*y && y <= x*y, but there was no rule

to see that x <= x*y.

Fixes #22546.

</pre>

</li>

<li>

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

<div>

<span> by Bryan Richter </span> <i> at 2022-12-03T04:38: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;'>Mark T16916 fragile

See https://gitlab.haskell.org/ghc/ghc/-/issues/16966

</pre>

</li>

<li>

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

<div>

<span> by Vladislav Zavialov </span> <i> at 2022-12-03T04:39: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;'>Refactor: FreshOrReuse instead of addTyClTyVarBinds

This is a refactoring that should have no effect on observable behavior.

Prior to this change, GHC.HsToCore.Quote contained a few closely related

functions to process type variable bindings: addSimpleTyVarBinds,

addHsTyVarBinds, addQTyVarBinds, and addTyClTyVarBinds.

We can classify them by their input type and name generation strategy:

                              Fresh names only    Reuse bound names

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

                   [Name] | addSimpleTyVarBinds |                   |

[LHsTyVarBndr flag GhcRn] |     addHsTyVarBinds |                   |

        LHsQTyVars GhcRn  |      addQTyVarBinds | addTyClTyVarBinds |

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

Note how two functions are missing. Because of this omission, there were

two places where a LHsQTyVars value was constructed just to be able to pass it

to addTyClTyVarBinds:

1. mk_qtvs in addHsOuterFamEqnTyVarBinds    -- bad

2. mkHsQTvs in repFamilyDecl                -- bad

This prevented me from making other changes to LHsQTyVars, so the main

goal of this refactoring is to get rid of those workarounds.

The most direct solution would be to define the missing functions.

But that would lead to a certain amount of code duplication. To avoid

code duplication, I factored out the name generation strategy into a

function parameter:

        data FreshOrReuse

          = FreshNamesOnly

          | ReuseBoundNames

        addSimpleTyVarBinds :: FreshOrReuse -> ...

        addHsTyVarBinds     :: FreshOrReuse -> ...

        addQTyVarBinds      :: FreshOrReuse -> ...

</pre>

</li>

<li>

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

<div>

<span> by Vladislav Zavialov </span> <i> at 2022-12-03T04:39: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;'>addHsOuterFamEqnTyVarBinds: use FreshNamesOnly for explicit binders

Consider this example:

        [d| instance forall a. C [a] where

              type forall b. G [a] b = Proxy b |]

When we process "forall b." in the associated type instance, it is

unambiguously the binding site for "b" and we want a fresh name for it.

Therefore, FreshNamesOnly is more fitting than ReuseBoundNames.

This should not have any observable effect but it avoids pointless

lookups in the MetaEnv.

</pre>

</li>

<li>

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

<div>

<span> by Ross Paterson </span> <i> at 2022-12-03T10:32:45+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;'>Handle type data declarations in Template Haskell quotations and splices (fixes #22500)

This adds a TypeDataD constructor to the Template Haskell Dec type,

and ensures that the constructors it contains go in the TyCls namespace.

</pre>

</li>

<li>

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

<div>

<span> by Vladislav Zavialov </span> <i> at 2022-12-05T05:18: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;'>Add BufSpan to EpaLocation (#22319, #22558)

The key part of this patch is the change to mkTokenLocation:

        - mkTokenLocation (RealSrcSpan r _)  = TokenLoc (EpaSpan r)

        + mkTokenLocation (RealSrcSpan r mb) = TokenLoc (EpaSpan r mb)

mkTokenLocation used to discard the BufSpan, but now it is saved and can

be retrieved from LHsToken or LHsUniToken.

This is made possible by the following change to EpaLocation:

        - data EpaLocation = EpaSpan !RealSrcSpan

        + data EpaLocation = EpaSpan !RealSrcSpan !(Strict.Maybe BufSpan)

                           | ...

The end goal is to make use of the BufSpan in Parser/PostProcess/Haddock.

</pre>

</li>

<li>

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

<div>

<span> by sheaf </span> <i> at 2022-12-06T15:45: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;'>Hadrian: fix ghcDebugAssertions off-by-one error

Commit 6b2f7ffe changed the logic that decided whether to enable debug

assertions. However, it had an off-by-one error, as the stage parameter

to the function inconsistently referred to the stage of the compiler

being used to build or the stage of the compiler we are building.

This patch makes it consistent. Now the parameter always refers to the

the compiler which is being built.

In particular, this patch re-enables

assertions in the stage 2 compiler when building with devel2 flavour,

and disables assertions in the stage 2 compiler when building with

validate flavour.

Some extra performance tests are now run in the "validate" jobs because

the stage2 compiler no longer contains assertions.

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

Metric Decrease:

    CoOpt_Singletons

    MultiComponentModules

    MultiComponentModulesRecomp

    MultiLayerModulesTH_OneShot

    T11374

    T12227

    T12234

    T13253-spj

    T13701

    T14683

    T14697

    T15703

    T17096

    T17516

    T18304

    T18478

    T18923

    T5030

    T9872b

    TcPlugin_RewritePerf

Metric Increase:

    MultiComponentModules

    MultiComponentModulesRecomp

    MultiLayerModules

    MultiLayerModulesRecomp

    MultiLayerModulesTH_Make

    T13386

    T13719

    T3294

    T9233

    T9675

    parsing001

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

</pre>

</li>

<li>

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

<div>

<span> by mrkun </span> <i> at 2022-12-06T15:46: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;'>Push DynFlags out of runInstallNameTool

</pre>

</li>

<li>

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

<div>

<span> by mrkun </span> <i> at 2022-12-06T15:46: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;'>Push DynFlags out of askOtool

</pre>

</li>

<li>

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

<div>

<span> by mrkun </span> <i> at 2022-12-06T15:46: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;'>Push DynFlags out of runInjectRPaths

</pre>

</li>

<li>

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

<div>

<span> by mrkun </span> <i> at 2022-12-06T15:46: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;'>Push DynFlags out of Linker.MacOS

</pre>

</li>

<li>

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

<div>

<span> by Matthew Pickering </span> <i> at 2022-12-07T11:45:44+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;'>Package Imports: Get candidate packages also from re-exported modules

Previously we were just looking at the direct imports to try and work

out what a package qualifier could apply to but #22333 pointed out we

also needed to look for reexported modules.

Fixes #22333

</pre>

</li>

</ul>

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

16 changed files:

</h4>

<ul>

<li class="file-stats">

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

.gitignore

</a>

</li>

<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="#1a9896891bd48f81ad18a7daa00e5ef3436ca9df" style="color: #1068bf;">

<span class="new-file">

+

.gitlab/hello.hs

</span>

</a>

</li>

<li class="file-stats">

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

.gitlab/jobs.yaml

</a>

</li>

<li class="file-stats">

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

CODEOWNERS

</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="#06764eb0158306b83ab1998d18316392a51838c2" style="color: #1068bf;">

compiler/GHC/Builtin/Names/TH.hs

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Builtin/PrimOps.hs

</a>

</li>

<li class="file-stats">

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

<span class="new-file">

+

compiler/GHC/Builtin/PrimOps/Casts.hs

</span>

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Builtin/Types.hs

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Builtin/Types.hs-boot

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Builtin/Types/Literals.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/939ac65fcff7af4ae7a87b492d8ec6da8321aa8a...58a138d0f62c057333e4fd15fe20df64492b1dac" 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>