From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id sIAXCER+CWUGCQAA9RJhRA:P1 (envelope-from ) for ; Tue, 19 Sep 2023 12:56:04 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:4789::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id sIAXCER+CWUGCQAA9RJhRA (envelope-from ) for ; Tue, 19 Sep 2023 12:56:04 +0200 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 2A9D94EFD8 for ; Tue, 19 Sep 2023 12:56:03 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=riseup.net header.s=squak header.b=g4ySPdAr; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=riseup.net (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1695120964; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=UfGFFUy7nVf3NMP/MPYd+dG8gLAG+MxCf47hFzaZODE=; b=L1PPB/yN0LRjVIsNUFMiDXa2fVeJERRYxzT4lHd4sCXbyP2G2dBOeC2tZh1ZB/xO+KTe91 NZynI3hnC8jG3glA8klU39A68PMOQYnKiaY539LWNXx17FKthuItrRFAbtoeN/RYLHXuIN TYqOVEMnhuhtNqihNeCkzKoEUB6abs/Wrcj6oKjlosKzeABaglrGqWSyALgOQAp9usWX1H +AkDMxgpn7hAKhDMVuv7y2w1ak9YbunkE63v0eaaiCDez7I5x9FzHfa6ZJsuWdZzjX5wKk 3scAzJJw69WfwHOji8EUdmjtYSgDvzBG24ZLMLVeUG1vBwE25E31V66Lo1GfJw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=riseup.net header.s=squak header.b=g4ySPdAr; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=riseup.net (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1695120964; a=rsa-sha256; cv=none; b=rGV46JbHOSaA9H4IHtzhemTic+fT3SplnQZTlcbN9IbJGPILqmbWUcJT0GAuPLs3YaTyF7 MiWlUoF7AXqqiRJxiIPm/1CILgg/F8cga5ZwkC5PkaN24E7ycWfmFf6BEKK2dGTx7UaB15 wrpx4ZrqvNhpi0znL2wlvwGrkVMibZD5r0gd53W5Jdos93R5d0v/O1CZyA+ARzUMivzW7R fS2lLXZ+TVuSBYYzI8WoqR9pZTSIln219jNrgbPEo4olmgG4rijyw2EtBPJWhUk4tWRjM1 Mb1TzvnshYTPneTxjDKeJfiduBdN5nYRFpRiUzhCgb9BUjjvnMNDpk5FGeZBjg== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qiYOZ-0007Dw-LZ; Tue, 19 Sep 2023 06:55:55 -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 1qiYOY-0007DK-8g for bug-guix@gnu.org; Tue, 19 Sep 2023 06:55:54 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qiYOY-0008QP-03 for bug-guix@gnu.org; Tue, 19 Sep 2023 06:55:54 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qiYOg-0008Kc-Bl for bug-guix@gnu.org; Tue, 19 Sep 2023 06:56:02 -0400 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: bug-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Scanner: mx1.migadu.com X-Migadu-Spam-Score: 0.29 X-Spam-Score: 0.29 X-Migadu-Queue-Id: 2A9D94EFD8 X-TUID: gutXqz+DLIRc 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.