<!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/43273f219cb613f78bdb6f7ccfe2652906f4b7d4">43273f21</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:42-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Bump the # of commits searched for perf baseline
The previous value of 75 meant that a feature branch with
more than 75 commits would get spurious CI passes.
This affects #18692, but does not fix that ticket, because
if a baseline cannot be found, we should fail, not succeed.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/ff788365cf6d72f7752f781537e55ace1098f685">ff788365</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:42-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Start of work in simplifying flattening
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/377155fbe8354e87a53a299de1a9dbf0ae31afd5">377155fb</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:42-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Much work toward simplifying CFunEqCan
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/233c586b7bcddacc2cd705732fbb82dcb18cd3d8">233c586b</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:42-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Canonicalized function equalities.
Now, onto interactions.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/379340ec3a4f878b32f475f9951804cdf15996cf">379340ec</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:42-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">CEqCan, and canonicalization for it
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b1feaa06477cc4c515ff2cf079c4b674d85e9d0f">b1feaa06</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:43-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Main changes done. Now to delete code.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/46fb44c540db0aab3b05566a28549875c7fb6089">46fb44c5</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:43-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Kill off CFunEqCan and CTyEqCan
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/31bcd6776de84f59b1aac0815e5d3cb9811c22b3">31bcd677</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:43-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">It compiles.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8f8898532e125f95e5b90e2ac8587e08307d01db">8f889853</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:44-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Some bugfixing
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/165c9719d2b021f3693f3a792e6696a83cdcbcfa">165c9719</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:44-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Lots of bug fixing
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/01f8d4c00e19d7611d0a670151d75d184743ce38">01f8d4c0</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:44-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Expand synonyms that mention families, obvs
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/b5efbc62f5ac83d017820d04fc5cf50aaba92ed7">b5efbc62</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:44-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Super skolems are really super.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/16cdeafbdd0943c71dd9b97588eee0840ba18422">16cdeafb</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:45-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Another bug bites the dust.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9c1ebefa7268e683c47aa5046249419c1e7f1338">9c1ebefa</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:45-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Put variable on left only when it will unify
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/fe65da9ddfb44c24b2ef8a551b16ade2e1f2da76">fe65da9d</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:45-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Tiny little changes
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d29be56209042332155e841faf1832012dc3d320">d29be562</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:45-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Use built-in axioms for injectivity
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9c448311d6515df314f9d83bd52d3cebfd4a5e99">9c448311</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:45-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Stop loop in solver due to blocked hetero eqs
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6bb90248d0d225eb30efcba137c478ef9f3d7fb1">6bb90248</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:46-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Note [Runaway Derived rewriting]
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/7fc769fee5cf4e0b46140db63d0a78ea1111f71d">7fc769fe</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:46-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Still need to check tyvar/funeq orientation
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/293440aef9a2b6d529e4b37163cb2f46470f3d20">293440ae</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:46-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">More bugfixing
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2e649833546c44e2ce9859ac7ec24f7ff2c40a7e">2e649833</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:46-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Orient FunEq/FunEq correctly wrt occurs-check
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/40dbbe303e9022abb070069988263a38ab84f203">40dbbe30</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:47-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix import
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9b33e7e5c42f01c32211b5fcded92ae796714d99">9b33e7e5</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:47-05: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/22673fae9d743e002b7369d66e83af2eebc281b8">22673fae</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:47-05: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/56376e8c1d6f7d2b2a671a595c0c6708773bf504">56376e8c</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:47-05: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/8689aa3e993ea3a4d86151bd38c2381555cd0658">8689aa3e</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:47-05: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/07f1446b80fd967abd68e35cedfe2e92bda01c2a">07f1446b</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:48-05: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/555fda717a86efb5cfa18e15c7c598466efb9dc5">555fda71</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:48-05: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/58e4e20f159664065439392018ebdeaee582f4cb">58e4e20f</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:48-05: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/e0085e422d2d6dce1e893b8e315f3e3544739f5c">e0085e42</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:48-05: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/4ed3a23041c8d8ede226c78805e26e93f31c8d67">4ed3a230</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:49-05: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/5f6e46bef787024933333b56da45cfe034760b24">5f6e46be</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:49-05: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/e7f685577e6511803b8393255ab9fac076f76783">e7f68557</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:49-05: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/df9704408dbfe2e5f10761d1702200bf2f7db54d">df970440</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:49-05: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/65472b85b98f7c7ec67ea1923bad185cafef91c0">65472b85</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:50-05: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/25e503c3bb7ee40e0985fb4d5fbe2072a5f28128">25e503c3</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:50-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Actually add test files
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/0f542bc8b7daaa5a1053f0f3b1f14af0c961f3b1">0f542bc8</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:50-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Add Detail (7) to the Note
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/676a61a0901c99436f18549307b293537422f978">676a61a0</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:50-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">A few error wibbles
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6fd1d9aef76ae1887f9c10d22e4bbc360b2eec51">6fd1d9ae</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:51-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Don't simplify extra-constraint holes
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3a269ebb5797be5cd70661ffbb76bbd2add12ffa">3a269ebb</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:51-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Subtleties in Note [Instance and Given overlap]
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/522039f5e15aff17c1fa8af3c4bcdfd2b5bc3080">522039f5</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:51-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update Note [TyVar/TyVar orientation]
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/87063ef7f34831c615578c44d4ff9eb435753e5b">87063ef7</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:51-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Actually add tests
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/ed3f94949165a760971468789b9e7964aee8e77b">ed3f9494</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:52-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Do mightMatchLater correctlier.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/726ef3252aa2bb0624ff2f6ed25ace171693e1d3">726ef325</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:52-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Simplify getNoGivenEqs
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d3cbe4cbe238d45a60f332de9a0465bcaaf092dd">d3cbe4cb</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:52-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Simplify code a bit
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cc5ba866fd07c70b84b89aecc7798ece09f90864">cc5ba866</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:53-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Introduce 3-way for ic_given_eqs
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8fa02f7ea879af43e07ee8e381d88289f08362e5">8fa02f7e</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:53-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">test LocalGivenEqs
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/8df67685b24b7ae6e250b5d7ef42640ddd61d0a4">8df67685</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:53-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update commentary about HasGivenEqs
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/dd1e840bf4e5270658c7edca1a0c5ddd46ecf8d8">dd1e840b</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:53-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update notes.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/eb332ec5a5a749f6ab98526c93e6c554ad7c7c12">eb332ec5</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:54-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">More documentation around LocalGivenEqs
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/dc76ece9635c1ea92fa1117c77d06811c8ede918">dc76ece9</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:54-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Rename the flat-cache. Document it, too.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d75bb2090acc524b29094c3d6ddd2a0eece6c159">d75bb209</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:54-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Make EqualCtList into a newtype with NonEmpty
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/fb3dc4ab91219cf36ff76b22eaa6b65cdb020112">fb3dc4ab</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:54-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Remove Note [No FunEq improvement for Givens]
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/410f11158e6b95df308313bba5dfcd6e2f5baa9d">410f1115</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:55-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix compilation errors from rebasing
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5550167d415b2939067d7641d2bf68608f6f3638">5550167d</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:55-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Use DTyConEnv for TcAppMap instead of UDFM
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/455d78412bc63c0a0cb89ccbc7916d988833456f">455d7841</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:55-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Remove mention of CFunEqCan from rebasing
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cc4b8a8301bc0ad4b235914db1e07555de93a662">cc4b8a83</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:55-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix error output
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d814d351abaf46c1908ba34908b8835e8454ad86">d814d351</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:56-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Reimplement flatten_exact_fam_app
Hopefully will be faster?
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/cedd34a18aadebbc561272f9b2c3cb0a4a5636cc">cedd34a1</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:56-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Improve performance
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/6aab20bf8c7cbd731f348bfe6c248c9c7dfd17c5">6aab20bf</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:56-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Don't fail eagerly on runaway Derived instances
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/47ca6411efb049e2bb657f1e37268adbd77ab29e">47ca6411</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:56-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Improve some comments
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5cee98a3fe0d5a051fc9a68b7c6373857419ad2d">5cee98a3</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:57-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Checkpoint before adding filterTM
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/71fa8a4c3f9d122bec86b63dd2f4bac9d22c3ef2">71fa8a4c</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:57-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">remove stale givens from famapp-cache
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/18bee4b61fb82d25d15020598434193a6a73df22">18bee4b6</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:57-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Remove unused parameter
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5bf18684502e58b0014607d57b718cdd84074e38">5bf18684</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:57-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Address points from Hécate.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/758f674f4f7774761019f9930d970ba5c2c867f2">758f674f</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:58-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Reviews on GitLab
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f94ad6692d0a16599002de7f681352488ae1dea0">f94ad669</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:58-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Use tcSplitTyConApp_maybe in can_eq_nc'
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/e3be013e5e529fe63e1da4832c0fb3e8c11500aa">e3be013e</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:58-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Try removing (2b). Let's see what the testsuite says
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1f1bc99bc5c5af789e3911afb5d945885edbe265">1f1bc99b</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:59-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Really remove (2b)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f068d2d45387e2a2588f7899c936b1bd467b372f">f068d2d4</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:59-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">More reactions to reviews
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/68ad1a0a9a46a432d2407669af07e7a483218abf">68ad1a0a</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:59-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Revisit [Prevent unification with type families]
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/61957259a03affda70c4bec245212521e86964fa">61957259</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:09:59-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Don't flatten during instance lookup
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/1bdd864212db8a3a74ebf416ceae34895f8d9a2e">1bdd8642</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:10:00-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Comments, etc., from Friday
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5bf08b61c1abdbc208f5493947e6a9fc574de9bc">5bf08b61</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:10:00-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Make the fast path work without roles
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c73a7e6d6787f7e495c7ede160573a145569b912">c73a7e6d</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:10:00-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Use MCo
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/4112199a2d11975ec1b8a5d52be66aa92caa3df9">4112199a</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:10:00-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Remove unused parameter
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/ebd6e66055f695de625926f77c378076c708da92">ebd6e660</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:10:01-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Add test case
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/a18f2dddfbb68800c8ce2fa18488d2d2e5eca983">a18f2ddd</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2020-11-24T09:10:01-05:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">s/flatten/rewrite`
</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#4fbb1c5f251c38fc01fcde693420ee6d02df7e45">
compiler/GHC/Cmm/Dataflow/Label.hs
</a>
</li>
<li class="file-stats">
<a href="#783e5dae6e86931f06700fc088fb7d48c8a07386">
compiler/GHC/Core/Coercion.hs
</a>
</li>
<li class="file-stats">
<a href="#b0ab2032bd0c006bb9cda1e5433173de35930f53">
compiler/GHC/Core/Coercion.hs-boot
</a>
</li>
<li class="file-stats">
<a href="#f10ed7a2470454dfdd8691a08beba67d8b78ee70">
compiler/GHC/Core/Coercion/Axiom.hs
</a>
</li>
<li class="file-stats">
<a href="#975dc08a8e7942b32d621f617d5a9c1b668601dd">
compiler/GHC/Core/Coercion/Opt.hs
</a>
</li>
<li class="file-stats">
<a href="#91648438362e5a35363d2bb7abb04016dedd7d7e">
compiler/GHC/Core/FamInstEnv.hs
</a>
</li>
<li class="file-stats">
<a href="#5596bb0f228bd2a308c4391df97375ae879430a8">
compiler/GHC/Core/InstEnv.hs
</a>
</li>
<li class="file-stats">
<a href="#e8ff513ccf778ec681682afdca3a5b899745fd60">
compiler/GHC/Core/Map.hs
</a>
</li>
<li class="file-stats">
<a href="#691eec62dc293d0881c314b38b7363dc88b44c59">
compiler/GHC/Core/Map/Type.hs
</a>
</li>
<li class="file-stats">
<a href="#039e8f5676356ef05c90af828aae48aac7296e47">
compiler/GHC/Core/TyCo/FVs.hs
</a>
</li>
<li class="file-stats">
<a href="#578c7c3857d66d963736ff6742f3433a0e8d01b7">
compiler/GHC/Core/TyCo/Rep.hs
</a>
</li>
<li class="file-stats">
<a href="#4aad0050db1a8a20db8bbca149111de99cb299c9">
compiler/GHC/Core/TyCon.hs
</a>
</li>
<li class="file-stats">
<a href="#d1a980a3e0f207c148bb3ab404696977015bcc56">
compiler/GHC/Core/TyCon/Env.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="#2fefe3125c649bc5377b06a7cca18e785855b79c">
compiler/GHC/Data/Bag.hs
</a>
</li>
<li class="file-stats">
<a href="#f4ae6618b39d5ee4af8302b821aa7e38097a84b7">
compiler/GHC/Data/Maybe.hs
</a>
</li>
<li class="file-stats">
<a href="#87e780e9b5d14cf4e8a52bb125fc352fa8a1d4be">
compiler/GHC/Data/TrieMap.hs
</a>
</li>
<li class="file-stats">
<a href="#2e5692f568fd7b67a6b172e2a60469da8392508c">
compiler/GHC/Driver/Flags.hs
</a>
</li>
<li class="file-stats">
<a href="#774d88050336ef660c7a219fb06c480c2fc639bc">
compiler/GHC/Driver/Session.hs
</a>
</li>
<li class="file-stats">
<a href="#c8a27621f82549165d8946ae8e9f467660958059">
compiler/GHC/HsToCore/Monad.hs
</a>
</li>
<li class="file-stats">
<a href="#b2fd0f5f3e0bc9dcc507931c0b7388bf10e925c2">
compiler/GHC/HsToCore/Types.hs
</a>
</li>
<li class="file-stats">
<a href="#90a56cf7f130d66194a6a61cb5f372eb339ab111">
compiler/GHC/Stg/CSE.hs
</a>
</li>
<li class="file-stats">
<a href="#e4b9d5e9d2de37561bfd06a2c97a5c924a1bab76">
compiler/GHC/Tc/Errors.hs
</a>
</li>
<li class="file-stats">
<a href="#83f745d921da7adb739e81f83e1c07e723e4a789">
compiler/GHC/Tc/Gen/Bind.hs
</a>
</li>
<li class="file-stats">
<a href="#9355bef855426caf5f526925edf351b20f9a86c4">
compiler/GHC/Tc/Gen/HsType.hs
</a>
</li>
<li class="file-stats">
<a href="#3ee8be814b6c6727880deab3772e6af922524bf0">
compiler/GHC/Tc/Gen/Pat.hs
</a>
</li>
<li class="file-stats">
<a href="#07389a8f0516c26409d86f6bb651ed00759b5d4c">
compiler/GHC/Tc/Instance/Family.hs
</a>
</li>
<li class="file-stats">
<a href="#f5efba4115c6981cb7f758f67b351e37479ae329">
compiler/GHC/Tc/Plugin.hs
</a>
</li>
<li class="file-stats">
<a href="#54436e21ea530a66a8a71bcc01c836f4740b8f02">
compiler/GHC/Tc/Solver.hs
</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: #666;">
—
<br>
<a href="https://gitlab.haskell.org/ghc/ghc/-/compare/62d06215790ee056fbca69e6724a096bec00f8b0...a18f2dddfbb68800c8ce2fa18488d2d2e5eca983">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>