<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style data-premailer="ignore" type="text/css">
a { color: #1068bf; }
</style>
<style>img {
max-width: 100%; height: auto;
}
body {
font-size: 0.875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
}
body {
font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; font-size: inherit;
}
</style>
</head>
<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";'>
<div class="content">
<h3 style="margin-top: 20px; margin-bottom: 10px;">
Ben Gamari pushed to branch wip/ghc-9.6 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/df7bc6b36d16e91f3e9e96e9542885e544bbf4d0" style="color: #1068bf;">df7bc6b3</a></strong>
<div>
<span> by Ying-Ruei Liang (TheKK) </span> <i> at 2022-12-21T14:31: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;'>rts: explicitly store return value of ccall checkClosure to prevent type error (#22617)
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e193e53790dd5886feea3cf4c9c17625d188291b" style="color: #1068bf;">e193e537</a></strong>
<div>
<span> by Simon Peyton Jones </span> <i> at 2022-12-21T14:32: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;'>Fix shadowing lacuna in OccurAnal
Issue #22623 demonstrated another lacuna in the implementation
of wrinkle (BS3) in Note [The binder-swap substitution] in
the occurrence analyser.
I was failing to add TyVar lambda binders using
addInScope/addOneInScope and that led to a totally bogus binder-swap
transformation.
Very easy to fix.
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3d55d8ab51ece43c51055c43c9e7aba77cce46c0" style="color: #1068bf;">3d55d8ab</a></strong>
<div>
<span> by Simon Peyton Jones </span> <i> at 2022-12-21T14:32: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;'>Fix an assertion check in addToEqualCtList
The old assertion saw that a constraint ct could rewrite itself
(of course it can) and complained (stupid).
Fixes #22645
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/ceb2e9b9b2e29047922453b545ef03f9d9e3244d" style="color: #1068bf;">ceb2e9b9</a></strong>
<div>
<span> by Ben Gamari </span> <i> at 2022-12-21T15:26:08-05:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", 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: Bump version to 9.6
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/fb4d36c451218180ea40de7ec2c7b1209baf1dea" style="color: #1068bf;">fb4d36c4</a></strong>
<div>
<span> by Ben Gamari </span> <i> at 2022-12-21T15:27: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;'>base: Bump version to 4.18
Requires various submodule bumps.
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/93ee7e9004c6acf01bf850a9be65c6cfe482e6f0" style="color: #1068bf;">93ee7e90</a></strong>
<div>
<span> by Ben Gamari </span> <i> at 2022-12-21T15:27: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;'>ghc-boot: Fix bootstrapping
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#bac3d5159a5688007de3aa3f5c4e50569677b347" style="color: #1068bf;">
compiler/GHC/Core/Opt/OccurAnal.hs
</a>
</li>
<li class="file-stats">
<a href="#f168a93cde5e2aec2441d6331dfe500172df4af3" style="color: #1068bf;">
compiler/GHC/Core/Opt/Simplify.hs
</a>
</li>
<li class="file-stats">
<a href="#196fca0ee88d087360b22f2b699bad8a4574f417" style="color: #1068bf;">
compiler/GHC/Tc/Solver/Types.hs
</a>
</li>
<li class="file-stats">
<a href="#0f33fd88c617246c7f89c4477d2d1d24f942df23" style="color: #1068bf;">
compiler/ghc.cabal.in
</a>
</li>
<li class="file-stats">
<a href="#87db583be5c13c1f7b3c958b10e03d67b6a2ca06" style="color: #1068bf;">
configure.ac
</a>
</li>
<li class="file-stats">
<a href="#9291b31007e89e8b38b9ca916cdad6f71073b937" style="color: #1068bf;">
libraries/array
</a>
</li>
<li class="file-stats">
<a href="#b7cfb47853ef95330e499ca0c5b90964744d101f" style="color: #1068bf;">
libraries/base/base.cabal
</a>
</li>
<li class="file-stats">
<a href="#1f9e349c6faf0ce4022d1187385f4e265086172b" style="color: #1068bf;">
libraries/deepseq
</a>
</li>
<li class="file-stats">
<a href="#a76fbf30d162dc25f6f8c990c849b2f61b1e79e0" style="color: #1068bf;">
libraries/directory
</a>
</li>
<li class="file-stats">
<a href="#188009555c31ecaa629c04bcbd48479540917707" style="color: #1068bf;">
libraries/filepath
</a>
</li>
<li class="file-stats">
<a href="#250037ded7e5c4810bdfaae1e241ff5dd4845713" style="color: #1068bf;">
libraries/ghc-boot-th/ghc-boot-th.cabal.in
</a>
</li>
<li class="file-stats">
<a href="#5a8fc0fd07bebc217e0ae554c1bea2ac86843071" style="color: #1068bf;">
libraries/ghc-boot/GHC/Utils/Encoding/UTF8.hs
</a>
</li>
<li class="file-stats">
<a href="#0ebb2f2be655388ecccd3e7b71ac41cff1c7beba" style="color: #1068bf;">
libraries/ghc-boot/ghc-boot.cabal.in
</a>
</li>
<li class="file-stats">
<a href="#2682fdbef3edef70800400cfe329cc02ca310b37" style="color: #1068bf;">
libraries/ghc-compact/ghc-compact.cabal
</a>
</li>
<li class="file-stats">
<a href="#ab81fee2498272deb0b09bd2e7d4d9ed1923143a" style="color: #1068bf;">
libraries/ghci/ghci.cabal.in
</a>
</li>
<li class="file-stats">
<a href="#b50a0766e67822eb0253d333520811d8f33ad57d" style="color: #1068bf;">
libraries/parsec
</a>
</li>
<li class="file-stats">
<a href="#f67cc2e98b7648e8223021d15db39fab317444b3" style="color: #1068bf;">
libraries/process
</a>
</li>
<li class="file-stats">
<a href="#af5293b9a47977d962364074b7c9f2f8251149db" style="color: #1068bf;">
libraries/stm
</a>
</li>
<li class="file-stats">
<a href="#8f8341958f03c71e1eee3b82a943baee4c8d42f6" style="color: #1068bf;">
libraries/template-haskell/template-haskell.cabal.in
</a>
</li>
<li class="file-stats">
<a href="#8200fd8e1ae0735ef654e059662a5b048d0ee0e4" style="color: #1068bf;">
libraries/terminfo
</a>
</li>
<li class="file-stats">
<a href="#c94f27a74551c6432f819bdfe482f1a46f1a1596" style="color: #1068bf;">
libraries/unix
</a>
</li>
<li class="file-stats">
<a href="#8ac1fe18e9e8a39e3164b5fe0c209deb89d3c7ff" style="color: #1068bf;">
rts/ContinuationOps.cmm
</a>
</li>
<li class="file-stats">
<a href="#5a180ad99f57e84ce99180f1a995197f41b65d3a" style="color: #1068bf;">
testsuite/tests/backpack/cabal/bkpcabal02/bkpcabal02.stdout
</a>
</li>
<li class="file-stats">
<a href="#1bc20a5070140bb614114cf6e0752ca9c9cac0a3" style="color: #1068bf;">
testsuite/tests/cabal/t18567/T18567.stderr
</a>
</li>
<li class="file-stats">
<a href="#66d63f45ffc4694b1fed5fd69d5825bbbf4da334" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/simplCore/should_compile/T22623.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#5978b87a8b19a805d7c23705117acbd58ff2f9e0" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/simplCore/should_compile/T22623a.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#fc07c260b75644727a8cdc1af5c861a44d4bfb5e" style="color: #1068bf;">
testsuite/tests/simplCore/should_compile/all.T
</a>
</li>
<li class="file-stats">
<a href="#4c3fda8172af96f6ff66807f9b88e86e3ae79b11" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T22645.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#1fb265da00badca7b638141103f1618d420d3762" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T22645.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#b9e86d897a62509b0114d81d5e736630d6f68f43" style="color: #1068bf;">
testsuite/tests/typecheck/should_fail/all.T
</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/f49c226ced5eea304f3e4d57e4bd6e511eb2c68d...93ee7e9004c6acf01bf850a9be65c6cfe482e6f0" 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>