<!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, "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, -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, -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 master 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/838aaf4b6e7020c87023b2daaee2afe6bca821f5">838aaf4b</a></strong>
<div>
<span> by hainq </span> <i> at 2023-05-24T12:41:19-04:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "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;'>Migrate errors in GHC.Tc.Validity
This patch migrates the error messages in GHC.Tc.Validity to use
the new diagnostic infrastructure.
It adds the constructors:
- TcRnSimplifiableConstraint
- TcRnArityMismatch
- TcRnIllegalInstanceDecl, with sub-datatypes for HasField errors
and fundep coverage condition errors.
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<ul>
<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="#3ee8be814b6c6727880deab3772e6af922524bf0">
compiler/GHC/Tc/Gen/Pat.hs
</a>
</li>
<li class="file-stats">
<a href="#aebe2c3d616f6843166d2657bed048898add6bc9">
compiler/GHC/Tc/Instance/Class.hs
</a>
</li>
<li class="file-stats">
<a href="#1e879f291ac1d1f5e494e0bd8418867afe3d2869">
compiler/GHC/Tc/Instance/FunDeps.hs
</a>
</li>
<li class="file-stats">
<a href="#93bba9b9e0195db135fec54160523a427ea042fd">
compiler/GHC/Tc/Types/Origin.hs
</a>
</li>
<li class="file-stats">
<a href="#1db07ed8cd9bab6b217a8f5a140176d3cb8672fd">
compiler/GHC/Tc/Validity.hs
</a>
</li>
<li class="file-stats">
<a href="#e2c828ee9e003df518a07b05beaa6971e5c62eb0">
compiler/GHC/Types/Error/Codes.hs
</a>
</li>
<li class="file-stats">
<a href="#08ad3874a37fddf9e6ddced93fcb962bb6ebae6c">
testsuite/tests/deriving/should_fail/drvfail015.stderr
</a>
</li>
<li class="file-stats">
<a href="#0e028eb5ed2662b71f3c9c0c9d3702924183da81">
testsuite/tests/ghci/scripts/T22695.stderr
</a>
</li>
<li class="file-stats">
<a href="#2483ae77ac2632ed88a660291762a514f0a8e744">
testsuite/tests/ghci/should_fail/T16013.stderr
</a>
</li>
<li class="file-stats">
<a href="#3f62861c57ceb93a15459df79914af86fa702669">
testsuite/tests/ghci/should_fail/T16287.stderr
</a>
</li>
<li class="file-stats">
<a href="#212ff7c3c95c175fead1f9ebdbdacd5f643d56da">
testsuite/tests/indexed-types/should_compile/T15322.stderr
</a>
</li>
<li class="file-stats">
<a href="#fb772d0b15733dd689ab14ded0fb2ff1175cf63e">
testsuite/tests/indexed-types/should_fail/BadSock.stderr
</a>
</li>
<li class="file-stats">
<a href="#c04c99b31bb2fca889d02c303d74becf718c1b15">
testsuite/tests/indexed-types/should_fail/T2157.stderr
</a>
</li>
<li class="file-stats">
<a href="#988d484444b45a6bf1fb74b737396473c3e17852">
testsuite/tests/indexed-types/should_fail/T9433.stderr
</a>
</li>
<li class="file-stats">
<a href="#d3220f12c036989aa8f86a2eeca3cc68ae3ae526">
testsuite/tests/module/mod41.stderr
</a>
</li>
<li class="file-stats">
<a href="#f04cf1726234abce9d72f48ddca473fed5956399">
testsuite/tests/module/mod42.stderr
</a>
</li>
<li class="file-stats">
<a href="#2ae624a2f33c4bea97462104732becc7bc367128">
testsuite/tests/module/mod43.stderr
</a>
</li>
<li class="file-stats">
<a href="#8f5817d75623bfec231b78deac511d9bec4a97ee">
testsuite/tests/module/mod60.stderr
</a>
</li>
<li class="file-stats">
<a href="#a00c124cf8da637072ea4d1a5c4f7999c79aa4aa">
testsuite/tests/overloadedrecflds/should_fail/all.T
</a>
</li>
<li class="file-stats">
<a href="#784d11ee15c80510ef812689e5c4d2118754168f">
testsuite/tests/overloadedrecflds/should_fail/hasfieldfail03.stderr
</a>
</li>
<li class="file-stats">
<a href="#f140a73fd87accb275ebd3b73f7dbb6d3b349fcc">
<span class="new-file">
+
testsuite/tests/overloadedrecflds/should_fail/hasfieldfail04.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#33edd729f0adf76cced0e36b295ef0f552473d9a">
<span class="new-file">
+
testsuite/tests/overloadedrecflds/should_fail/hasfieldfail04.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#9860a9db345b04f19ee830f7fbaeca20619d04bd">
testsuite/tests/parser/should_fail/ParserNoBinaryLiterals2.stderr
</a>
</li>
<li class="file-stats">
<a href="#02f7e3a427ff27eb89a54d77a5360a7b4bd35b42">
testsuite/tests/parser/should_fail/ParserNoBinaryLiterals3.stderr
</a>
</li>
<li class="file-stats">
<a href="#7cfa0cf056eec17f980320964d33e552d5cc50f0">
testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr
</a>
</li>
<li class="file-stats">
<a href="#a3026d24a70f633a5ae7738386362c88a7be6a02">
testsuite/tests/patsyn/should_fail/T12819.stderr
</a>
</li>
<li class="file-stats">
<a href="#f1c04d3fa014b86cb6ac4511592180236cc09c62">
testsuite/tests/polykinds/T10516.stderr
</a>
</li>
<li class="file-stats">
<a href="#304cabc9adfec06cc0ad1762f6549f4844724233">
testsuite/tests/polykinds/T10570.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/838aaf4b6e7020c87023b2daaee2afe6bca821f5">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/838aaf4b6e7020c87023b2daaee2afe6bca821f5"}}</script>
</p>
</div>
</body>
</html>