<!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;">
Jakob Brünker pushed to branch wip/jakobbruenker/23515 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/362cc8ce1f544e7d36b43f7bc7d639f1c4dc8c79">362cc8ce</a></strong>
<div>
<span> by Jakob Bruenker </span> <i> at 2024-06-01T09:47:51+02: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;'>Draft: Type/data instances: require that the instantiation is determined by the LHS alone (#23515)
Fixes #23515
Co-authored-by: Andrei Borzenkov <andreyborzenkov2002@gmail.com>
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#83d23a46bb6cdc8b1edc16f1fd2c8f5c53e2c9ca">
compiler/GHC/Tc/TyCl.hs
</a>
</li>
<li class="file-stats">
<a href="#4b376aa4141b64c5d8de9b14bd57f8c3d3452537">
libraries/ghc-internal/src/GHC/Internal/Data/Type/Equality.hs
</a>
</li>
<li class="file-stats">
<a href="#750fd012f5322017f86ed30c081eedb7135c67bf">
testsuite/tests/dependent/should_compile/RaeJobTalk.hs
</a>
</li>
<li class="file-stats">
<a href="#8397a1d5a9e73529e15e814ae0653b3c73de30f5">
testsuite/tests/dependent/should_compile/T14991.hs
</a>
</li>
<li class="file-stats">
<a href="#f0423a3f57f781774b19fede62ed126b4f9ed1ee">
testsuite/tests/dependent/should_compile/T15666.hs
</a>
</li>
<li class="file-stats">
<a href="#eacf1ba1e8d08f55e4f087bc4cb9eb51a02e77a5">
testsuite/tests/dependent/should_fail/T11471.hs
</a>
</li>
<li class="file-stats">
<a href="#12aa9857f47ea3d6d3531ed8232d2c32adc15327">
testsuite/tests/dependent/should_fail/T15380.hs
</a>
</li>
<li class="file-stats">
<a href="#c3c0ebe17c88a0c8abf3078ee6aa3fd806310214">
testsuite/tests/dependent/should_fail/T15380.stderr
</a>
</li>
<li class="file-stats">
<a href="#75bdebd707646bce63e1cd5f77c585e825560ba1">
testsuite/tests/ghci/scripts/T6018ghci.script
</a>
</li>
<li class="file-stats">
<a href="#c88f695a77abd84f8778d28477641d052d2e4889">
testsuite/tests/ghci/scripts/T6018ghcifail.script
</a>
</li>
<li class="file-stats">
<a href="#e04fb09b01844ff3d72d86b82c16c4114c19208a">
testsuite/tests/ghci/scripts/T6018ghcifail.stderr
</a>
</li>
<li class="file-stats">
<a href="#3521af247451abde42ab31fdd17d90cb8e7f00ec">
testsuite/tests/ghci/should_fail/T16013.script
</a>
</li>
<li class="file-stats">
<a href="#742581bc447da42bbc346f7d2529e6aa9c77f20c">
testsuite/tests/impredicative/T18126-nasty.hs
</a>
</li>
<li class="file-stats">
<a href="#5c4ade2930bd9d87b21153c3ce0a8b218073fa95">
testsuite/tests/indexed-types/should_compile/ExplicitForAllFams2.hs
</a>
</li>
<li class="file-stats">
<a href="#128911793236652dadd9c17cbc7b7fe84af3caa7">
testsuite/tests/indexed-types/should_compile/GADT1.hs
</a>
</li>
<li class="file-stats">
<a href="#ff6226da566638edf58dfc97d96d63382a61c402">
testsuite/tests/indexed-types/should_compile/GADT11.hs
</a>
</li>
<li class="file-stats">
<a href="#f2c810eed3768258416fd1a97d158b1928314e0e">
testsuite/tests/indexed-types/should_compile/Numerals.hs
</a>
</li>
<li class="file-stats">
<a href="#5336eebb51f28905e4924901effcb9b055504c3f">
testsuite/tests/indexed-types/should_compile/T11715b.hs
</a>
</li>
<li class="file-stats">
<a href="#99b81cb7b87a8259d8a8d9a63267b783221db17e">
testsuite/tests/indexed-types/should_compile/T12522.hs
</a>
</li>
<li class="file-stats">
<a href="#840fdb28c27e11f58522896fe588a79bd7156cbf">
testsuite/tests/indexed-types/should_compile/T13705.hs
</a>
</li>
<li class="file-stats">
<a href="#273f6609ef439c9122a7dc050deaafde72878adb">
testsuite/tests/indexed-types/should_compile/T17405a.hs
</a>
</li>
<li class="file-stats">
<a href="#0e0c71e4cbf58a235b423d67f0a1f3f872c35138">
testsuite/tests/indexed-types/should_compile/T17923.hs
</a>
</li>
<li class="file-stats">
<a href="#3ddcbe2b589c5a10612c5ede936a800e92038962">
testsuite/tests/indexed-types/should_compile/T18065.hs
</a>
</li>
<li class="file-stats">
<a href="#774ad64247700272447ef2c4ccba229ab26f3f45">
testsuite/tests/indexed-types/should_compile/T2219.hs
</a>
</li>
<li class="file-stats">
<a href="#96c59c0a77340bc4985086c61210cc4478539316">
testsuite/tests/indexed-types/should_compile/T2627.hs
</a>
</li>
<li class="file-stats">
<a href="#f31cc8483192a315e329dda9acee70bbfac38fee">
testsuite/tests/indexed-types/should_fail/T12041.hs
</a>
</li>
<li class="file-stats">
<a href="#2de0602c8f14f281b92a6e479ecfd3e2781acf99">
testsuite/tests/indexed-types/should_fail/T13971.hs
</a>
</li>
<li class="file-stats">
<a href="#69edc75f6597d0874498e964811e0c9ea4b7b1ef">
testsuite/tests/indexed-types/should_fail/T13971.stderr
</a>
</li>
<li class="file-stats">
<a href="#922977b8f068c565b177a0bdef9b8d5619683df0">
testsuite/tests/indexed-types/should_fail/T14246.hs
</a>
</li>
<li class="file-stats">
<a href="#cc806ac3266aabbe7eb01f3d9f6346bf8cca056a">
testsuite/tests/indexed-types/should_fail/T14246.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/362cc8ce1f544e7d36b43f7bc7d639f1c4dc8c79">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/362cc8ce1f544e7d36b43f7bc7d639f1c4dc8c79"}}</script>
</p>
</div>
</body>
</html>