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

Alan Zimmerman pushed to branch wip/az/locateda-epa-improve 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/11fe42d89d37539bd90f31ca47547922b3fc84ae" style="color: #1068bf;">11fe42d8</a></strong>

<div>

<span> by Vladislav Zavialov </span> <i> at 2022-10-23T00:11:50+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;'>Class layout info (#19623)

Updates the haddock submodule.

</pre>

</li>

<li>

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

<div>

<span> by Sven Tennie </span> <i> at 2022-10-24T00:12:51-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;'>Pin used way for test cloneMyStack (#21977)

cloneMyStack checks the order of closures on the cloned stack. This may

change for different ways. Thus we limit this test to one way (normal).

</pre>

</li>

<li>

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

<div>

<span> by Aaron Allen </span> <i> at 2022-10-24T17:11:21+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;'>Convert Diagnostics in GHC.Tc.Gen.Splice (#20116)

Replaces uses of `TcRnUnknownMessage` in `GHC.Tc.Gen.Splice` with

structured diagnostics.

closes #20116

</pre>

</li>

<li>

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

<div>

<span> by Andreas Klebinger </span> <i> at 2022-10-24T15:59:41-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;'>Improve stg lint for unboxed sums.

It now properly lints cases where sums end up distributed

over multiple args after unarise.

Fixes #22026.

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-10-25T18:07:03-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 binder-swap bug

This patch fixes #21229 properly, by avoiding doing a

binder-swap on dictionary Ids.  This is pretty subtle, and explained

in Note [Care with binder-swap on dictionaries].

Test is already in simplCore/should_run/T21229

This allows us to restore a feature to the specialiser that we had

to revert: see Note [Specialising polymorphic dictionaries].

(This is done in a separate patch.)

I also modularised things, using a new function scrutBinderSwap_maybe

in all the places where we are (effectively) doing a binder-swap,

notably

* Simplify.Iteration.addAltUnfoldings

* SpecConstr.extendCaseBndrs

In Simplify.Iteration.addAltUnfoldings I also eliminated a guard

    Many <- idMult case_bndr

because we concluded, in #22123, that it was doing no good.

</pre>

</li>

<li>

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

<div>

<span> by Simon Peyton Jones </span> <i> at 2022-10-25T18:07:03-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;'>Make the specialiser handle polymorphic specialisation

Ticket #13873 unexpectedly showed that a SPECIALISE pragma made a

program run (a lot) slower, because less specialisation took place

overall. It turned out that the specialiser was missing opportunities

because of quantified type variables.

It was quite easy to fix. The story is given in

    Note [Specialising polymorphic dictionaries]

Two other minor fixes in the specialiser

* There is no benefit in specialising data constructor /wrappers/.

  (They can appear overloaded because they are given a dictionary

  to store in the constructor.)  Small guard in canSpecImport.

* There was a buglet in the UnspecArg case of specHeader, in the

  case where there is a dead binder. We need a LitRubbish filler

  for the specUnfolding stuff.  I expanded

  Note [Drop dead args from specialisations] to explain.

There is a 4% increase in compile time for T15164, because we generate

more specialised code.  This seems OK.

Metric Increase:

    T15164

</pre>

</li>

<li>

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

<div>

<span> by Sylvain Henry </span> <i> at 2022-10-25T18:07:43-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;'>Numeric exceptions: replace FFI calls with primops

ghc-bignum needs a way to raise numerical exceptions defined in base

package. At the time we used FFI calls into primops defined in the RTS.

These FFI calls had to be wrapped into hacky bottoming functions because

"foreign import prim" syntax doesn't support giving a bottoming demand

