From unknown Sun Jun 15 01:08:41 2025 X-Loop: help-debbugs@gnu.org Subject: bug#66014: Unable to use UUIDs to construct RAID array in mapped-devices Resent-From: Lars Rustand Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 15 Sep 2023 18:56:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 66014 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 66014@debbugs.gnu.org X-Debbugs-Original-To: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.169480414625021 (code B ref -1); Fri, 15 Sep 2023 18:56:01 +0000 Received: (at submit) by debbugs.gnu.org; 15 Sep 2023 18:55:46 +0000 Received: from localhost ([127.0.0.1]:44745 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhDyg-0006VR-QO for submit@debbugs.gnu.org; Fri, 15 Sep 2023 14:55:46 -0400 Received: from lists.gnu.org ([2001:470:142::17]:54186) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qhDXz-0005k9-8G for submit@debbugs.gnu.org; Fri, 15 Sep 2023 14:28:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qhDXn-0003DE-Dr for bug-guix@gnu.org; Fri, 15 Sep 2023 14:27:55 -0400 Received: from mail-lf1-x12a.google.com ([2a00:1450:4864:20::12a]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qhDXl-0008Ru-Ur for bug-guix@gnu.org; Fri, 15 Sep 2023 14:27:55 -0400 Received: by mail-lf1-x12a.google.com with SMTP id 2adb3069b0e04-5007abb15e9so4180492e87.0 for ; Fri, 15 Sep 2023 11:27:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1694802471; x=1695407271; darn=gnu.org; h=content-disposition:mime-version:message-id:subject:to:from:date :from:to:cc:subject:date:message-id:reply-to; bh=b9UpdHM2L8v6x7gqSdAQBRhkLER2OJw9gpMcYEpG0FE=; b=f6LWLcSmM5bXcqMs4CbSxWaZYi9EZBCyqFwbfLAs1LTORnmKdhOpdbtMpCgeQSy1FS HLcZU9ZLbRlItn60B75+TI+yT28iP1Is6D7SdKaQUuB8pjTe+48bbpP4KiorpzrDuDE3 Dwkhs99R5F+EsUoHy55ZPjry9BMmBnzjza02gWZ7Yv2FeDsNzkJ14BtDAW0AFwp1KZpF 67EMcAjvARGafqCMUx58kbqqwke49G8ZGMZRSIXTMZ7cjlgC4iBUSK5JVdHbSvCS/oCo vWmaI07r2k6IuuR+P5edR2gJEBF28B+LK0E/6zz3bEpmoJ8jmO2WjFG0XTL8VD9udsDV tq+A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1694802471; x=1695407271; h=content-disposition:mime-version:message-id:subject:to:from:date :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=b9UpdHM2L8v6x7gqSdAQBRhkLER2OJw9gpMcYEpG0FE=; b=EK2FA7ZVQ9iNtkHakhluss84gUL+7g9uV7kbbycQKgcZ/QmSNXGDFJHd2V1SvJMojv EIHB5zE4L78lNnRdzQ5Jex/5xOewKzVm92qeWSzhmaSo3RJoFITX9OYPdfgu4D/a79RJ FxaArMunnhh1jmz0TVEJ/NFCs8+ICAX9x+iFzTNhp+2eJ6UwdWvBg82o27XZ0jdq3ZUt Cd9Gt0VEZTwMw5KEg67pEW2Pt5lLCXiUNFNs5cbvxZZQo24UeFzeQE+grYQzNCDGY9dj 5UpA1AIwZ/Q3qUFBeyCupnjSJ9xoPcJLH4TSjjCYoZPrIKuIKit/iScSvxnuLHes79kD KMkA== X-Gm-Message-State: AOJu0Yw+qM+zr+AGsAdf0O/eD8Lic38ZwhUo9Ep9VrbZogEzUFBzK7Qq U4KAdyFaQqnMJsgGVfmFzArK1KGjfo8= X-Google-Smtp-Source: AGHT+IFHmHXi8kT57xzFNeStvNNDxS+YvZjLP23ESTs8T79nG0f1LtxmOgW88B1GrkuvxLaMJB+xVg== X-Received: by 2002:a05:6512:3d0e:b0:500:848a:80df with SMTP id d14-20020a0565123d0e00b00500848a80dfmr2910703lfv.66.1694802470971; Fri, 15 Sep 2023 11:27:50 -0700 (PDT) Received: from localhost (78.79-160-60.customer.lyse.net. [79.160.60.78]) by smtp.gmail.com with ESMTPSA id x14-20020a19f60e000000b004ff89a88ef7sm727808lfe.14.2023.09.15.11.27.49 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 15 Sep 2023 11:27:50 -0700 (PDT) Date: Fri, 15 Sep 2023 20:27:32 +0200 From: Lars Rustand Message-ID: MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="6ykd63xbamni3i6a" Content-Disposition: inline Received-SPF: pass client-ip=2a00:1450:4864:20::12a; envelope-from=rustand.lars@gmail.com; helo=mail-lf1-x12a.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-Mailman-Approved-At: Fri, 15 Sep 2023 14:55:41 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --6ykd63xbamni3i6a Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Setting up a RAID array using UUIDs does not work. The following mapped-devices block works: (mapped-devices (list (mapped-device (source (list "/dev/nvme0n1p2" "/dev/nvme1n1p3")) (target "/dev/md0") (type raid-device-mapping)))) But this one fails: (mapped-devices (list (mapped-device (source (list (uuid "a07c54da-eb61-4135-86b8-8791e863e46a") (uuid "c40026af-ace9-47fc-9d3f-4b8d6a2219cb"))) (target "/dev/md0") (type raid-device-mapping)))) The error message I get is guix system: error: #< type: dce bv: #vu8(160 124 84 218 235 97 65 53 134 184 135 145 232 99 228 106)>: invalid G-expression input --6ykd63xbamni3i6a Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQGzBAABCAAdFiEEiiCJ+2D6IxEwRlF4Aitf/nru9hkFAmUEohQACgkQAitf/nru 9hndYAv+K++5gyBVDwyxMdPySk2WBQUGpdgCe/GC0CPtDcWXSNFUwrl5pgziFQC2 I6fMlItg09yneNuVgXAHSMiit8fXVFBJtWjQQbmaTwNTcg0UVdMnollAKb/BxGWv qH4LwXh2qnTuLXr1xh0wEuAXE3mKjnvF0UESs33iws6k5qBTufd4K5j/hXnnylOc UYq+aDfEA1GjnHk00qJVSFg2JdVXcGPafXU5vjq828LdTqz5ltayQRpocMO9wcBI 4J2g36zYvnILLGGI8ZbSu5aXX4fTP+wf746uEcc2ionbKO2g1zfFNigwsilYt1CC cFB+EBMS78iP72MP/VKFELhpFBucClJH2OhgWN+n9J/NNq91fVLvFgY5s3V1jR/Y mQwMcoNXL6s043TosXvZFH+dI5tz9UvpN8L4v4ztuzpUex8tSr1EhJzkSFFz1pPB wvBzyE3yM+U4mXXtmR39++tIJe3Z8k2RgH8wD6OaxkDz+V73J8V1GTzQdDpEcT7J GSy1VMZh =IFZj -----END PGP SIGNATURE----- --6ykd63xbamni3i6a-- From unknown Sun Jun 15 01:08:41 2025 X-Loop: help-debbugs@gnu.org Subject: bug#66014: Unable to use UUIDs to construct RAID array in mapped-devices Resent-From: Csepp Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 18 Sep 2023 12:27:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66014 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Lars Rustand Cc: 66014@debbugs.gnu.org X-Debbugs-Original-Cc: bug-guix@gnu.org, 66014@debbugs.gnu.org Received: via spool by submit@debbugs.gnu.org id=B.169504002030748 (code B ref -1); Mon, 18 Sep 2023 12:27:01 +0000 Received: (at submit) by debbugs.gnu.org; 18 Sep 2023 12:27:00 +0000 Received: from localhost ([127.0.0.1]:52342 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiDLA-0007zs-FF for submit@debbugs.gnu.org; Mon, 18 Sep 2023 08:27:00 -0400 Received: from lists.gnu.org ([2001:470:142::17]:47840) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiDL6-0007zK-1r for submit@debbugs.gnu.org; Mon, 18 Sep 2023 08:26:56 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qiDKs-00061m-DI for bug-guix@gnu.org; Mon, 18 Sep 2023 08:26:42 -0400 Received: from mx1.riseup.net ([198.252.153.129]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qiDKq-0005uo-Q8 for bug-guix@gnu.org; Mon, 18 Sep 2023 08:26:42 -0400 Received: from fews01-sea.riseup.net (fews01-sea-pn.riseup.net [10.0.1.109]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mx1.riseup.net (Postfix) with ESMTPS id 4Rq3ty5QfQzDqRl; Mon, 18 Sep 2023 12:26:34 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1695039999; bh=OrZWE8z5TUA43EQWddcHQdjy7mXplHWIgOglsbuZ6g0=; h=References:From:To:Cc:Subject:Date:In-reply-to:From; b=HqUgF30Z8wr0I3kwTptw5Z4C1t7Ju44sDiX2jjthZ1hLjj+NJPxKsqqz/1aN6yOHC 3Xm+61ttpLHmVKjH0F+QIsiTFQSHaLG6RpCTZfO9zenyZbYPtHoDiqfWRCkRY3WE9r EImAg81n3GNPuZT9OdkhkEEjRrBznoy3GTUBd61M= X-Riseup-User-ID: DD73D51EB4EEC1A6BF5113C9535F23CE59DCF337B397719E32950CC20219F946 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews01-sea.riseup.net (Postfix) with ESMTPSA id 4Rq3tl0PF4zJnD3; Mon, 18 Sep 2023 12:26:22 +0000 (UTC) References: From: Csepp Date: Mon, 18 Sep 2023 14:24:16 +0200 In-reply-to: Message-ID: MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@riseup.net; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Lars Rustand writes: > [[PGP Signed Part:Undecided]] > Setting up a RAID array using UUIDs does not work. > > The following mapped-devices block works: > > (mapped-devices > (list > (mapped-device > (source (list "/dev/nvme0n1p2" "/dev/nvme1n1p3")) > (target "/dev/md0") > (type raid-device-mapping)))) > > But this one fails: > > (mapped-devices > (list > (mapped-device > (source (list (uuid "a07c54da-eb61-4135-86b8-8791e863e46a") (uuid "c40026af-ace9-47fc-9d3f-4b8d6a2219cb"))) > (target "/dev/md0") > (type raid-device-mapping)))) > > The error message I get is guix system: error: #< type: dce bv: #vu8(160 124 84 218 235 97 65 53 134 184 135 145 232 99 228 106)>: invalid G-expression input > > [[End of PGP Signed Part]] Would it be possible to use /dev/disk/by-uuid paths instead of uuid objects for these? I think this big "typeof" based dynamic dispatch that we're using in Scheme is erm, not very robust, to put it mildly. From unknown Sun Jun 15 01:08:41 2025 X-Loop: help-debbugs@gnu.org Subject: bug#66014: Unable to use UUIDs to construct RAID array in mapped-devices Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 18 Sep 2023 21:48:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66014 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Csepp Cc: 66014@debbugs.gnu.org, Lars Rustand Received: via spool by 66014-submit@debbugs.gnu.org id=B66014.169507365311154 (code B ref 66014); Mon, 18 Sep 2023 21:48:01 +0000 Received: (at 66014) by debbugs.gnu.org; 18 Sep 2023 21:47:33 +0000 Received: from localhost ([127.0.0.1]:54852 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiM5d-0002tq-47 for submit@debbugs.gnu.org; Mon, 18 Sep 2023 17:47:33 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:60986) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiM5a-0002tZ-Qe for 66014@debbugs.gnu.org; Mon, 18 Sep 2023 17:47:31 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qiM5L-0005Na-8m; Mon, 18 Sep 2023 17:47:16 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=F8uhmM3AgbxqF0JTbjgCavCIUt7P0ln6YWBTtQ/SVkM=; b=Jcl5fLw8mUVl/GuRW81a W3L3wC6GBTwNwHJwO7x6jCKkL31Rwr0HFfrVbYZ8v6oaj4LyUhjvKPkzkcvg6Ih8YxqGYfHT94cNi GXNl9QPKMgHcflvgqQSNj8lq/s8/ZCM6qwEpMTZP+rxz+XGFfh1sfbKqrq2YlamK+1f9P6sxQRQJy OKy5LJkiIH+52rTeAQ5QZtJvz5n4FcM5jdYGzXWGXJvKGB4WhwqHiQDjnEhS6u5Ik/OX+aBk8WLhi 1pV6sAE3Fg8/BuLcReyb1pjeVQIdqjGWJc7a0xiI1Me3kTyU792RphJ8rLh6sqG8MgKtuzW5CknJh vD7Xx3ybluQePQ==; From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: Date: Mon, 18 Sep 2023 23:47:10 +0200 In-Reply-To: (Csepp's message of "Mon, 18 Sep 2023 14:24:16 +0200") Message-ID: <87ttrrf929.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi, Csepp skribis: > Lars Rustand writes: [...] >> But this one fails: >> >> (mapped-devices >> (list >> (mapped-device >> (source (list (uuid "a07c54da-eb61-4135-86b8-8791e863e46a") (uui= d "c40026af-ace9-47fc-9d3f-4b8d6a2219cb"))) >> (target "/dev/md0") >> (type raid-device-mapping)))) >> >> The error message I get is guix system: error: #< type: dce bv: #v= u8(160 124 84 218 235 97 65 53 134 184 135 145 232 99 228 106)>: invalid G-= expression input >> >> [[End of PGP Signed Part]] > > Would it be possible to use /dev/disk/by-uuid paths instead of uuid > objects for these? Depends: /dev/disk/by-uuid is populated by eudev, which is not running at the time initrd code runs; IOW it=E2=80=99s OK to use /dev/disk/by-uuid = if and only if the mapped device is not =E2=80=9Cneeded for boot=E2=80=9D. > I think this big "typeof" based dynamic dispatch that we're using in > Scheme is erm, not very robust, to put it mildly. Yeah, it=E2=80=99s not great. What would you suggest? Ludo=E2=80=99. From unknown Sun Jun 15 01:08:41 2025 X-Loop: help-debbugs@gnu.org Subject: bug#66014: Unable to use UUIDs to construct RAID array in mapped-devices Resent-From: Csepp Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Tue, 19 Sep 2023 10:56:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66014 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 66014@debbugs.gnu.org, Lars Rustand , Csepp Received: via spool by 66014-submit@debbugs.gnu.org id=B66014.169512093931989 (code B ref 66014); Tue, 19 Sep 2023 10:56:02 +0000 Received: (at 66014) by debbugs.gnu.org; 19 Sep 2023 10:55:39 +0000 Received: from localhost ([127.0.0.1]:55453 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiYO8-0008Jh-IJ for submit@debbugs.gnu.org; Tue, 19 Sep 2023 06:55:38 -0400 Received: from mx1.riseup.net ([198.252.153.129]:44482) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qiYO4-0008JR-Si for 66014@debbugs.gnu.org; Tue, 19 Sep 2023 06:55:27 -0400 Received: from fews02-sea.riseup.net (fews02-sea-pn.riseup.net [10.0.1.112]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mx1.riseup.net (Postfix) with ESMTPS id 4Rqdq24577zDqCR; Tue, 19 Sep 2023 10:55:10 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1695120910; bh=Ku9yvuVVfh9E839CmOGzA0vLjgpiwY7Y1RY+Z8hVRYU=; h=References:From:To:Cc:Subject:Date:In-reply-to:From; b=g4ySPdAr/cA65zv4r5ZpBSwqspKLbLdSQYJaB+v8vulX8iPvxEL6OLbacZXJtPb+n 3EMs3U8mjrNtWK6jxqzYK60Fn/ew9285O5MNcCOzrFKYYvTqJ9hSlEt/0/nKsj/qi6 OmlXMTZ6eXeIZ30h10LFO7z8pIOJlSh8GqrqII2A= X-Riseup-User-ID: A80AE69DE91064838BFD2BB5F893507E8A4A3B1AB06964A0085EDADA343D7D89 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews02-sea.riseup.net (Postfix) with ESMTPSA id 4Rqdq16LbVzFpcD; Tue, 19 Sep 2023 10:55:09 +0000 (UTC) References: <87ttrrf929.fsf@gnu.org> From: Csepp Date: Tue, 19 Sep 2023 12:48:34 +0200 In-reply-to: <87ttrrf929.fsf@gnu.org> Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Ludovic Court=C3=A8s writes: > Hi, > > Csepp skribis: > >> Lars Rustand writes: > > [...] > >>> But this one fails: >>> >>> (mapped-devices >>> (list >>> (mapped-device >>> (source (list (uuid "a07c54da-eb61-4135-86b8-8791e863e46a") (uu= id "c40026af-ace9-47fc-9d3f-4b8d6a2219cb"))) >>> (target "/dev/md0") >>> (type raid-device-mapping)))) >>> >>> The error message I get is guix system: error: #< type: dce bv: #= vu8(160 124 84 218 235 97 65 53 134 184 135 145 232 99 228 106)>: invalid G= -expression input >>> >>> [[End of PGP Signed Part]] >> >> Would it be possible to use /dev/disk/by-uuid paths instead of uuid >> objects for these? > > Depends: /dev/disk/by-uuid is populated by eudev, which is not running > at the time initrd code runs; IOW it=E2=80=99s OK to use /dev/disk/by-uui= d if > and only if the mapped device is not =E2=80=9Cneeded for boot=E2=80=9D. > >> I think this big "typeof" based dynamic dispatch that we're using in >> Scheme is erm, not very robust, to put it mildly. > > Yeah, it=E2=80=99s not great. What would you suggest? > > Ludo=E2=80=99. I guess MyPy-for-Guile is a bit out of scope for now, so the next best way to catch these would be property based testing. As for implementing them, can't we use Guile's generics, or model something on Clojure's generics? Something that lets client code add implementations to an interface. Although that might have some security implications.