From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andy Wingo Subject: Re: Speeding up =?utf-8?B?4oCcZ3VpeCBwdWxs4oCdOg==?= splitting modules Date: Mon, 06 Jan 2020 10:11:44 +0100 Message-ID: <87a7712blb.fsf@igalia.com> References: <87k1657i7j.fsf@elephly.net> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:52114) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ioOQt-0005sw-An for guix-devel@gnu.org; Mon, 06 Jan 2020 04:12:20 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ioOQr-0001lv-Si for guix-devel@gnu.org; Mon, 06 Jan 2020 04:12:18 -0500 Received: from fanzine.igalia.com ([178.60.130.6]:58320) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ioOQr-0001Il-9n for guix-devel@gnu.org; Mon, 06 Jan 2020 04:12:17 -0500 In-Reply-To: <87k1657i7j.fsf@elephly.net> (Ricardo Wurmus's message of "Sun, 05 Jan 2020 21:37:36 +0100") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Ricardo Wurmus Cc: guix-devel@gnu.org 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 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