<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<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: -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: -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;">
Vladislav Zavialov pushed to branch wip/int-index/visibility-subsumption at <a href="https://gitlab.haskell.org/ghc/ghc" style="color: #1068bf;">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/bf33ed4a8bc01d80f184b4a965d0316ea8c0a435" style="color: #1068bf;">bf33ed4a</a></strong>
<div>
<span> by Vladislav Zavialov </span> <i> at 2023-02-04T13:49:31+03:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "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: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>WIP: Visibility subsumption
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#691eec62dc293d0881c314b38b7363dc88b44c59" style="color: #1068bf;">
compiler/GHC/Core/Map/Type.hs
</a>
</li>
<li class="file-stats">
<a href="#f12e69f869289252159b0af74c2a0b72b429ab3a" style="color: #1068bf;">
compiler/GHC/Core/TyCo/Compare.hs
</a>
</li>
<li class="file-stats">
<a href="#e4b9d5e9d2de37561bfd06a2c97a5c924a1bab76" style="color: #1068bf;">
compiler/GHC/Tc/Errors.hs
</a>
</li>
<li class="file-stats">
<a href="#1dd9c7a6bbc222c976a6ec1c4b772232ae60f7e5" style="color: #1068bf;">
compiler/GHC/Tc/Errors/Ppr.hs
</a>
</li>
<li class="file-stats">
<a href="#cdba811872892f235fe7059df1a6c538fba60816" style="color: #1068bf;">
compiler/GHC/Tc/Errors/Types.hs
</a>
</li>
<li class="file-stats">
<a href="#6a1f039ed7725eddef15dd5f4dc318a3434f26c9" style="color: #1068bf;">
compiler/GHC/Tc/Gen/App.hs
</a>
</li>
<li class="file-stats">
<a href="#9355bef855426caf5f526925edf351b20f9a86c4" style="color: #1068bf;">
compiler/GHC/Tc/Gen/HsType.hs
</a>
</li>
<li class="file-stats">
<a href="#f018e77421f495c6f75733fee4a511cfe57bebe8" style="color: #1068bf;">
compiler/GHC/Tc/Solver/Canonical.hs
</a>
</li>
<li class="file-stats">
<a href="#3b6d78a50c8462304f843b952a88e531718dbbd2" style="color: #1068bf;">
compiler/GHC/Tc/Types/Constraint.hs
</a>
</li>
<li class="file-stats">
<a href="#94c96afe1bb3b771ffbcfeeca34ce43ebbe76ccb" style="color: #1068bf;">
compiler/GHC/Tc/Utils/TcMType.hs
</a>
</li>
<li class="file-stats">
<a href="#74295edeac870ee7f2f3484ebaffab5c948b735a" style="color: #1068bf;">
compiler/GHC/Tc/Utils/Unify.hs
</a>
</li>
<li class="file-stats">
<a href="#e2c828ee9e003df518a07b05beaa6971e5c62eb0" style="color: #1068bf;">
compiler/GHC/Types/Error/Codes.hs
</a>
</li>
<li class="file-stats">
<a href="#4fd5ec5fa4da92b3610e73d7cdd4f64a8352fbfc" style="color: #1068bf;">
testsuite/tests/dependent/should_compile/T11966.hs
</a>
</li>
<li class="file-stats">
<a href="#68f2ac5b93f6f3419a276f246bc9079b13fc9fa5" style="color: #1068bf;">
testsuite/tests/indexed-types/should_compile/T15740a.hs
</a>
</li>
<li class="file-stats">
<a href="#0c6451e07323d7be2b7b3ec700be8f9182232e34" style="color: #1068bf;">
testsuite/tests/saks/should_compile/saks032.hs
</a>
</li>
<li class="file-stats">
<a href="#2aa4d0077ed84ef50ebf5b951f2a4bbea2913052" style="color: #1068bf;">
testsuite/tests/saks/should_fail/T18863a.stderr
</a>
</li>
<li class="file-stats">
<a href="#82a47aff5f3476f4e6cfa1a934e5ddcb179588dc" style="color: #1068bf;">
testsuite/tests/typecheck/should_compile/T15079.hs
</a>
</li>
<li class="file-stats">
<a href="#981298204dd69459518f15cd23d6b1adcf566de5" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T15079_fail_a.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#cf127f0f36b73e2734b211e8ee032b73566cd80c" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T15079_fail_a.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#16f982e8ac0a4370e25a5f45923cd42284d34eaa" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T15079_fail_b.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#542484ad59b38d38ac36f6635f205a86ba195e6f" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T15079_fail_b.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#48ee4bb55454c3e2469649bac2f03f4299792309" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T22648a.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#f72be5b745efa5133be990c49fa248b31a320190" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T22648a.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#0ee8d8a9cfc34881875c734b2a9c46853c5e3cc7" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T22648b.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#c8e82cd02316e6003ac8d87aa32f730db5a811d7" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T22648b.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#bd50a2c5f002f90bb720236995a5e25656d23a73" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T22648c.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#130de052856662bbe4b886789ab124b4ef05293d" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T22648c.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#6da83b3b60202a033535345dff9d5013dd788ebc" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T22648v.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#035893537ba041accebf68356a770bac30b18c70" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T22648v.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#388126409603e4a1e1cfcbcb4345a4860ef44bac" style="color: #1068bf;">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T22648v_ql.hs
</span>
</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: #666;">
—
<br>
<a href="https://gitlab.haskell.org/ghc/ghc/-/commit/bf33ed4a8bc01d80f184b4a965d0316ea8c0a435" style="color: #1068bf;">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" style="color: #1068bf;">gitlab.haskell.org</a>. <a href="https://gitlab.haskell.org/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link" style="color: #1068bf;">Manage all notifications</a> · <a href="https://gitlab.haskell.org/help" target="_blank" rel="noopener noreferrer" class="help-link" style="color: #1068bf;">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/bf33ed4a8bc01d80f184b4a965d0316ea8c0a435"}}</script>
</p>
</div>
</body>
</html>