From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id kDs7IYI6xWMxEAEAbAwnHQ (envelope-from ) for ; Mon, 16 Jan 2023 12:52:34 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id qK5CIII6xWOYcgEAG6o9tA (envelope-from ) for ; Mon, 16 Jan 2023 12:52:34 +0100 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 5075B2519E for ; Mon, 16 Jan 2023 12:52:34 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pHO20-0004AU-CV; Mon, 16 Jan 2023 06:52:04 -0500 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 1pHO1t-0004A2-16 for guix-devel@gnu.org; Mon, 16 Jan 2023 06:51:57 -0500 Received: from mail-wr1-x434.google.com ([2a00:1450:4864:20::434]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pHO1r-0003ca-EA for guix-devel@gnu.org; Mon, 16 Jan 2023 06:51:56 -0500 Received: by mail-wr1-x434.google.com with SMTP id z5so26160901wrt.6 for ; Mon, 16 Jan 2023 03:51:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:message-id:date:references:in-reply-to:subject:cc:to :from:from:to:cc:subject:date:message-id:reply-to; bh=WstXy+VT14NVBOp9q23PyUGLVIooMhROWngHsqozLWw=; b=XdqJdZcFSyh6WNiLd2b090QgvaBIg4MFvbTH8Pa3mxLz5vulHOBW0T7ccjMJZzmkKG 9aJGpU771/aJFQhDM+p8+CjghPwOhL212ggE7gzNo6iiE4uhM9zi39pam6RPYULci4fU 7gLv2YXjEciIl53uGwpTvA0zURjEJBpCFzBPMTBgekCa3pxp/fdK/Pzi1kIAW2MV/Pil Q6Paifw4v/pISUoH8Bu7v9GieJ7RCIBWsYPUIfTj/dMOW9dPB6bJq6HCcO3YNuaKjLBG UfaYGNx0zwHlEjA4+jt2A9vyA1tgqtwjv9jsb+GZ/xGZUVMKox668qG0pfOTyGAAGETE ciSA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:message-id:date:references:in-reply-to:subject:cc:to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=WstXy+VT14NVBOp9q23PyUGLVIooMhROWngHsqozLWw=; b=YcuVX8trBwd06Cc/K1Swu6267yDT55Yu9Eipglkm/tZWnsJW0ytIerVbfZWPw40RZJ UvVcjVHLiPBCdUBUuh7VjE0hnq31beDHlO7eXmHXEHBBvvoCBd0iDSiuf98DTXndSmKq 2xuSE8wx6Gb78sbb5GzO4mR7s5cmCH6LqrklSg8DznRDo+iB0aLI17TyqKeQ6JV9DipU gWTbEv7VLXIyDETnRKAsBgokjVwEL6ywVrRLmNd2cqucVLTRMFx5dbTeZrcX/yMLh06d 5ZoaXSbvxgLxttf4KKpssg4LCDAza3z54pSWPUyhofd5J7L1LKEnEx7u5eVZDHpbvpJN vpPg== X-Gm-Message-State: AFqh2kq9nFxUX2kDtHt8zBv+HkJ+rRczjta50488/8E9tklJmw5C7MwI 9YlHmY0FVm96uw2i+qZzMCM05Cy4GTk= X-Google-Smtp-Source: AMrXdXtERviuYIqQYlwKgorXFGZT31mIDxnIXh1CIvsL1zk5Vxx29jSldlIwciG3wRC5vUi4xxuA8A== X-Received: by 2002:a5d:5d8a:0:b0:242:285:6b36 with SMTP id ci10-20020a5d5d8a000000b0024202856b36mr12426000wrb.2.1673869913122; Mon, 16 Jan 2023 03:51:53 -0800 (PST) Received: from pfiuh07 ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id n10-20020a5d6b8a000000b002425787c5easm26071296wrx.96.2023.01.16.03.51.52 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 16 Jan 2023 03:51:52 -0800 (PST) From: Simon Tournier To: Maxim Cournoyer Cc: guix-devel Subject: Re: Proposed (guix platforms) lookup procedures API change In-Reply-To: <87fscder48.fsf@gmail.com> References: <87fscder48.fsf@gmail.com> Date: Mon, 16 Jan 2023 11:51:35 +0100 Message-ID: <87edruvjk8.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=2a00:1450:4864:20::434; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x434.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-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list 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+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=XdqJdZcF; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gmail.com ARC-Seal: i=1; s=key1; d=yhetil.org; t=1673869954; a=rsa-sha256; cv=none; b=ClwYT9clsKeTjuaY6yMLYxekGCB9I1cKn1s8PxzPigU/PZMcwG+TDNSJCnVPXkXgekn39x iAkThGjuoqNiAFVFNI2hlTaWn0I1blMCeEqv+nZGWerYSeOvEBvTrYKswN9M9CwimavPQs AR0y9Nv6TN8l1pMkiksV6L17Ywc0VRpyJwqm8m6WgvKOJ6o358jWN1eYewFLNLXN0040OC WnIm1KGWaBQtA3sqrGyWUBGNO076NhV4uz530H2hMpQuHO231bjg5zQflFr4dKFDCuQJWm QMLY/gTa72UiliYuVPgw/XSoAz0lX5+XkcYB07UP2jVHaPMnrSe2oJzw5D+ULQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1673869954; 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:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=WstXy+VT14NVBOp9q23PyUGLVIooMhROWngHsqozLWw=; b=MWKb7NcOiA+3nWhM8Wbo46mi6zF2ku96Gmq2HGUZM87xTNHSthjFzw0K2ab2t8l/7ljCAz wHxPaDr/5wuKiIZmqgT7I3S4Y5JEdGqbzmhpGl46biu8bE/G04t95cAU9KtkT3ElLm4H9T ydju5qe27YTSQtXSRBDvOXiS6cjkuz5YQMRwoKBfjR/BU6JSQ/0Kyx47zZD838Dxejp1K1 LRj1ZYYI39xVIW5ZxgAcGyY58DzZIfoVNGWwFhoOqhwu83dUmfb8R1kmHq/TBqwTd0OmQQ e9Njy5VoihF4AJVpf6DXIjOrUmRYQpWkmHFwrAMHQ3bSPzAiqAT24WHAxB/A8Q== X-Migadu-Queue-Id: 5075B2519E X-Migadu-Scanner: scn0.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=XdqJdZcF; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gmail.com X-Migadu-Spam-Score: -6.28 X-Spam-Score: -6.28 X-TUID: 38SkEXXXYM3q Hi Maxim, On ven., 13 janv. 2023 at 22:23, Maxim Cournoyer wrote: > There is currently a proposed change [0] to modify the behavior of the > LOOKUP-PLATFORM-BY-SYSTEM, LOOKUP-PLATFORM-BY-TARGET and > LOOKUP-PLATFORM-BY-TARGET-OR-SYSTEM public procedures from (guix > platforms) that would have them return an exception instead of #f when > no platform could be found. > > [0] https://issues.guix.gnu.org/60802 Good idea. Just to note that the only place using (ice-9 exceptions) is in the module (guix build minetest-build-system). Instead, the exceptions are using SRFI-35 [1]. 1: Cheers, simon