bug#53162: ’guix shell ghc@8.4’ downloads ghc@8.10

2022-01-11 Thread Ludovic Courtès
Hi, zimoun skribis: > On Tue, 11 Jan 2022 at 11:18, Ludovic Courtès wrote: > >> Is it a problem that the latest GHC is used to build the package cache? >> (Apart from being surprising and suboptimal.) > > Functionally, it appears to be not a blocking problem. However, > suboptimal means concre

bug#53162: ’guix shell ghc@8.4’ downloads ghc@8.10

2022-01-11 Thread zimoun
Hi, On Tue, 11 Jan 2022 at 11:18, Ludovic Courtès wrote: > Is it a problem that the latest GHC is used to build the package cache? > (Apart from being surprising and suboptimal.) Functionally, it appears to be not a blocking problem. However, suboptimal means concretely 110+ MB of additional d

bug#53162: ’guix shell ghc@8.4’ downloads ghc@8.10

2022-01-11 Thread Ludovic Courtès
Hi, zimoun skribis: >>From the profile.drv, the culprit is identified: > /gnu/store/…-ghc-package-cache.drv, > > Derive > ([("out","/gnu/store/mcmwdg13f5rc9vdklgbmsn6h84bgdp3q-ghc-package-cache","","")] > ,[("/gnu/store/8m7vppxy4l824yk4036iisk2zy7qzgcx-ghc-8.4.4.drv",["out"]) >,("/gnu/store

bug#53162: ’guix shell ghc@8.4’ downloads ghc@8.10

2022-01-10 Thread zimoun
Hi, Using 3dcc74d, I get an unexpected behaviour. First, all expected: --8<---cut here---start->8--- $ guix build ghc@8.10 -n 122,4 MB would be downloaded: /gnu/store/p8rk5cp1p4b2zky4zj1shfqb11qb5nmk-ghc-8.10.7-doc /gnu/store/i92h6i23rnvrvn7xva6w9x7gjklj