Using head.hackage - ghc-devs - Haskell.org

newer
Can someone help my test my MR on...

Using head.hackage

older
Min closure payload size?

Alejandro Serrano Mena

10 Sep 2019 10 Sep '19

3:55 a.m.

Dear GHC devs, As part of our work in "quick look impredicativity", we would like to test whether any package breaks. I've read about "head.hackage" as a way to test this fact, but I could not find any information. Could somebody point me in the right direction? If it does not exist yet, I'll try to summarize whatever I learn in the wiki for future reference. Thanks in advance, Alejandro

Attachments:

attachment.html (text/html — 525 bytes)

Reply

Sign in to reply online Use email software

Show replies by date

Jan van Brügge

10 Sep 10 Sep

4:47 a.m.

Hi Alejandro, I don't know if this helps, but you can find some documentation in the repo: https://gitlab.haskell.org/ghc/head.hackage#how-to-use Cheers, Jan Am 10. September 2019 09:55:27 MESZ schrieb Alejandro Serrano Mena :

Dear GHC devs, As part of our work in "quick look impredicativity", we would like to test whether any package breaks. I've read about "head.hackage" as a way to test this fact, but I could not find any information.

Could somebody point me in the right direction? If it does not exist yet, I'll try to summarize whatever I learn in the wiki for future reference.

Thanks in advance, Alejandro

-- Diese Nachricht wurde von meinem Android-Gerät mit K-9 Mail gesendet.

Reply

Sign in to reply online Use email software

Ben Gamari

6:32 a.m.

Alejandro Serrano Mena writes:

Dear GHC devs, As part of our work in "quick look impredicativity", we would like to test whether any package breaks. I've read about "head.hackage" as a way to test this fact, but I could not find any information.

Could somebody point me in the right direction? If it does not exist yet, I'll try to summarize whatever I learn in the wiki for future reference.

Hi Alejandro, Indeed I have a pair of yet-to-be-published blog posts intended to discuss exactly this. See [1] and [2]. Do let me know if you have any questions. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/homepage/merge_requests/16/diffs [2] https://gitlab.haskell.org/ghc/homepage/merge_requests/29/diffs

Reply

Sign in to reply online Use email software

Alejandro Serrano Mena

1:17 p.m.

cabal new-install --lib aeson Distribution/Client/CmdInstall.hs:(361,18)-(363,72): Non-exhaustive

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: patterns in lambda Do you have any idea of what I might be doing wrong? Thanks in advance, Alejandro El mar., 10 sept. 2019 a las 12:32, Ben Gamari () escribió:

Alejandro Serrano Mena writes:

...
Dear GHC devs, As part of our work in "quick look impredicativity", we would like to test whether any package breaks. I've read about "head.hackage" as a way to test this fact, but I could not find any information.

Could somebody point me in the right direction? If it does not exist yet, I'll try to summarize whatever I learn in the wiki for future reference.

Hi Alejandro,

Indeed I have a pair of yet-to-be-published blog posts intended to discuss exactly this. See [1] and [2]. Do let me know if you have any questions.

Cheers,

- Ben

[1] https://gitlab.haskell.org/ghc/homepage/merge_requests/16/diffs [2] https://gitlab.haskell.org/ghc/homepage/merge_requests/29/diffs

Reply

Sign in to reply online Use email software

Alejandro Serrano Mena

1:23 p.m.

Note that this only happens with `aeson`, which is the package that the tutorial asks to add to `extra-packages` in 'cabal.project'. El mar., 10 sept. 2019 a las 19:17, Alejandro Serrano Mena (< trupill@gmail.com>) escribió:

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:

...
cabal new-install --lib aeson Distribution/Client/CmdInstall.hs:(361,18)-(363,72): Non-exhaustive patterns in lambda

Do you have any idea of what I might be doing wrong?

Thanks in advance, Alejandro

El mar., 10 sept. 2019 a las 12:32, Ben Gamari () escribió:

...
Alejandro Serrano Mena writes:

...
Dear GHC devs, As part of our work in "quick look impredicativity", we would like to test whether any package breaks. I've read about "head.hackage" as a way to test this fact, but I could not find any information.

Could somebody point me in the right direction? If it does not exist yet, I'll try to summarize whatever I learn in the wiki for future reference.

Hi Alejandro,

Indeed I have a pair of yet-to-be-published blog posts intended to discuss exactly this. See [1] and [2]. Do let me know if you have any questions.

Cheers,

- Ben

[1] https://gitlab.haskell.org/ghc/homepage/merge_requests/16/diffs [2] https://gitlab.haskell.org/ghc/homepage/merge_requests/29/diffs

Reply

Sign in to reply online Use email software

Ben Gamari

11 Sep 11 Sep

8:55 a.m.

Alejandro Serrano Mena writes:

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:

...
cabal new-install --lib aeson Distribution/Client/CmdInstall.hs:(361,18)-(363,72): Non-exhaustive patterns in lambda

Interesting, this sounds like a cabal-install bug. What does cabal-install --version say? Cheers, - Ben

Reply

Sign in to reply online Use email software

Alejandro Serrano Mena

9:10 a.m.

El mié., 11 sept. 2019 a las 14:55, Ben Gamari () escribió:

Alejandro Serrano Mena writes:

...
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:

...
cabal new-install --lib aeson Distribution/Client/CmdInstall.hs:(361,18)-(363,72): Non-exhaustive patterns in lambda

Interesting, this sounds like a cabal-install bug. What does cabal-install --version say?

Here is the output: $ cabal --version cabal-install version 3.0.0.0 compiled using version 3.0.0.0 of the Cabal library Regards, Alejandro

Reply

Sign in to reply online Use email software

Ben Gamari

11:38 a.m.

Alejandro Serrano Mena writes:

El mié., 11 sept. 2019 a las 14:55, Ben Gamari () escribió:

...
Alejandro Serrano Mena writes:

...
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:

...
cabal new-install --lib aeson Distribution/Client/CmdInstall.hs:(361,18)-(363,72): Non-exhaustive patterns in lambda

Interesting, this sounds like a cabal-install bug. What does cabal-install --version say?

Here is the output:

$ cabal --version cabal-install version 3.0.0.0 compiled using version 3.0.0.0 of the Cabal library

Alright, I'm afraid I don't really know what might be going wrong here. Perhaps `cabal new-install --lib lib:aeson` will help? Either way, can you open a cabal-install ticket [1] for this? Cheers, - Ben [1] https://github.com/haskell/cabal/issues

Reply

Sign in to reply online Use email software

2078

Age (days ago)

2079

Last active (days ago)

Download

7 comments

4 participants

tags

participants (4)

Alejandro Serrano Mena
Ben Gamari
Ben Gamari
Jan van Brügge