<!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/dib-instances 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/78cd11329ce2ed00cbba8a459fe688ccc8f83d13">78cd1132</a></strong>
<div>
<span> by Andrei Borzenkov </span> <i> at 2023-06-15T11:16:11+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;'>Report scoped kind variables at the type-checking phase (#16635)
This patch modifies the renamer to respect ScopedTypeVariables in kind
signatures. This means that kind variables bound by the outermost
`forall` now scope over the type:
type F = '[Right @a @() () :: forall a. Either a ()]
-- ^^^^^^^^^^^^^^^ ^^^
-- in scope here bound here
However, any use of such variables is a type error, because we don't
have type-level lambdas to bind them in Core. This is described in the
new Note [Type variable scoping errors during type check] in GHC.Tc.Types.
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/4a41ba752fddd0c660a66cfd79901c711ee32b9c">4a41ba75</a></strong>
<div>
<span> by Sylvain Henry </span> <i> at 2023-06-15T18:09:15-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;'>JS: testsuite: use correct ticket number
Replace #22356 with #22349 for these tests because #22356 has been fixed
but now these tests fail because of #22349.
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/15f150c8fcbe0c851045e052d700e9718eae3dcf">15f150c8</a></strong>
<div>
<span> by Sylvain Henry </span> <i> at 2023-06-15T18:09:16-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;'>JS: testsuite: update ticket numbers
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/08d8e9efa245e87e9c67da73e0987846865671d6">08d8e9ef</a></strong>
<div>
<span> by Sylvain Henry </span> <i> at 2023-06-15T18:09:16-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;'>JS: more triage
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e8752e125f8b43adffac3b99e02455218828abed">e8752e12</a></strong>
<div>
<span> by Krzysztof Gogolewski </span> <i> at 2023-06-15T18:09:52-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;'>Fix test T18522-deb-ppr
Fixes #23509
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/63d2c67932ed70bc19fd62dcad4763d11af24303">63d2c679</a></strong>
<div>
<span> by Andrei Borzenkov </span> <i> at 2023-06-16T12:04:18+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;'>Type/data instances: require that variables on the RHS are mentioned on the LHS (#23512)
GHC Proposal #425 "Invisible binders in type declarations" restricts the
scope of type and data family instances as follows:
In type family and data family instances, require that every variable
mentioned on the RHS must also occur on the LHS.
For example, here are three equivalent type instance definitions accepted before this patch:
type family F1 a :: k
type instance F1 Int = Any :: j -> j
type family F2 a :: k
type instance F2 @(j -> j) Int = Any :: j -> j
type family F3 a :: k
type instance forall j. F3 Int = Any :: j -> j
- In F1, j is implicitly quantified and it occurs only on the RHS;
- In F2, j is implicitly quantified and it occurs both on the LHS and the RHS;
- In F3, j is explicitly quantified.
Now F1 is rejected with an out-of-scope error, while F2 and F3 continue to be accepted.
</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="#7dd1cd0f6f2164a14c83d9aa564dd32bc30e447a">
compiler/GHC/Rename/Module.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="#56cab10ba9d31c526f47a492a4151a878077dc2d">
docs/users_guide/9.8.1-notes.rst
</a>
</li>
<li class="file-stats">
<a href="#70d78f7f29316fb1af0392ed2f3c0cf53580f746">
libraries/base/jsbits/errno.js
</a>
</li>
<li class="file-stats">
<a href="#c14e882edb9d4b205929f4f71581a2e43ea05852">
rts/js/profiling.js
</a>
</li>
<li class="file-stats">
<a href="#0c359af4d51e5abb6b7aa36d0f035936a0d04adf">
testsuite/tests/backpack/cabal/T15594/all.T
</a>
</li>
<li class="file-stats">
<a href="#5e50838f9ca5d402812d2c060e44c3552681d815">
testsuite/tests/backpack/cabal/T16219/all.T
</a>
</li>
<li class="file-stats">
<a href="#a25d25da9535c7e8c81cd6701fe76ea4b81b74b1">
testsuite/tests/backpack/cabal/T20509/all.T
</a>
</li>
<li class="file-stats">
<a href="#8ef5b43294b0ef703ed202e48eee2af963728530">
testsuite/tests/backpack/cabal/bkpcabal01/all.T
</a>
</li>
<li class="file-stats">
<a href="#83920aed73deb4a4d473dbc760163216be638d67">
testsuite/tests/backpack/cabal/bkpcabal02/all.T
</a>
</li>
<li class="file-stats">
<a href="#4f52c7faf0cef11be679fe5295a31bab5c9ac277">
testsuite/tests/backpack/cabal/bkpcabal03/all.T
</a>
</li>
<li class="file-stats">
<a href="#5d2fe0f4d43a216ab4f3ae05872afac85f5ac3e3">
testsuite/tests/backpack/cabal/bkpcabal04/all.T
</a>
</li>
<li class="file-stats">
<a href="#f7881ba6adb72eb582cfd2691012df0d6d421508">
testsuite/tests/backpack/cabal/bkpcabal05/all.T
</a>
</li>
<li class="file-stats">
<a href="#2a38fa9659090fe88d864a7dd8445066d6b3adea">
testsuite/tests/backpack/cabal/bkpcabal06/all.T
</a>
</li>
<li class="file-stats">
<a href="#2cae59c9b2a8d521d29e47a475bcbbfcffa39337">
testsuite/tests/backpack/cabal/bkpcabal07/all.T
</a>
</li>
<li class="file-stats">
<a href="#310426e46df03f26f023d989d0c5033e58b8dd1d">
testsuite/tests/cabal/T12733/all.T
</a>
</li>
<li class="file-stats">
<a href="#8d19ffbde5f089c1789f426481cfbd612f423eca">
testsuite/tests/cabal/cabal01/all.T
</a>
</li>
<li class="file-stats">
<a href="#5545345680dab0df7bfc60c5ff49c61512d92a6b">
testsuite/tests/cabal/cabal03/all.T
</a>
</li>
<li class="file-stats">
<a href="#5601c34c2daeb9bd2a0411028e68821aafd8927d">
testsuite/tests/cabal/cabal04/all.T
</a>
</li>
<li class="file-stats">
<a href="#e724163dfee3228ce9cd3816f5ade26b52dddaa6">
testsuite/tests/cabal/cabal05/all.T
</a>
</li>
<li class="file-stats">
<a href="#6b835a32377af3d92d17b451f77fa3baa2221b07">
testsuite/tests/cabal/cabal06/all.T
</a>
</li>
<li class="file-stats">
<a href="#39ff1d1234bcad7c53ebfcb2abbad8a0fdf77be9">
testsuite/tests/cabal/cabal08/all.T
</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/b932b26bfbeb15dd6ab2211fbf4a50f150a12dbe...63d2c67932ed70bc19fd62dcad4763d11af24303">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>