Hi Ludo, On Mon, 30 Jan 2023 at 22:52, Ludovic Courtès <l...@gnu.org> wrote:
>> What are the performances about this change? Does it improve the >> generation of the cache? Faster or slower? >> >> Or the resulting cache, is it larger or smaller? > > The resulting cache is unchanged and build time should be similar, but > memory usage is slightly reduced: > > https://lists.gnu.org/archive/html/guile-devel/2023-01/msg00013.html Thanks for the pointer. Cool! Cheers, simon
