<!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>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<h3>
Vladislav Zavialov pushed to branch wip/top-level-kind-signatures
at <a href="https://gitlab.haskell.org/ghc/ghc">Glasgow Haskell Compiler / GHC</a>
</h3>
<h4>
Commits:
</h4>
<ul>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/9a27f4e44822a91f7553847dbaec35e0207064d6">9a27f4e4</a></strong>
<div>
<span>by Vladislav Zavialov</span>
<i>at 2019-05-31T14:25:34Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">TLKSs instead of CUSKs in tests
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/af79e51792e29128c18274ed387cc5a7b37b24c9">af79e517</a></strong>
<div>
<span>by Vladislav Zavialov</span>
<i>at 2019-05-31T16:50:03Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">tlks029 test case (broken)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/e9b1fddc3fd0f33f1056d28b0a7c8e756828b2e8">e9b1fddc</a></strong>
<div>
<span>by Vladislav Zavialov</span>
<i>at 2019-05-31T17:27:54Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix #16722: Lack of PolyKinds validity checking in TLKS kinds
</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#41d8e867d11a729feed79b288f2324fb6d261cf6">
compiler/rename/RnBinds.hs
</a>
</li>
<li class="file-stats">
<a href="#f39c3af3fb50116eacfc5f437ab61dbe27ab59ac">
compiler/rename/RnExpr.hs
</a>
</li>
<li class="file-stats">
<a href="#a55612b2faf1041b010514ceb222ddf75c15a326">
compiler/rename/RnSource.hs
</a>
</li>
<li class="file-stats">
<a href="#80d26d5d3ff0c380bfa505239d3192d66657fe32">
compiler/rename/RnTypes.hs
</a>
</li>
<li class="file-stats">
<a href="#350c4076427c611b8f14e875a4ca553041c2b847">
compiler/typecheck/TcHsType.hs
</a>
</li>
<li class="file-stats">
<a href="#d63779ea4fb560b904fe725321081e8c8c1db362">
testsuite/tests/dependent/should_compile/Dep2.hs
</a>
</li>
<li class="file-stats">
<a href="#40e7b490a922fd38c49713aeda9db6726a81eb4a">
testsuite/tests/dependent/should_compile/DkNameRes.hs
</a>
</li>
<li class="file-stats">
<a href="#42bd20164d734da6255741de59b9e6e89e26b8cb">
testsuite/tests/dependent/should_compile/KindEqualities2.hs
</a>
</li>
<li class="file-stats">
<a href="#a57180bfd4a1eb1d6b908f6179eaa5ba36c21786">
testsuite/tests/dependent/should_compile/RaeBlogPost.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="#992a8ffc7be4b89a8b076eb06c7bd26475e23aae">
testsuite/tests/dependent/should_compile/T11711.hs
</a>
</li>
<li class="file-stats">
<a href="#008b8348f73c128366ef59a7894c6a32a3a763f3">
testsuite/tests/dependent/should_compile/T12176.hs
</a>
</li>
<li class="file-stats">
<a href="#f4c2fcb8b865654ce3ac5ce50e03f6b7000e7047">
testsuite/tests/dependent/should_compile/T12442.hs
</a>
</li>
<li class="file-stats">
<a href="#751fcd49f31dadf859727969be4ae5621caf796b">
testsuite/tests/dependent/should_compile/T14066a.hs
</a>
</li>
<li class="file-stats">
<a href="#7834569025946fcb3582016780722d9c2f996c99">
testsuite/tests/dependent/should_compile/T14066a.stderr
</a>
</li>
<li class="file-stats">
<a href="#47e5c0c6b6d4beba0c842f5cb716577c714a3252">
testsuite/tests/dependent/should_fail/T13780c.hs
</a>
</li>
<li class="file-stats">
<a href="#3fad0d51ae088e0db8f2d3abaeabcab520da107f">
testsuite/tests/dependent/should_fail/T13780c.stderr
</a>
</li>
<li class="file-stats">
<a href="#688fc66cfe87aeff9b468b0082a1b999f0338f2b">
testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot
</a>
</li>
<li class="file-stats">
<a href="#22747ee7efa549fa01523d0a1c9d283b2bf59c0e">
testsuite/tests/indexed-types/should_fail/ClosedFam3.stderr
</a>
</li>
<li class="file-stats">
<a href="#f2e2a35e42947708abc8c087e966102d0f155d78">
testsuite/tests/patsyn/should_compile/T10997_1a.hs
</a>
</li>
<li class="file-stats">
<a href="#085623d9d46d7c48ce3e97d84a0848e477eb3f83">
testsuite/tests/patsyn/should_compile/T12698.hs
</a>
</li>
<li class="file-stats">
<a href="#f8f31653fd3ba8455e96b48153f08b2c6f75c288">
testsuite/tests/polykinds/T10670a.hs
</a>
</li>
<li class="file-stats">
<a href="#d22176fb05a3f6c75b2cc3fe22ccc5c8c89e07d8">
testsuite/tests/polykinds/T11362.hs
</a>
</li>
<li class="file-stats">
<a href="#b8e158b84f9a56910e961b3a15ae6ebf78a5a80c">
testsuite/tests/polykinds/T11480a.hs
</a>
</li>
<li class="file-stats">
<a href="#238dd972e151af328cfe505e555bee4e983a60f2">
testsuite/tests/polykinds/T11520.hs
</a>
</li>
<li class="file-stats">
<a href="#886ca22a4accc898a94d998dc267c12321bce02b">
testsuite/tests/polykinds/T11520.stderr
</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>
</ul>
<h5>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: #777;">
—
<br>
<a href="https://gitlab.haskell.org/ghc/ghc/compare/e1dd326f651c6de65984c23dce4c121ea3090bf1...e9b1fddc3fd0f33f1056d28b0a7c8e756828b2e8">View it on GitLab</a>.
<br>
You're receiving this email because of your account on gitlab.haskell.org.
If you'd like to receive fewer emails, you can
adjust your notification settings.
</p>
</div>
</body>
</html>