From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:53288) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jRLLm-0004MN-Px for guix-patches@gnu.org; Wed, 22 Apr 2020 15:48:03 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.90_1) (envelope-from ) id 1jRLLm-0003oo-EX for guix-patches@gnu.org; Wed, 22 Apr 2020 15:48:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:41797) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jRLLm-0003na-1b for guix-patches@gnu.org; Wed, 22 Apr 2020 15:48:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jRLLl-0006Su-Un for guix-patches@gnu.org; Wed, 22 Apr 2020 15:48:01 -0400 Subject: [bug#40770] [PATCH 0/5] Add declarative profiles Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20200422150641.5267-1-ludo@gnu.org> <877dy7la0m.fsf@gmail.com> Date: Wed, 22 Apr 2020 21:46:56 +0200 In-Reply-To: <877dy7la0m.fsf@gmail.com> (Mathieu Othacehe's message of "Wed, 22 Apr 2020 19:12:41 +0200") Message-ID: <874ktbuwun.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Mathieu Othacehe Cc: 40770@debbugs.gnu.org Hello, Mathieu Othacehe skribis: >> 2. To potentially improve high-level caching in the object cache >> as well as =E2=80=9Cparallelism=E2=80=9D (see ). >> >> Feedback welcome! > > This is really nice and it all looks good to me. Cool, thanks for the quick feedback! > Any reason not to use it in "package-cache-file" to get rid of the > mlet? No good reason, it=E2=80=99s a good candidate. It=E2=80=99ll still be mona= dic though, because of =E2=80=98gexp->derivation-in-inferior=E2=80=99, but perhaps we c= an make that non-monadic as well eventually. Thanks, Ludo=E2=80=99.