From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.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 4KjMJxtWyWPFFgEAbAwnHQ (envelope-from ) for ; Thu, 19 Jan 2023 15:39:23 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id ONp1JxtWyWPlfwEAauVa8A (envelope-from ) for ; Thu, 19 Jan 2023 15:39:23 +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 791CA18D31 for ; Thu, 19 Jan 2023 15:39:23 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pIW44-0001Rp-Ov; Thu, 19 Jan 2023 09:38:52 -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 1pIW43-0001O5-UE for guix-devel@gnu.org; Thu, 19 Jan 2023 09:38:52 -0500 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 1pIW43-0007fz-1Q; Thu, 19 Jan 2023 09:38:51 -0500 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=UQZtAGhnttlMGysOiIhFsIzNRlk1jIMkjN3pUGq+gAM=; b=fowTdqT8KK135d/Ivy99 164B9h5jYVeezG5mEaKPCb5P24c/4OYDrOxAfIRiezbmvQ8fPj7TqrFAD0cUpLmeVAd2RY61iOP0X FE7GaTDS/ieli0EoZWpxPeRY9SLH2EhZka3OSnzOioqc7ketc1Uvg7TD3xM6WXnBnnX+RsgeuY4o5 P9RpacoecDiCHYVt1IKrfYmTGYn4Qo5nc9tZyrSWwPwnWJlDDqYNiiuagc2GYGrOXmaiu4hRcKRRE ebgGUgvbPZNw3HD1fKCrPeAnMAD/2rTBJFsUxTUlNRCvPQu3VHV6YcfHnlmp/A1HGN2g+iEAEBDAs HX0DSpMP3uAp1g==; Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pIW42-0000Es-90; Thu, 19 Jan 2023 09:38:50 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Josselin Poiret Cc: Ricardo Wurmus , zimoun , Maxim Cournoyer , Guix Devel , Tobias Geerinckx-Rice , Mathieu Othacehe , Christopher Baines Subject: Re: Exception: srfi-35 vs (ice-9 exceptions (was Re: [bug#60802] [PATCH v2 1/2] platforms: Raise an exception when no suitable platform is found.) References: <20230114041903.7121-2-maxim.cournoyer@gmail.com> <87o7r19ocn.fsf@gnu.org> <87mt6i5q4q.fsf@gmail.com> <864jsq8ch1.fsf@gmail.com> <87bkmyje7v.fsf@elephly.net> <875yd5kk60.fsf@jpoiret.xyz> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: =?utf-8?Q?D=C3=A9cadi?= 30 =?utf-8?Q?Niv=C3=B4se?= an 231 de la =?utf-8?Q?R=C3=A9volution=2C?= jour du Crible X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Thu, 19 Jan 2023 15:38:48 +0100 In-Reply-To: <875yd5kk60.fsf@jpoiret.xyz> (Josselin Poiret's message of "Tue, 17 Jan 2023 20:58:31 +0100") Message-ID: <878rhybnd3.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-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-Seal: i=1; s=key1; d=yhetil.org; t=1674139163; a=rsa-sha256; cv=none; b=tq0lArRPScmuU3SZI+sntaIobR5BTocUqFxTqS17nhjDge8q46OcsGyP0mjriilap2O9cN GtwcfvHs0zaOunRR0Zc7ULU9fUldpZkT+dPmk+oSr2IidL9Wl757VBRr0zk0RtfXkeGvIm 8RSGq4t9UC72gT4v7gfT2FmbhYpliyRonaEV98uPlV5UyHUFO/iTRqyGxR5Y2atEOwhShg 5HfKhJFVzy+fNi9+tUwSFb43Zflruoc+6Ev4KMe/Njha+Z9ERHq9S4dX3MgyLDExovUrkm IsK4cCfEqmE/qEvwRMaw/75zl2kEu/UezccHzHvRSJUabTNigJq5BAV4qYzaiA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gnu.org header.s=fencepost-gnu-org header.b=fowTdqT8; dmarc=pass (policy=none) header.from=gnu.org; 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" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1674139163; 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: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=UQZtAGhnttlMGysOiIhFsIzNRlk1jIMkjN3pUGq+gAM=; b=u1K0cFowUlKlZvbwP9KBnvSYPHh+VuBwG14zMRo9FzbH2xf1aBpGdvb+8+1hYM1HsrnDQx htQnX1SZRz9Ftl7CLMYpJwfJzy9T/b8RWni0AwIv4TStHh5sy6DhmsfKN6QJ3SAAdQux4g GLK5O1CkbKNuSdav054cYreo6A8DiwsA8WiTB7BKWANuQRp2dAH9WgCqYf2a5fMxbTwZsT m7euByb9JXji4tA47gZgwplOeVCr7bBnvwplP8RjUH5sFOu2L0+3mP068nkzN6AVfS/ZUy 7DtuIL/DzInVlVn/LbpaVZkxibB3FCvdyEe7FTo2UdMhwRO10Jd/eGI8Z9TyLQ== X-Spam-Score: -7.90 X-Migadu-Queue-Id: 791CA18D31 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gnu.org header.s=fencepost-gnu-org header.b=fowTdqT8; dmarc=pass (policy=none) header.from=gnu.org; 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" X-Migadu-Scanner: scn0.migadu.com X-Migadu-Spam-Score: -7.90 X-TUID: Afe8mDhOa+2q Hi, Josselin Poiret skribis: > I also don't see how Guix would gain anything from moving > to Guile's native exceptions. However, one thing that would be nice to > have is a description of all such "implementation choices" in Guix, > perhaps in the "Coding style" section of the manual. Having a > definitive reference to what is the current accepted coding style would > probably help newcomers, more than the actual choice of one specifi > implementation over another. Agreed. Let=E2=80=99s add exceptions under =E2=80=9CCoding Style=E2=80=9D,= and if anything else comes to mind, we can add it too! Ludo=E2=80=99.