<div dir="ltr"><div>The instructions are quite clear. Alas, when I try to reproduce the steps using my home-build compiler (for which I mean set the `with-compiler` in `cabal.project` to the stage2 compiler obtained by Hadrian), I get:</div><div><br></div><div>> cabal new-install --lib aeson<br>Distribution/Client/CmdInstall.hs:(361,18)-(363,72): Non-exhaustive patterns in lambda</div><div><br></div><div>Do you have any idea of what I might be doing wrong?</div><div><br></div><div>Thanks in advance,</div><div>Alejandro<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">El mar., 10 sept. 2019 a las 12:32, Ben Gamari (<<a href="mailto:ben@smart-cactus.org">ben@smart-cactus.org</a>>) escribió:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com" target="_blank">trupill@gmail.com</a>> writes:<br>
<br>
> Dear GHC devs,<br>
> As part of our work in "quick look impredicativity", we would like to test<br>
> whether any package breaks. I've read about "head.hackage" as a way to test<br>
> this fact, but I could not find any information.<br>
><br>
> Could somebody point me in the right direction? If it does not exist yet,<br>
> I'll try to summarize whatever I learn in the wiki for future reference.<br>
><br>
Hi Alejandro,<br>
<br>
Indeed I have a pair of yet-to-be-published blog posts intended to<br>
discuss exactly this. See [1] and [2]. Do let me know if you have any<br>
questions.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
<br>
[1] <a href="https://gitlab.haskell.org/ghc/homepage/merge_requests/16/diffs" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/homepage/merge_requests/16/diffs</a><br>
[2] <a href="https://gitlab.haskell.org/ghc/homepage/merge_requests/29/diffs" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/homepage/merge_requests/29/diffs</a><br>
</blockquote></div>