to the foreign call (cf #16929).

These hacky wrapper functions trip up the JavaScript backend (#21078)

because they are polymorphic in their return type. This commit

replaces them with primops very similar to raise# but raising predefined

exceptions.

</pre>

</li>

<li>

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

<div>

<span> by Sylvain Henry </span> <i> at 2022-10-25T18:08:24-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;'>Enable popcount rewrite rule when cross-compiling

The comment applies only when host's word size < target's word size.

So we can relax the guard.

</pre>

</li>

<li>

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

<div>

<span> by Sylvain Henry </span> <i> at 2022-10-25T18:09:05-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 GHC.SysTools.Cpp module

Move doCpp out of the driver to be able to use it in the upcoming JS backend.

</pre>

</li>

<li>

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

<div>

<span> by Ben Gamari </span> <i> at 2022-10-25T18:09:42-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;'>llvm-targets: Add datalayouts for big-endian AArch64 targets

Fixes #22311.

Thanks to @zeldin for the patch.

</pre>

</li>

<li>

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

<div>

<span> by Krzysztof Gogolewski </span> <i> at 2022-10-25T18:10:19-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;'>Cleanup String/FastString conversions

Remove unused mkPtrString and isUnderscoreFS.

We no longer use mkPtrString since 1d03d8bef96.

Remove unnecessary conversions between FastString and String and back.

</pre>

</li>

<li>

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

<div>

<span> by Ryan Scott </span> <i> at 2022-10-26T00:01:24-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;'>Broaden the in-scope sets for liftEnvSubst and composeTCvSubst

This patch fixes two distinct (but closely related) buglets that were uncovered

in #22235:

* `liftEnvSubst` used an empty in-scope set, which was not wide enough to cover

  the variables in the range of the substitution. This patch fixes this by

  populating the in-scope set from the free variables in the range of the

  substitution.

* `composeTCvSubst` applied the first substitution argument to the range of the

  second substitution argument, but the first substitution's in-scope set was

  not wide enough to cover the range of the second substutition. We similarly

  fix this issue in this patch by widening the first substitution's in-scope set

  before applying it.

Fixes #22235.

</pre>

</li>

<li>

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

<div>

<span> by Vladislav Zavialov </span> <i> at 2022-10-26T00:02:01-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;'>Introduce TcRnWithHsDocContext (#22346)

Before this patch, GHC used withHsDocContext to attach an HsDocContext

to an error message:

        addErr $ mkTcRnUnknownMessage $ mkPlainError noHints (withHsDocContext ctxt msg)

The problem with this approach is that it only works with

TcRnUnknownMessage. But could we attach an HsDocContext to a

structured error message in a generic way? This patch solves

the problem by introducing a new constructor to TcRnMessage:

        data TcRnMessage where

          ...

          TcRnWithHsDocContext :: !HsDocContext -> !TcRnMessage -> TcRnMessage

          ...

</pre>

</li>

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

<div>

<span> by Alan Zimmerman </span> <i> at 2022-11-22T19:53:35+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;'>WIP

</pre>

</li>

<li>

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

<div>

<span> by Alan Zimmerman </span> <i> at 2022-11-22T19:53:35+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;'>Start on making LocatedN more direct

</pre>

</li>

<li>

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

<div>

<span> by Alan Zimmerman </span> <i> at 2022-11-22T19:53:35+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;'>WIP

</pre>

</li>

<li>

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

<div>

<span> by Alan Zimmerman </span> <i> at 2022-11-22T19:53:35+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;'>GHC and check-exact compile

</pre>

</li>

<li>

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

<div>

<span> by Alan Zimmerman </span> <i> at 2022-11-22T19:53:35+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;'>WIP. Thinking of re-looking at what an Anchor should be

</pre>

</li>

<li>

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

<div>

<span> by Alan Zimmerman </span> <i> at 2022-11-22T19:53:35+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;'>Using EpaLocation instead of Anchor

Via a synonym initially, to prove the concept

</pre>

</li>

<li>

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

<div>

<span> by Alan Zimmerman </span> <i> at 2022-11-23T22:10:39+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;'>Variants of AnnSortKey

For future, just a list of which type comes next.

Example for ValBinds

</pre>

</li>

<li>

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

<div>

<span> by Alan Zimmerman </span> <i> at 2022-11-23T23:18: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;'>EPA: Explicitly capture EOF Location in AnnsModule

And also get rid of EpaEofComment.

</pre>

</li>

</ul>

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

29 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="#1a9896891bd48f81ad18a7daa00e5ef3436ca9df" style="color: #1068bf;">

<span class="new-file">

+

.gitlab/hello.hs

</span>

</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="#a1519b7fe8a0d4b42e4aaa927fb6ab5b5da0fcdd" style="color: #1068bf;">

compiler/GHC/Builtin/PrimOps.hs

</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>

<li class="file-stats">

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

compiler/GHC/Builtin/Types/Prim.hs

</a>

</li>

<li class="file-stats">

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

<span class="deleted-file">

−

compiler/GHC/Builtin/Types/Prim.hs-boot

</span>

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Builtin/Uniques.hs

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Builtin/primops.txt.pp

</a>

</li>

<li class="file-stats">

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

compiler/GHC/ByteCode/Types.hs

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Cmm.hs

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Cmm/BlockId.hs

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Cmm/CLabel.hs

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Cmm/CLabel.hs-boot

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Cmm/DebugBlock.hs

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Cmm/Expr.hs

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Cmm/Parser.y

</a>

</li>

<li class="file-stats">

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

<span class="new-file">

+

compiler/GHC/Cmm/Reducibility.hs

</span>

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Cmm/Reg.hs

</a>

</li>

<li class="file-stats">

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

compiler/GHC/Cmm/Utils.hs

</a>

</li>

<li class="file-stats">

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

compiler/GHC/CmmToAsm.hs

</a>

</li>

<li class="file-stats">

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

compiler/GHC/CmmToAsm/AArch64.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/f8aada24f70180fe5baaf516df5d88fef77da108...6bf0e65a08a05417148a4a7b3329de8f498abef3" 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>