<!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: 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: 0.875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
}
body {
font-family: "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,0.01) 0 0 1px; font-family: "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;">
Gergő Érdi pushed to branch wip/issue-23832 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: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1420b8cb8a7d6196eec80dc5293864c780379560">1420b8cb</a></strong>
<div>
<span> by Antoine Leblanc </span> <i> at 2023-08-24T16:18:17-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: "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;'>Be more eager in TyCon boot validity checking
This commit performs boot-file consistency checking for TyCons into
checkValidTyCl. This ensures that we eagerly catch any mismatches,
which prevents the compiler from seeing these inconsistencies and
panicking as a result.
See Note [TyCon boot consistency checking] in GHC.Tc.TyCl.
Fixes #16127
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d99c816f7b5727a3f344960e02a1932187ea093f">d99c816f</a></strong>
<div>
<span> by Finley McIlwaine </span> <i> at 2023-08-24T16:18:55-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: "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;'>Refactor estimation of stack info table provenance
This commit greatly refactors the way we compute estimated provenance for stack
info tables. Previously, this process was done using an entirely separate traversal
of the whole Cmm code stream to build the map from info tables to source locations.
The separate traversal is now fused with the Cmm code generation pipeline in
GHC.Driver.Main.
This results in very significant code generation speed ups when -finfo-table-map is
enabled. In testing, this patch reduces code generation times by almost 30% with
-finfo-table-map and -O0, and 60% with -finfo-table-map and -O1 or -O2 .
Fixes #23103
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d3e0124c1157a4a423d86a1dc1d7e82c6d32ef06">d3e0124c</a></strong>
<div>
<span> by Finley McIlwaine </span> <i> at 2023-08-24T16:18:55-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: "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 a test checking overhead of -finfo-table-map
We want to make sure we don't end up with poor codegen performance resulting from
-finfo-table-map again as in #23103. This test adds a performance test tracking
total allocations while compiling ExactPrint with -finfo-table-map.
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b6f242dd88bcdac051d1c4c962ad2f7146d641ec">b6f242dd</a></strong>
<div>
<span> by Gergő Érdi </span> <i> at 2023-08-25T02:52:12+01:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: "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;'>Allow cross-tyvar defaulting proposals from plugins
Fixes #23832.
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#30d5e1537ef6a53cd9a4db9ddfc40c09143cdbb3">
compiler/GHC/Driver/GenerateCgIPEStub.hs
</a>
</li>
<li class="file-stats">
<a href="#9a679a2680ef6061397f1987091ea9f96ffe095d">
compiler/GHC/Driver/Main.hs
</a>
</li>
<li class="file-stats">
<a href="#e4b9d5e9d2de37561bfd06a2c97a5c924a1bab76">
compiler/GHC/Tc/Errors.hs
</a>
</li>
<li class="file-stats">
<a href="#1dd9c7a6bbc222c976a6ec1c4b772232ae60f7e5">
compiler/GHC/Tc/Errors/Ppr.hs
</a>
</li>
<li class="file-stats">
<a href="#cdba811872892f235fe7059df1a6c538fba60816">
compiler/GHC/Tc/Errors/Types.hs
</a>
</li>
<li class="file-stats">
<a href="#1e879f291ac1d1f5e494e0bd8418867afe3d2869">
compiler/GHC/Tc/Instance/FunDeps.hs
</a>
</li>
<li class="file-stats">
<a href="#54436e21ea530a66a8a71bcc01c836f4740b8f02">
compiler/GHC/Tc/Solver.hs
</a>
</li>
<li class="file-stats">
<a href="#0c6b585a8a21f8340a85ca2cef89c4b1bf5a8953">
compiler/GHC/Tc/Solver/Monad.hs
</a>
</li>
<li class="file-stats">
<a href="#83d23a46bb6cdc8b1edc16f1fd2c8f5c53e2c9ca">
compiler/GHC/Tc/TyCl.hs
</a>
</li>
<li class="file-stats">
<a href="#5ed3ecf19a26af612b8100b2639f8e153f580fe9">
compiler/GHC/Tc/TyCl/Utils.hs
</a>
</li>
<li class="file-stats">
<a href="#7dcf5b567a6cd3c9d98cf8d57323fbca1b1536e9">
compiler/GHC/Tc/Types.hs
</a>
</li>
<li class="file-stats">
<a href="#e2c828ee9e003df518a07b05beaa6971e5c62eb0">
compiler/GHC/Types/Error/Codes.hs
</a>
</li>
<li class="file-stats">
<a href="#523e258f899a29c551e69a88115587d32ba73db1">
docs/users_guide/9.10.1-notes.rst
</a>
</li>
<li class="file-stats">
<a href="#616606d7ec92f17c847240a7bc125e1d8c9c00a1">
docs/users_guide/extending_ghc.rst
</a>
</li>
<li class="file-stats">
<a href="#22747ee7efa549fa01523d0a1c9d283b2bf59c0e">
testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr
</a>
</li>
<li class="file-stats">
<a href="#789a55368e0f168df741977bedd589b37958a116">
testsuite/tests/plugins/Makefile
</a>
</li>
<li class="file-stats">
<a href="#f6829e7e765384baa24b27984168f8950a924d29">
<span class="new-file">
+
testsuite/tests/plugins/T23832.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#4411d2d3b5f6a4beec4344eddfc3f76c7348fb9f">
<span class="new-file">
+
testsuite/tests/plugins/T23832_invalid.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#ba73090b5b179d29da65df3c81863ec9a3783229">
<span class="new-file">
+
testsuite/tests/plugins/T23832_invalid.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#edf9449559ed8525268a11bcea0239ea74921666">
<span class="new-file">
+
testsuite/tests/plugins/T23832_misaligned.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#aeb2a6c3a93f7df90e7bfbaf56f429f986dd7d44">
<span class="new-file">
+
testsuite/tests/plugins/T23832_misaligned.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#0f05347a081689dd671f549d132a6befea34241e">
testsuite/tests/plugins/all.T
</a>
</li>
<li class="file-stats">
<a href="#84302d96e7263ff7af04d035f8a942db27bb9f7d">
testsuite/tests/plugins/defaulting-plugin/DefaultInterference.hs
</a>
</li>
<li class="file-stats">
<a href="#c54ae2b1036caec2f344338a8eac21f41f3dcf47">
<span class="new-file">
+
testsuite/tests/plugins/defaulting-plugin/DefaultInvalid.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#e61d43ef1462a457df8091d3d6726b0acc752400">
testsuite/tests/plugins/defaulting-plugin/DefaultLifted.hs
</a>
</li>
<li class="file-stats">
<a href="#ebecd8a54289160b854babe3b40b573bacd21322">
<span class="new-file">
+
testsuite/tests/plugins/defaulting-plugin/DefaultMisaligned.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#a20c86df3709569ac7810d0b52d2c2faa8a89b33">
<span class="new-file">
+
testsuite/tests/plugins/defaulting-plugin/DefaultMultiParam.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#22ce700ec90856be5ccb2e265194d4302d85967b">
testsuite/tests/plugins/defaulting-plugin/defaulting-plugin.cabal
</a>
</li>
<li class="file-stats">
<a href="#3f58986cfb0c147c0bbbaba955a27f0c12d1abe8">
<span class="new-file">
+
testsuite/tests/profiling/perf/Makefile
</span>
</a>
</li>
<li class="file-stats">
<a href="#b475d9c87b4d8d1b445ca7313ef9dc8ef774b9a0">
<span class="new-file">
+
testsuite/tests/profiling/perf/T23103/all.T
</span>
</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: #737278;">
—
<br>
<a href="https://gitlab.haskell.org/ghc/ghc/-/compare/24049356dcc6388bc4c2a886ac67f571c6be8069...b6f242dd88bcdac051d1c4c962ad2f7146d641ec">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>