<!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>
Marge Bot pushed to branch master
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/53ff2cd0c49735e8f709ac8a5ceab68483eb89df">53ff2cd0</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-03-17T13:46:57Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix #17021 by checking more return kinds
All the details are in new Note [Datatype return kinds] in
TcTyClsDecls.
Test case: typecheck/should_fail/T17021{,b}
typecheck/should_compile/T17021a
Updates haddock submodule
</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#f10ed7a2470454dfdd8691a08beba67d8b78ee70">
compiler/GHC/Core/Coercion/Axiom.hs
</a>
</li>
<li class="file-stats">
<a href="#91648438362e5a35363d2bb7abb04016dedd7d7e">
compiler/GHC/Core/FamInstEnv.hs
</a>
</li>
<li class="file-stats">
<a href="#36a42448a83a9d1f6df8475f03ead2eed199dd8e">
compiler/GHC/Core/Lint.hs
</a>
</li>
<li class="file-stats">
<a href="#89a2e0e1a3095c7a42b10f2819049908908080e8">
compiler/GHC/Core/Unify.hs
</a>
</li>
<li class="file-stats">
<a href="#7a1af22e4c32b9aa6ec708d9d3788e1c4db5da9a">
compiler/GHC/Hs/Utils.hs
</a>
</li>
<li class="file-stats">
<a href="#6bdd5abc649727f2a802bc96ce5c276de19d3726">
compiler/GHC/HsToCore/Expr.hs
</a>
</li>
<li class="file-stats">
<a href="#b402d55a665933a2d571616f57dd6bd465d29ae6">
compiler/typecheck/FamInst.hs
</a>
</li>
<li class="file-stats">
<a href="#350c4076427c611b8f14e875a4ca553041c2b847">
compiler/typecheck/TcHsType.hs
</a>
</li>
<li class="file-stats">
<a href="#4c1af4850cb90ab2963edb06b69b57e87ccdf9c1">
compiler/typecheck/TcInstDcls.hs
</a>
</li>
<li class="file-stats">
<a href="#bdfa0cc139f61d1236abc1598c5d684b43c357f9">
compiler/typecheck/TcTyClsDecls.hs
</a>
</li>
<li class="file-stats">
<a href="#fa050e1532c92b2ffc94692d8b368f3fefa3196d">
docs/users_guide/exts/poly_kinds.rst
</a>
</li>
<li class="file-stats">
<a href="#82817dc82c62cf54a7c1028067e38eeb47a6d614">
testsuite/tests/polykinds/T15787.stderr
</a>
</li>
<li class="file-stats">
<a href="#94006f16e2586478038ae6053923feaa731fae60">
testsuite/tests/polykinds/T7230.stderr
</a>
</li>
<li class="file-stats">
<a href="#eebaa083f4d052acb2c2217a32d24ae93cf70b9e">
testsuite/tests/polykinds/T9222.stderr
</a>
</li>
<li class="file-stats">
<a href="#f07199a6b27405cb65d85b98437997c65be8dbb7">
<span class="new-file">
+
testsuite/tests/typecheck/should_compile/T17021a.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#34fe7bf0e6fbf60effb28393399ba68666593909">
testsuite/tests/typecheck/should_compile/all.T
</a>
</li>
<li class="file-stats">
<a href="#7b995f4c698159e3714e5c00a834a97087d60646">
testsuite/tests/typecheck/should_fail/T12729.hs
</a>
</li>
<li class="file-stats">
<a href="#38eb0b9fdb1773283821b4c44a36ffeae73dfe9c">
testsuite/tests/typecheck/should_fail/T12729.stderr
</a>
</li>
<li class="file-stats">
<a href="#798d7f02ed1104057ae5ac544e44d9da849966e7">
testsuite/tests/typecheck/should_fail/T14048a.stderr
</a>
</li>
<li class="file-stats">
<a href="#377c6dceea298ea0d0549942bab113d6e03ff33c">
testsuite/tests/typecheck/should_fail/T14048b.stderr
</a>
</li>
<li class="file-stats">
<a href="#9c35bde37c560379c8aab4a5c55761ddfbf0d67e">
testsuite/tests/typecheck/should_fail/T14048c.stderr
</a>
</li>
<li class="file-stats">
<a href="#9ba7d30aaa93d8c470617c64d19908b6f941a798">
testsuite/tests/typecheck/should_fail/T15807.stderr
</a>
</li>
<li class="file-stats">
<a href="#b11ea57e1fdb00ae7e227c17d85d5aaf46797af9">
testsuite/tests/typecheck/should_fail/T15883.stderr
</a>
</li>
<li class="file-stats">
<a href="#45f25fd61df2ce92f29266cbb992a1db9c765494">
testsuite/tests/typecheck/should_fail/T16821.stderr
</a>
</li>
<li class="file-stats">
<a href="#6d5a4198d0cf7ff1892d25bf2d2fc639698caede">
testsuite/tests/typecheck/should_fail/T16829a.stderr
</a>
</li>
<li class="file-stats">
<a href="#6207baf175f494141c1d73f60473cf27438e6c23">
testsuite/tests/typecheck/should_fail/T16829b.stderr
</a>
</li>
<li class="file-stats">
<a href="#d91a0eca266fdcb0a4e6ec2996ac263dc8da7ade">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T17021.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#180f886a5584efe29060ed29c6eab1546de51db2">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T17021.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#93241573997dd331af56849b4e41c7abf1f2ca00">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T17021b.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#a9de43cfd203068f73550227f85c13ea98045f8c">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T17021b.stderr
</span>
</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/commit/53ff2cd0c49735e8f709ac8a5ceab68483eb89df">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.
<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/53ff2cd0c49735e8f709ac8a5ceab68483eb89df"}}</script>
</p>
</div>
</body>
</html>