<!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;">
Andrei Borzenkov pushed to branch wip/sand-witch/#16635-improve-errors 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/be43743dc054dde320ffca2c3faf6dc018e2edaa">be43743d</a></strong>
<div>
<span> by Andrei Borzenkov </span> <i> at 2023-06-14T21:50:09+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;'>Capture scoped kind variables at type-checking phase (#16635)
Like descibed in new Note [Type variable scoping errors during type check] in
GHC.Tc.Types, I made ScopedTypeVariables work on type level like in
term level.
For now that only means, that the error about kind variables scoped
into type are rejected at the elaboration time, because we can't
generalize the type by adding type-level lambda - we simply have no one.
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#018be522bc4813b147a1525e4f96a7a493207d96">
compiler/GHC/Hs/Type.hs
</a>
</li>
<li class="file-stats">
<a href="#892acbb198a9095c917740d3c1297b56df4e3b7e">
compiler/GHC/Rename/HsType.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="#6b3cd9d1473c3d051b8e6eb1d32fd53ca0c18c62">
compiler/GHC/Tc/Errors/Types/PromotionErr.hs
</a>
</li>
<li class="file-stats">
<a href="#9355bef855426caf5f526925edf351b20f9a86c4">
compiler/GHC/Tc/Gen/HsType.hs
</a>
</li>
<li class="file-stats">
<a href="#4bbaad5c825c2deca295545242420dc8900b93a1">
compiler/GHC/Tc/Types/BasicTypes.hs
</a>
</li>
<li class="file-stats">
<a href="#f021c52a6ccf306e88c9f760b2aee33b180ba341">
compiler/GHC/Tc/Utils/Env.hs
</a>
</li>
<li class="file-stats">
<a href="#e2c828ee9e003df518a07b05beaa6971e5c62eb0">
compiler/GHC/Types/Error/Codes.hs
</a>
</li>
<li class="file-stats">
<a href="#b6f1f47663b8e077329e31f5d22e29eb65f46f84">
testsuite/tests/dependent/should_fail/PromotedClass.stderr
</a>
</li>
<li class="file-stats">
<a href="#ea4f51a976b9743cbc2a92fb997584e05608c827">
testsuite/tests/dependent/should_fail/SelfDep.stderr
</a>
</li>
<li class="file-stats">
<a href="#05e2feaa7ccbd427e12a90d25808ead5ec587c63">
testsuite/tests/dependent/should_fail/T13780a.stderr
</a>
</li>
<li class="file-stats">
<a href="#3fad0d51ae088e0db8f2d3abaeabcab520da107f">
testsuite/tests/dependent/should_fail/T13780c.stderr
</a>
</li>
<li class="file-stats">
<a href="#84a9e9152e6826a35e700395daa5d8d5f934774f">
testsuite/tests/dependent/should_fail/T14845_compile.stderr
</a>
</li>
<li class="file-stats">
<a href="#7987bac656ba4dcf3bab56ac2f9a034479ab9816">
testsuite/tests/dependent/should_fail/T14845_fail1.stderr
</a>
</li>
<li class="file-stats">
<a href="#0d68da4a1b016afa7044d54e309a0c21d2357bfb">
testsuite/tests/dependent/should_fail/T14845_fail2.stderr
</a>
</li>
<li class="file-stats">
<a href="#226bfee1976c3b8338b7e72f0ea442baa4e9e6ed">
testsuite/tests/dependent/should_fail/T15215.stderr
</a>
</li>
<li class="file-stats">
<a href="#998e2a09b9c7e32a28e8591ed0b70b465aae3447">
testsuite/tests/dependent/should_fail/T15245.stderr
</a>
</li>
<li class="file-stats">
<a href="#53c8ab2eb9d83165bff0c7ecf11d063515d210f8">
testsuite/tests/patsyn/should_fail/T11265.stderr
</a>
</li>
<li class="file-stats">
<a href="#a425cd119df1eab4ae9b9e4a6df1c14858e4fe01">
testsuite/tests/patsyn/should_fail/T9161-1.stderr
</a>
</li>
<li class="file-stats">
<a href="#36efc650b12cf34ee36c06ee505fc20b8addd2c5">
testsuite/tests/patsyn/should_fail/T9161-2.stderr
</a>
</li>
<li class="file-stats">
<a href="#0e2373e77f60c05303a652dac0dc8124b4dc205b">
testsuite/tests/polykinds/PolyKinds06.stderr
</a>
</li>
<li class="file-stats">
<a href="#8245e3c7fc848dfa925c8176a9b80063724bc2be">
testsuite/tests/polykinds/PolyKinds07.stderr
</a>
</li>
<li class="file-stats">
<a href="#4fe654cde80c285c95507377dc938e6330fed454">
testsuite/tests/polykinds/T13625.stderr
</a>
</li>
<li class="file-stats">
<a href="#f8ab10616a146dd182068a65c48f39843a06c63a">
testsuite/tests/polykinds/T15116.stderr
</a>
</li>
<li class="file-stats">
<a href="#a79a6d36e40eca2031feaec8be1c4c83c03afa90">
testsuite/tests/polykinds/T15116a.stderr
</a>
</li>
<li class="file-stats">
<a href="#d071ed6b734c1297f37e6ca0743c466bc2915353">
testsuite/tests/polykinds/T5716.stderr
</a>
</li>
<li class="file-stats">
<a href="#17870a2ebdfc52233c2233c9c339f234a9d57989">
testsuite/tests/polykinds/T5716a.stderr
</a>
</li>
<li class="file-stats">
<a href="#eabb7710b78aef4a6d3dc1ad59642f5106ab81d8">
testsuite/tests/polykinds/T6129.stderr
</a>
</li>
<li class="file-stats">
<a href="#b124f8e48574c8e6d122faa72abd0bd74953b502">
testsuite/tests/polykinds/T7433.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/be43743dc054dde320ffca2c3faf6dc018e2edaa">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/be43743dc054dde320ffca2c3faf6dc018e2edaa"}}</script>
</p>
</div>
</body>
</html>