<!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;">
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/9eecdf33864ddfaa4a6489227ea29a16f7ffdd44">9eecdf33</a></strong>
<div>
<span> by sheaf </span> <i> at 2023-08-28T18:54:06+00: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;'>Remove ScopedTypeVariables => TypeAbstractions
This commit implements [amendment 604](https://github.com/ghc-proposals/ghc-proposals/pull/604/)
to [GHC proposal 448](https://github.com/ghc-proposals/ghc-proposals/pull/448)
by removing the implication of language extensions
ScopedTypeVariables => TypeAbstractions
To limit breakage, we now allow type arguments in constructor patterns
when both ScopedTypeVariables and TypeApplications are enabled, but
we emit a warning notifying the user that this is deprecated behaviour
that will go away starting in GHC 9.12.
Fixes #23776
</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/fadd5b4dcf6fc05e8e7af6716a39f331495e011a">fadd5b4d</a></strong>
<div>
<span> by sheaf </span> <i> at 2023-08-28T18:54:06+00: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;'>.stderr: ScopedTypeVariables =/> TypeAbstractions
This commit accepts testsuite changes for the changes in the previous
commit, which mean that TypeAbstractions is no longer implied by
ScopedTypeVariables.
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#e65e7bbfc24f8830a20082bfc50f6d16e613cbeb">
compiler/GHC/Driver/DynFlags.hs
</a>
</li>
<li class="file-stats">
<a href="#774d88050336ef660c7a219fb06c480c2fc639bc">
compiler/GHC/Driver/Session.hs
</a>
</li>
<li class="file-stats">
<a href="#892acbb198a9095c917740d3c1297b56df4e3b7e">
compiler/GHC/Rename/HsType.hs
</a>
</li>
<li class="file-stats">
<a href="#cfa41b5649933e5b12f7796e9d49b9dd6a0bc59f">
compiler/GHC/Rename/Pat.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="#e2c828ee9e003df518a07b05beaa6971e5c62eb0">
compiler/GHC/Types/Error/Codes.hs
</a>
</li>
<li class="file-stats">
<a href="#d7d35c86311aada5df83d58449aee955eb788db1">
testsuite/tests/dependent/should_compile/T16391a.hs
</a>
</li>
<li class="file-stats">
<a href="#856206d05a886510232c4e34cad7da290d05f4fc">
testsuite/tests/gadt/T19847.hs
</a>
</li>
<li class="file-stats">
<a href="#4c5a74c6e987168a614f669238c36ce909413df3">
testsuite/tests/indexed-types/should_compile/T15352.hs
</a>
</li>
<li class="file-stats">
<a href="#ba09be2eb0877388006eee3b1a1d6de6a2696a9d">
testsuite/tests/indexed-types/should_compile/T16356_Compile1.hs
</a>
</li>
<li class="file-stats">
<a href="#2d5b6a81e4086e0011cb6d669c29d2b92972e436">
testsuite/tests/patsyn/should_compile/T22328.hs
</a>
</li>
<li class="file-stats">
<a href="#e3fdef36c9c7fda8fdab1af2d57f52647b0e218e">
testsuite/tests/patsyn/should_fail/T14507.hs
</a>
</li>
<li class="file-stats">
<a href="#c5dcdcf8c44c0e9fbaa6e593ab15852d5ca15504">
testsuite/tests/patsyn/should_fail/T14507.stderr
</a>
</li>
<li class="file-stats">
<a href="#cd7295d4d8c1fed0098ab1bd39496dd78ee565c6">
testsuite/tests/perf/compiler/CoOpt_Singletons.hs
</a>
</li>
<li class="file-stats">
<a href="#1f404fb56a5a72b29f95645fcd7a7edc69b7671e">
testsuite/tests/polykinds/T11480b.hs
</a>
</li>
<li class="file-stats">
<a href="#5d33ba4b1857005620288d519bea5a35fdb9a20e">
testsuite/tests/polykinds/T11523.hs
</a>
</li>
<li class="file-stats">
<a href="#24e3a3170ad9acf86e6a3c58ed6250d581144829">
testsuite/tests/polykinds/T12055.hs
</a>
</li>
<li class="file-stats">
<a href="#d832a548d7377974160fe1d6cceec58a35e1f297">
testsuite/tests/polykinds/T12055a.hs
</a>
</li>
<li class="file-stats">
<a href="#af30004982845213325d2241de4b85c3b56b3a56">
testsuite/tests/polykinds/T12055a.stderr
</a>
</li>
<li class="file-stats">
<a href="#6555aebd38aff55a0c2465b5549cb5ac7c84184e">
testsuite/tests/polykinds/T16244.hs
</a>
</li>
<li class="file-stats">
<a href="#a6d092704b41ff8df80b557ea834c14d1977fba7">
testsuite/tests/polykinds/T16244.stderr
</a>
</li>
<li class="file-stats">
<a href="#d10e36bb93e2175d95f7104332d1ceb9d423c41a">
testsuite/tests/polykinds/T16245.hs
</a>
</li>
<li class="file-stats">
<a href="#2494151052387a73b9b8f48e3794f3d140450c78">
testsuite/tests/polykinds/T16245.stderr
</a>
</li>
<li class="file-stats">
<a href="#77fc2100dc2b171947a35116d1406c59d055f00e">
testsuite/tests/polykinds/T16245a.hs
</a>
</li>
<li class="file-stats">
<a href="#4bc76c42458634cadc081f7dcafa5ef48ffed34b">
testsuite/tests/polykinds/T16245a.stderr
</a>
</li>
<li class="file-stats">
<a href="#4244155a6dc0294208b0c66d9720a48e779180a8">
testsuite/tests/polykinds/T7224.hs
</a>
</li>
<li class="file-stats">
<a href="#89908b49c35333d3ad5be6d9b93c4f963dde3215">
testsuite/tests/rename/should_compile/T22478a.hs
</a>
</li>
<li class="file-stats">
<a href="#e8290152e7c10041e441f19a97d12a90148d2b8d">
testsuite/tests/rename/should_fail/T22478d.hs
</a>
</li>
<li class="file-stats">
<a href="#903e49fe1cc676e31f6a0c638c4bf66b102e8a54">
testsuite/tests/rename/should_fail/T22478d.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/-/compare/b6903f4d677673b144ec1b7864970961a182715e...fadd5b4dcf6fc05e8e7af6716a39f331495e011a">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>