[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Speeding up “guix pull”: splitting modules
From: |
Andy Wingo |
Subject: |
Re: Speeding up “guix pull”: splitting modules |
Date: |
Mon, 06 Jan 2020 10:11:44 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hi,
Just a couple notes here regarding the concrete questions. I'm sure
there are good solutions but I don't know what they are yet!
On Sun 05 Jan 2020 21:37, Ricardo Wurmus <address@hidden> writes:
> Or could we improve compilation
> times by disabling optimizations?
I think Guix does this already; see %lightweight-optimizations in (guix
build compile).
> Or by marking the modules as declarative and thus unlock more
> optimizations (with Guile 3)?
Not really; the declarative modules optimization only really helps cases
where inlining would help. For package definitions, there's not much to
inline, I don't think. Given that the consideration is compile-time
rather than run-time I would not think that declarative modules would
help.
Andy
- Speeding up “guix pull”: splitting modules, Ricardo Wurmus, 2020/01/05
- Re: Speeding up “guix pull”: splitting modules,
Andy Wingo <=
- Re: Speeding up “guix pull”: splitting modules, zimoun, 2020/01/07
- Re: Speeding up “guix pull”: splitting modules, Gábor Boskovits, 2020/01/07
- Re: Speeding up “guix pull”: splitting modules, zimoun, 2020/01/10
- Re: Speeding up “guix pull”: splitting modules, Gábor Boskovits, 2020/01/10
- Re: Speeding up “guix pull”: splitting modules, zimoun, 2020/01/10
- Re: Speeding up “guix pull”: splitting modules, Ludovic Courtès, 2020/01/11
- Re: Speeding up “guix pull”: splitting modules, zimoun, 2020/01/20
Re: Speeding up “guix pull”: splitting modules, Ludovic Courtès, 2020/01/08