<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">Apologies for the long delay before replying to this, I ended up becoming very busy for a couple weeks.</div><br class=""><blockquote type="cite" class="">On Aug 2, 2019, at 02:57, Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" class="">simonpj@microsoft.com</a>> wrote:</blockquote><div><blockquote type="cite" class=""><div class="WordSection1" style="page: WordSection1; caret-color: rgb(0, 0, 0); font-family: Georgia; font-size: 15px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><o:p class=""> </o:p></div><div style="margin: 0cm 0cm 0.0001pt; font-size: 11pt; font-family: Calibri, sans-serif;" class=""><span style="font-size: 11pt;" class="">We should not need to delete solved _</span><i class="" style="font-size: 11pt;">givens</i><span style="font-size: 11pt;" class="">_ from the inert set. We can augment givens with extra facts, but deleting them seems wrong.</span></div></div></blockquote><div><br class=""></div>I agree with this, so no complaints from me about that.<br class=""><span style="font-family: Calibri, sans-serif; font-size: 11pt;" class=""><br class=""></span></div><div><blockquote type="cite" class="">There should be no Derived constraints in the inert set anyway. They should all be in the WantedConstraints passed to runTcPluginsWanted. They were extracted from the inert set, along with the Deriveds, by getUnsolvedInerts in solve_simple_wanteds<br class=""></blockquote><div><br class=""></div>Upon looking at the code more carefully, you’re quite right—I was dead wrong, and typechecker plugins can solve derived constraints just fine. I spent several hours debugging the gory details this evening, and after finding the problem, I realized the bug had already been reported as <a href="https://gitlab.haskell.org/ghc/ghc/issues/16735" class="">issue #16735</a>. A little anticlimactic, but yet another reason to figure out how to build GHC HEAD on my machine (and maybe then I can think about submitting some of the documentation changes, too).</div><div><br class=""></div><div>Thanks again,</div><div>Alexis</div><div><br class=""></div></body></html>