<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en" style='--code-editor-font: var(--default-mono-font, "GitLab Mono"), JetBrains Mono, Menlo, DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;'>
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style data-premailer="ignore" type="text/css">
a { color: #1068bf; }
</style>
<style>img {
max-width: 100%; height: auto;
}
body {
font-size: .875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px;
}
body {
font-family: var(--default-regular-font, "GitLab Sans"),-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size: inherit;
}
</style>
</head>
<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px; font-family: var(--default-regular-font, "GitLab Sans"),-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";'>
<div class="content">
<h3 style="margin-top: 20px; margin-bottom: 10px;">
Marge Bot pushed to branch wip/marge_bot_batch_merge_job at <a href="https://gitlab.haskell.org/ghc/ghc">Glasgow Haskell Compiler / GHC</a>
</h3>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
Commits:
</h4>
<ul>
<li>
<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d1fb73253fcb81d5e9280bf0f300a31035ff8829">d1fb7325</a></strong>
<div>
<span> by Rodrigo Mesquita </span> <i> at 2024-08-07T05:58:19-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>ghc-internal: @since for backtraceDesired
Fixes point 1 in #25052
</pre>
</li>
<li>
<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/28d9b3e0872c002ac011979b343fcd743ef59c92">28d9b3e0</a></strong>
<div>
<span> by Rodrigo Mesquita </span> <i> at 2024-08-07T05:58:19-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>ghc-internal: No trailing whitespace in exceptions
Fixes #25052
</pre>
</li>
<li>
<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/18832617372e9fd7060fa67f0ff1f4bce8cabb3b">18832617</a></strong>
<div>
<span> by Andreas Klebinger </span> <i> at 2024-08-07T05:58:20-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Add since annotation for -fkeep-auto-rules.
This partially addresses #25082.
</pre>
</li>
<li>
<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/0e308198529db3888f4909ed172d0c7e0e0b4811">0e308198</a></strong>
<div>
<span> by Andreas Klebinger </span> <i> at 2024-08-07T05:58:20-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Mention `-fkeep-auto-rules` in release notes.
It was added earlier but hadn't appeared in any release notes yet.
Partially addresses #25082.
</pre>
</li>
<li>
<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/64bd490837b89e510df5fb6c626a083b6a6c3934">64bd4908</a></strong>
<div>
<span> by Sylvain Henry </span> <i> at 2024-08-07T05:58:23-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Cmm: don't perform unsound optimizations on 32-bit compiler hosts
- beef61351b240967b49169d27a9a19565cf3c4af enabled the use of
MO_Add/MO_Sub for 64-bit operations in the C and LLVM backends
- 6755d833af8c21bbad6585144b10e20ac4a0a1ab did the same for the x86 NCG
backend
However we store some literal values as `Int` in the compiler. As a
result, some Cmm optimizations transformed target 64-bit literals into
compiler `Int`. If the compiler is 32-bit, this leads to computing with
wrong literals (see #24893 and #24700).
This patch disables these Cmm optimizations for 32-bit compilers. This
is unsatisfying (optimizations shouldn't be compiler-word-size
dependent) but it fixes the bug and it makes the patch easy to backport.
A proper fix would be much more invasive but it shall be implemented in
the future.
Co-authored-by: amesgen <amesgen@amesgen.de>
</pre>
</li>
<li>
<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/65d9bd2d911d976020008cc4262435e4587b041f">65d9bd2d</a></strong>
<div>
<span> by Vladislav Zavialov </span> <i> at 2024-08-07T05:58:23-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>docs: Update info on RequiredTypeArguments
Add a section on "types in terms" that were implemented in 8b2f70a202
and remove the now outdated suggestion of using `type` for them.
</pre>
</li>
<li>
<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8c42a6cd01b07445665f1f9365d4336d36976d2e">8c42a6cd</a></strong>
<div>
<span> by Sylvain Henry </span> <i> at 2024-08-07T05:58:26-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>JS: fix minor typo in base's jsbits
</pre>
</li>
<li>
<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/4fba7bd5bd8b23dc6d5ce316264d6bed6a4f9f44">4fba7bd5</a></strong>
<div>
<span> by Sylvain Henry </span> <i> at 2024-08-07T05:58:26-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>RTS: remove hack to force old cabal to build a library with only JS sources
Need to extend JSC externs with Emscripten RTS definitions to avoid
JSC_UNDEFINED_VARIABLE errors when linking without the emcc rts.
Fix #25138
Some recompilation avoidance tests now fail. This is tracked with the
other instances of this failure in #23013. My hunch is that they were
working by chance when we used the emcc linker.
Metric Decrease:
T24602_perf_size
</pre>
</li>
<li>
<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5e4ede48d0e30ee8afe0992cf333e2da2958fb48">5e4ede48</a></strong>
<div>
<span> by Brandon Chinn </span> <i> at 2024-08-07T05:58:29-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Support multiline strings in type literals (#25132)
</pre>
</li>
<li>
<strong style="font-weight: 600;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/722a5114224568bef928eef4f0bbfe48f14e7f0b">722a5114</a></strong>
<div>
<span> by Sylvain Henry </span> <i> at 2024-08-07T05:58:32-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>JS: fix callback documentation (#24377)
Fix #24377
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#00c27365316e033b00cc3ed3854ac8714d25a2b5">
compiler/GHC/Cmm/Opt.hs
</a>
</li>
<li class="file-stats">
<a href="#bf951467d4a9aa443cb109cb4c84a2891945649b">
compiler/GHC/Parser.y
</a>
</li>
<li class="file-stats">
<a href="#7cf4e8c9485c255dc72f13e75192bfa3cf66eef3">
compiler/GHC/StgToJS/Linker/Linker.hs
</a>
</li>
<li class="file-stats">
<a href="#9355bef855426caf5f526925edf351b20f9a86c4">
compiler/GHC/Tc/Gen/HsType.hs
</a>
</li>
<li class="file-stats">
<a href="#f595baeef5a4f6e40ab0d654fa17c31a4f4aec73">
docs/users_guide/9.12.1-notes.rst
</a>
</li>
<li class="file-stats">
<a href="#dbcbd7b55b6584a40b8c7bd1f31599dacce2dbd6">
docs/users_guide/exts/required_type_arguments.rst
</a>
</li>
<li class="file-stats">
<a href="#2e618736b8ffd36f960b8706c688a29a804355e4">
docs/users_guide/javascript.rst
</a>
</li>
<li class="file-stats">
<a href="#2e45f2cd303dd998950a7c8042e796a5b2abd64f">
docs/users_guide/using-optimisation.rst
</a>
</li>
<li class="file-stats">
<a href="#5e3a6a32bbc258853977a312af5db397f7ec57fc">
libraries/ghc-internal/jsbits/base.js
</a>
</li>
<li class="file-stats">
<a href="#03cfee2d5ff1e2f3ab92a8cb79be769da8656d93">
libraries/ghc-internal/src/GHC/Internal/Exception/Type.hs
</a>
</li>
<li class="file-stats">
<a href="#86593ba156344621801d0b3abaaedf933bb45664">
libraries/ghc-internal/src/GHC/Internal/JS/Foreign/Callback.hs
</a>
</li>
<li class="file-stats">
<a href="#4fb5490806ecee93e1ef82b6abd84cb2c8f44397">
rts/js/mem.js
</a>
</li>
<li class="file-stats">
<a href="#e07cec4401dc780939be2d62d71f7017733058b1">
rts/rts.cabal
</a>
</li>
<li class="file-stats">
<a href="#b481dca9d46949fea7cb3ce2bcd3f6138e4027ee">
<span class="deleted-file">
−
rts/version.c
</span>
</a>
</li>
<li class="file-stats">
<a href="#a3573e103d6d0bac982fe563fc1b99e10b8b8e73">
<span class="new-file">
+
testsuite/tests/codeGen/should_run/T24700.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#2b441b5945239d802485f554650be979062be8be">
<span class="new-file">
+
testsuite/tests/codeGen/should_run/T24700.stdin
</span>
</a>
</li>
<li class="file-stats">
<a href="#786a357444f6a625a019201aa2226afebea42ac6">
<span class="new-file">
+
testsuite/tests/codeGen/should_run/T24700.stdout
</span>
</a>
</li>
<li class="file-stats">
<a href="#0d09853dc1a0c63ecdc5e77ef16b897174b15f22">
<span class="new-file">
+
testsuite/tests/codeGen/should_run/T24893.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#ad6733e08eeed2800268bb5bc5e2a4a5a115870c">
<span class="new-file">
+
testsuite/tests/codeGen/should_run/T24893.stdout
</span>
</a>
</li>
<li class="file-stats">
<a href="#b9bba9766faf563ab195fb1402f14fa78ad5c66f">
testsuite/tests/codeGen/should_run/all.T
</a>
</li>
<li class="file-stats">
<a href="#d532a595ee586537c8997ca00f736344bb014ab9">
testsuite/tests/driver/T13914/T13914.stdout
</a>
</li>
<li class="file-stats">
<a href="#f35886f290d7a8814ce6885523ffbdf7a729e6af">
testsuite/tests/driver/all.T
</a>
</li>
<li class="file-stats">
<a href="#a2ceb81bc3fc128a2a74b8a6cb971bb9bb95936a">
testsuite/tests/driver/recomp011/all.T
</a>
</li>
<li class="file-stats">
<a href="#3f947b0a62cd944f9a6d6ec43e6edb4719f2193a">
<span class="new-file">
+
testsuite/tests/exceptions/T25052.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#9021a4536d24ae59d017f391bc0542c0e4bfe79f">
<span class="new-file">
+
testsuite/tests/exceptions/T25052.stdout
</span>
</a>
</li>
<li class="file-stats">
<a href="#72e1bbf3d4f168385f9549c9c39ebec4232e0cc6">
<span class="new-file">
+
testsuite/tests/exceptions/all.T
</span>
</a>
</li>
<li class="file-stats">
<a href="#985bd3a721334c841b46e01f49a862aab56b7ba0">
<span class="new-file">
+
testsuite/tests/parser/should_compile/T25132.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#a43397658ba43ce6747320867b3a0330bcea2ea5">
testsuite/tests/parser/should_compile/all.T
</a>
</li>
<li class="file-stats">
<a href="#8465ee0589acb77b7361deb499153b8394526c76">
testsuite/tests/printer/Makefile
</a>
</li>
<li class="file-stats">
<a href="#455e07ae3e4074d6a1085a35207128b311a42361">
<span class="new-file">
+
testsuite/tests/printer/Test25132.hs
</span>
</a>
</li>
</ul>
<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: .875rem;">
The diff was not included because it is too large.
</h5>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #737278;">
—
<br>
<a href="https://gitlab.haskell.org/ghc/ghc/-/compare/f384665bfff73b92d5ef14c8ed47f8df815b5de4...722a5114224568bef928eef4f0bbfe48f14e7f0b">View it on GitLab</a>.
<br>
You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://gitlab.haskell.org">gitlab.haskell.org</a>. <a href="https://gitlab.haskell.org/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link">Manage all notifications</a> · <a href="https://gitlab.haskell.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>
</p>
</div>
</body>
</html>