From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id CIL9EzbqI2CpOQAA0tVLHw (envelope-from ) for ; Wed, 10 Feb 2021 14:14:14 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id VV7EDzbqI2AoeAAAB5/wlQ (envelope-from ) for ; Wed, 10 Feb 2021 14:14:14 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id CEC84940222 for ; Wed, 10 Feb 2021 14:14:13 +0000 (UTC) Received: from localhost ([::1]:57470 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l9qFw-0001So-Q7 for larch@yhetil.org; Wed, 10 Feb 2021 09:14:12 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:37526) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l9qFm-0001Qy-BJ for guix-patches@gnu.org; Wed, 10 Feb 2021 09:14:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:44259) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1l9qFm-0003Dp-42 for guix-patches@gnu.org; Wed, 10 Feb 2021 09:14:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1l9qFl-00039A-Vd for guix-patches@gnu.org; Wed, 10 Feb 2021 09:14:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#45692] [PATCH 0/4] Even Better ZFS Support on Guix Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 10 Feb 2021 14:14:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 45692 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: raid5atemyhomework Cc: Danny Milosavljevic , "45692@debbugs.gnu.org" <45692@debbugs.gnu.org> Received: via spool by 45692-submit@debbugs.gnu.org id=B45692.161296641812027 (code B ref 45692); Wed, 10 Feb 2021 14:14:01 +0000 Received: (at 45692) by debbugs.gnu.org; 10 Feb 2021 14:13:38 +0000 Received: from localhost ([127.0.0.1]:55805 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l9qFO-00037v-3W for submit@debbugs.gnu.org; Wed, 10 Feb 2021 09:13:38 -0500 Received: from eggs.gnu.org ([209.51.188.92]:47794) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1l9qFK-00037g-IG for 45692@debbugs.gnu.org; Wed, 10 Feb 2021 09:13:37 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:43952) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l9qFF-0002xf-6l; Wed, 10 Feb 2021 09:13:29 -0500 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=42956 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1l9qF8-0005gf-AP; Wed, 10 Feb 2021 09:13:27 -0500 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <2yOs7mxigs8_Vx_yi858pxAkoyXmU8IidizK5grcmX4M92O5QK-_Ywo9nrHMHvzLGj4U7B9ysl26eNbiPmzmeOQsuFvp5VjouVptRfwxKng=@protonmail.com> Date: Wed, 10 Feb 2021 15:13:19 +0100 In-Reply-To: <2yOs7mxigs8_Vx_yi858pxAkoyXmU8IidizK5grcmX4M92O5QK-_Ywo9nrHMHvzLGj4U7B9ysl26eNbiPmzmeOQsuFvp5VjouVptRfwxKng=@protonmail.com> (raid5atemyhomework@protonmail.com's message of "Wed, 06 Jan 2021 15:54:33 +0000") Message-ID: <87zh0c6mf4.fsf_-_@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -2.86 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: CEC84940222 X-Spam-Score: -2.86 X-Migadu-Scanner: scn1.migadu.com X-TUID: /oDju6wA2+vK raid5atemyhomework skribis: > +(define (kernel-builder-configuration->system-entry config) > + "Return the kernel and hurd entries of the 'system' directory." > + (mbegin %store-monad > + (let* ((kernel (kernel-builder-configuration-kernel config)) > + (hurd (kernel-builder-configuration-hurd config)) > + (modules (kernel-builder-configuration-modules config)) > + (kernel (if hurd > + kernel > + (profile > + (content (packages->manifest > + (cons kernel > + (map (lambda (module) > + (if (package? module) > + (package-for-kernel = kernel module) > + module)) > + modules)))) > + (hooks (list linux-module-database)))))) > + (return `(("kernel" ,kernel) > + ,@(if hurd `(("hurd" ,hurd)) '())))))) It may be clearer to avoid =E2=80=98mbegin=E2=80=99 and instead write it th= is way: (define (kernel-builder-configuration-modules config) (let* =E2=80=A6 (with-monad %store-monad (return =E2=80=A6)))) Both work but I find this variant slightly clearer. Ludo=E2=80=99.