<!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>
Richard Eisenberg pushed to branch wip/cfuneqcan-refactor
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/1b043c8862e67a8a1626881752d467217f0fb72f">1b043c88</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:06:37-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Note [Type variable cycles in Givens]
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/49c1ad28877f87bbed8610eeeb123e006c5e3695">49c1ad28</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:06:48-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Handle obscure corner case in canonicalize
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/ef6640843835434874cf287269baccffd5d19b6e">ef664084</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:06:48-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Handle (=>) specially in pure unifier
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/15cb78fe08ea15c7f4efa4b4bd40674422038a34">15cb78fe</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:06:48-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Start deleting stuff. Hooray!
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8bb11f446341b072d34c18d1c60f4cd8490f2503">8bb11f44</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:07:30-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix test output
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f3ac0a75972b2cbb394b314980cc8ffe06f0c828">f3ac0a75</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:07:35-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Delete delete delete !!
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/79dbf2c8c658dbafd942701ebaf88c884f8375fe">79dbf2c8</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:07:36-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">More deleting. Checkpoint before removing FlattenMode
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/008eede8420bc9bb3642bbc6228f23fdbb56e029">008eede8</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:07:36-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Remove FlattenMode
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/56950a021210ac6cd69ce77cd138612e168b93c0">56950a02</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:07:36-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Stopped bumping ctLocDepth in runFlatten
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d9a026e44e4e3446f61d86a7beab12db70a0bc71">d9a026e4</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:07:36-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Finished deleting.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7555fffc299e58be7e0c98806365d8f0aec59cf1">7555fffc</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:07:36-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">A few error message wibbles
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c4836b650403ee4d1ed3d7b75f7ddd533d13685b">c4836b65</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:08:12-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Some small changes, mostly comments.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/de2b37ef8196fb37e8409516ce7aef466a5223c5">de2b37ef</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:08:12-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix #18875 by breaking type variable cycles.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e9d981ec57cb894bba78e2d761e35e6730b89e30">e9d981ec</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-10-27T15:09:07-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Actually add test files
</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#783e5dae6e86931f06700fc088fb7d48c8a07386">
compiler/GHC/Core/Coercion.hs
</a>
</li>
<li class="file-stats">
<a href="#578c7c3857d66d963736ff6742f3433a0e8d01b7">
compiler/GHC/Core/TyCo/Rep.hs
</a>
</li>
<li class="file-stats">
<a href="#84c9d3ba34173297e7d7747e02caa2e004b164fc">
compiler/GHC/Core/Type.hs
</a>
</li>
<li class="file-stats">
<a href="#89a2e0e1a3095c7a42b10f2819049908908080e8">
compiler/GHC/Core/Unify.hs
</a>
</li>
<li class="file-stats">
<a href="#83f745d921da7adb739e81f83e1c07e723e4a789">
compiler/GHC/Tc/Gen/Bind.hs
</a>
</li>
<li class="file-stats">
<a href="#f5efba4115c6981cb7f758f67b351e37479ae329">
compiler/GHC/Tc/Plugin.hs
</a>
</li>
<li class="file-stats">
<a href="#f018e77421f495c6f75733fee4a511cfe57bebe8">
compiler/GHC/Tc/Solver/Canonical.hs
</a>
</li>
<li class="file-stats">
<a href="#81707f1fe21087531cefd70879aa09c2be5c1d22">
compiler/GHC/Tc/Solver/Flatten.hs
</a>
</li>
<li class="file-stats">
<a href="#f639b0b31b7245cb7d34ac190b798f5ec1c7da2e">
compiler/GHC/Tc/Solver/Interact.hs
</a>
</li>
<li class="file-stats">
<a href="#0c6b585a8a21f8340a85ca2cef89c4b1bf5a8953">
compiler/GHC/Tc/Solver/Monad.hs
</a>
</li>
<li class="file-stats">
<a href="#3b6d78a50c8462304f843b952a88e531718dbbd2">
compiler/GHC/Tc/Types/Constraint.hs
</a>
</li>
<li class="file-stats">
<a href="#94c96afe1bb3b771ffbcfeeca34ce43ebbe76ccb">
compiler/GHC/Tc/Utils/TcMType.hs
</a>
</li>
<li class="file-stats">
<a href="#5461e7beeb7ae73d7c01f720cbaa3fa2c5333590">
compiler/GHC/Tc/Utils/TcType.hs
</a>
</li>
<li class="file-stats">
<a href="#74295edeac870ee7f2f3484ebaffab5c948b735a">
compiler/GHC/Tc/Utils/Unify.hs
</a>
</li>
<li class="file-stats">
<a href="#dd371ae45162f3f6617b7e72b34b8b1c7733743f">
testsuite/tests/gadt/T3169.stderr
</a>
</li>
<li class="file-stats">
<a href="#c5e0d0642ca5780e31d3d6f7b51e919a47842e34">
testsuite/tests/gadt/T7293.stderr
</a>
</li>
<li class="file-stats">
<a href="#3776999853107051d8753baa6faed8e35a1166bc">
testsuite/tests/gadt/T7294.stderr
</a>
</li>
<li class="file-stats">
<a href="#224c536b2233af9a8c738a70a1616a109b3e9ced">
<span class="new-file">
+
testsuite/tests/indexed-types/should_compile/GivenLoop.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#344f534534e1418b7146783c94eecdf3d1d4ea71">
testsuite/tests/indexed-types/should_compile/Simple13.hs
</a>
</li>
<li class="file-stats">
<a href="#3a1e925deec3e877a8b43cefe4c8ea2cd0bdf0cf">
<span class="new-file">
+
testsuite/tests/indexed-types/should_compile/T18875.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#58b9bc2ffb1c7d7b545e6aada524a5d53266e95e">
testsuite/tests/indexed-types/should_compile/all.T
</a>
</li>
<li class="file-stats">
<a href="#c33d277bc7033bf035534d04b15c79aa56b36ed0">
<span class="new-file">
+
testsuite/tests/indexed-types/should_fail/Simple13.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#450c4d136f7e999d04363e35060e5ea43ab3aac5">
testsuite/tests/indexed-types/should_fail/T13784.stderr
</a>
</li>
<li class="file-stats">
<a href="#dc57f5e5586552b21c6e5d35950db9b2fea0c09c">
testsuite/tests/indexed-types/should_fail/T2627b.stderr
</a>
</li>
<li class="file-stats">
<a href="#c56892841d9e24c8a74a1d3e16fe8a826d9df69e">
testsuite/tests/indexed-types/should_fail/T4179.stderr
</a>
</li>
<li class="file-stats">
<a href="#74fcdc718db0a9602c62517a6ba22865e5b94ccc">
testsuite/tests/indexed-types/should_fail/T5439.stderr
</a>
</li>
<li class="file-stats">
<a href="#38ad09a14e3f161cd3ce096ffc9f0241284d1a8e">
testsuite/tests/indexed-types/should_fail/T8227.stderr
</a>
</li>
<li class="file-stats">
<a href="#5bc71bc0886d0f8575f09e4641db9cc39e7882c7">
testsuite/tests/partial-sigs/should_compile/T12844.stderr
</a>
</li>
<li class="file-stats">
<a href="#1fd9911bd422ea4464eced9af36c9431a3d05a83">
testsuite/tests/partial-sigs/should_compile/T14715.stderr
</a>
</li>
<li class="file-stats">
<a href="#f6f3fe949a2cbc72ebd9c2a22b3067595b1831a9">
testsuite/tests/polykinds/T14172.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/3cf175e03363960bc603572eaaffbf13c559f0c5...e9d981ec57cb894bba78e2d761e35e6730b89e30">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>