<!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: 0.875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,0.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,0.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;">
Simon Peyton Jones pushed to branch wip/T24868 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/b092070b87134f9be65e2ca81216653d7f55c43f">b092070b</a></strong>
<div>
<span> by Simon Peyton Jones </span> <i> at 2024-06-02T23:08:21+01: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;'>More substantial wibbles
In particular see tidyType on ForAllTy
Also error recovery for type arguments.
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#0b087d030078c501a74df752a832dd50836eb075">
compiler/GHC/Core/TyCo/Tidy.hs
</a>
</li>
<li class="file-stats">
<a href="#9a73e96e44e832a1552fc6bfd3939464f00823a2">
compiler/GHC/Iface/Tidy/StaticPtrTable.hs
</a>
</li>
<li class="file-stats">
<a href="#6a1f039ed7725eddef15dd5f4dc318a3434f26c9">
compiler/GHC/Tc/Gen/App.hs
</a>
</li>
<li class="file-stats">
<a href="#902811828741e6bcd64702935bbb54edbbd070ef">
compiler/GHC/Tc/Gen/Expr.hs
</a>
</li>
<li class="file-stats">
<a href="#3377164bfe9a1f1a8cfd588703ae1e0ea1e91cf9">
compiler/GHC/Tc/Gen/Match.hs
</a>
</li>
<li class="file-stats">
<a href="#c6e4263ee64c68e57b7525127d98243fce38b1ea">
compiler/GHC/Tc/Utils/Monad.hs
</a>
</li>
<li class="file-stats">
<a href="#6816c5954a025bb59270f70d0a997e605585d801">
compiler/GHC/Types/Name/Occurrence.hs
</a>
</li>
<li class="file-stats">
<a href="#98e2fc9b0cfb5c23d47243169cf8a81e1d3c3618">
testsuite/tests/dependent/should_compile/T15743e.stderr
</a>
</li>
<li class="file-stats">
<a href="#a5663ff306658263ff592a888511495ccec9752f">
testsuite/tests/dependent/should_fail/T16326_Fail4.stderr
</a>
</li>
<li class="file-stats">
<a href="#85e5e1afe48eb7c26105b707131431d93ccc5cd1">
testsuite/tests/dependent/should_fail/T16326_Fail5.stderr
</a>
</li>
<li class="file-stats">
<a href="#4a6cec456b09e70c54661bee6694b4c8df517997">
testsuite/tests/ghci/scripts/T8959.stdout
</a>
</li>
<li class="file-stats">
<a href="#24ca8cd4c0ac4e73381870c51317218146fea7df">
testsuite/tests/indexed-types/should_fail/T13877.stderr
</a>
</li>
<li class="file-stats">
<a href="#a0c3cb520e58f923974d8005ff9f0033b9196c7d">
testsuite/tests/indexed-types/should_fail/T14369.stderr
</a>
</li>
<li class="file-stats">
<a href="#77cb18ed90e3eefb23ea11997a820178418f107b">
testsuite/tests/patsyn/should_fail/T15695.stderr
</a>
</li>
<li class="file-stats">
<a href="#886ca22a4accc898a94d998dc267c12321bce02b">
testsuite/tests/polykinds/T11520.stderr
</a>
</li>
<li class="file-stats">
<a href="#34d37b5ebbb0ce152cb1f63cadad0b0feb50173d">
testsuite/tests/polykinds/T14846.stderr
</a>
</li>
<li class="file-stats">
<a href="#82817dc82c62cf54a7c1028067e38eeb47a6d614">
testsuite/tests/polykinds/T15787.stderr
</a>
</li>
<li class="file-stats">
<a href="#2d4290a407e34ea1c8a51b0e2c3640caf7c7221a">
testsuite/tests/polykinds/T7278.stderr
</a>
</li>
<li class="file-stats">
<a href="#fc100d81c0be142c115740253adf49e5c9fc3a1e">
testsuite/tests/rename/should_fail/rnfail055.stderr
</a>
</li>
<li class="file-stats">
<a href="#596cb8ae944e26eb493e1691c4f4bd875b209c95">
testsuite/tests/rep-poly/RepPolyNPlusK.stderr
</a>
</li>
<li class="file-stats">
<a href="#e4485d3c26f2f910b27367dbf18066d61724c31c">
testsuite/tests/th/T21050.stderr
</a>
</li>
<li class="file-stats">
<a href="#f009aaa16ce7d35916a80df8a5f1b8c4918db44b">
testsuite/tests/typecheck/no_skolem_info/T13499.stderr
</a>
</li>
<li class="file-stats">
<a href="#3fbd69685ea8b28bbaf86b8de16ebf969aa11287">
testsuite/tests/typecheck/no_skolem_info/T20063.stderr
</a>
</li>
<li class="file-stats">
<a href="#08f6d51e025653006970f9c1c538575490c085c4">
testsuite/tests/typecheck/should_compile/T9834.stderr
</a>
</li>
<li class="file-stats">
<a href="#e0bae280c9a14723890aadd29bd4edc4de710e10">
testsuite/tests/typecheck/should_compile/tc214.stderr
</a>
</li>
<li class="file-stats">
<a href="#8380963627debcbf83f5704382dd2f10736de169">
testsuite/tests/typecheck/should_fail/GivenForallLoop.stderr
</a>
</li>
<li class="file-stats">
<a href="#693cb49ef9e7aa9ea6f2fcf10673accf2146c12b">
testsuite/tests/typecheck/should_fail/T10709.stderr
</a>
</li>
<li class="file-stats">
<a href="#45bd935a81a5dbfb229f89f8e31a5d1a00e2fa25">
testsuite/tests/typecheck/should_fail/T10709b.stderr
</a>
</li>
<li class="file-stats">
<a href="#60262e6e3db8d681dae786f407b03cf6aa8a5cf0">
testsuite/tests/typecheck/should_fail/T13909.stderr
</a>
</li>
<li class="file-stats">
<a href="#aaf765c4890991875a8f572c26e8ba11609be052">
testsuite/tests/typecheck/should_fail/T16059c.stderr
</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/-/commit/b092070b87134f9be65e2ca81216653d7f55c43f">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>
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"https://gitlab.haskell.org/ghc/ghc/-/commit/b092070b87134f9be65e2ca81216653d7f55c43f"}}</script>
</p>
</div>
</body>
</html>