From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id gAjXMZN3q2NAPQEAbAwnHQ (envelope-from ) for ; Tue, 27 Dec 2022 23:54:11 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id KGvCMZN3q2M/QQAA9RJhRA (envelope-from ) for ; Tue, 27 Dec 2022 23:54:11 +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 9013D416F8 for ; Tue, 27 Dec 2022 23:54:11 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pAIpf-0007AW-Qb; Tue, 27 Dec 2022 17:54:03 -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 1pAIpe-0007AN-Q0 for guix-patches@gnu.org; Tue, 27 Dec 2022 17:54:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pAIpe-0001Pe-I1 for guix-patches@gnu.org; Tue, 27 Dec 2022 17:54:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pAIpe-0001fZ-6i for guix-patches@gnu.org; Tue, 27 Dec 2022 17:54:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#60225] [PATCH] records: match-record supports specifying a different variable name. Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 27 Dec 2022 22:54:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 60225 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Attila Lendvai Cc: 60225@debbugs.gnu.org Received: via spool by 60225-submit@debbugs.gnu.org id=B60225.16721816006367 (code B ref 60225); Tue, 27 Dec 2022 22:54:02 +0000 Received: (at 60225) by debbugs.gnu.org; 27 Dec 2022 22:53:20 +0000 Received: from localhost ([127.0.0.1]:56740 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pAIox-0001ed-KA for submit@debbugs.gnu.org; Tue, 27 Dec 2022 17:53:19 -0500 Received: from eggs.gnu.org ([209.51.188.92]:60776) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pAIow-0001eR-CK for 60225@debbugs.gnu.org; Tue, 27 Dec 2022 17:53:18 -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 1pAIor-0001OH-5O; Tue, 27 Dec 2022 17:53:13 -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=hn6ABW5op0MTA0U/a3pviXp443EKAAnqMNmXi7Fchk4=; b=M3sXAkLSQLlJ0e8qf1DP 5xmI6ozKZ6EbLMGAGDihOYuhQbBhgrBq8V8IITh1Q2eM6fnVHuRQZvBcn47RrlgK/Q5uwTShyFg4D oEtNaISWJWbELicUUjmsL1xuoffXLOJoryOl0q+KdFt2h598bTbsrGqwB7UvmpFbmCTeu23M9/cMj Hf4AUiB23FTiJh5QOeIyjDmnmE1KLhMijinIoT6aDT/4S8UeNMEcyLcmtEP6Zg7n57A+/YU5+M6RB dKWFH6LKkClSZGaxA+yao8pfwTYhhem35n5ulC+tDwnJA0VRHa+AAZynvJC7YwmyB/SI+Q25+PpkW QHGdjYkdBdj2JA==; Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201] helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pAIoq-00025W-QH; Tue, 27 Dec 2022 17:53:13 -0500 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20221222021455.18632-1-attila@lendvai.name> <20221222021455.18632-2-attila@lendvai.name> Date: Tue, 27 Dec 2022 23:53:11 +0100 In-Reply-To: <20221222021455.18632-2-attila@lendvai.name> (Attila Lendvai's message of "Wed, 21 Dec 2022 23:14:57 -0300") Message-ID: <87sfh0a27c.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: 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-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=1672181651; a=rsa-sha256; cv=none; b=r7B2YThfHLyWJz5TVVFYbo6RL1GjB5DPk+nKJcEeskKQzab11/bFVx/fAW/ZfciyPOjMDm TRuD2nMeFWQ3sBwckXFs3b7VbaCNsbMkUxMSMjPKxPziw6mJ+QGCJVEQ22HahgKDsnDkWO WmGUB9fowS0wPfPnIH2RcTDaRjB5rA5+3dN2E4YdobptWml8+tuuNU8QnBerdBgy8deSaP aKsGbqJCZbnqXkQlqdDtUQ1nQzkEfYrSFlV0JLLmgwDrW/LXXJ9IfwsYaZgn9IhZEAOTBu bztBFCOIFdCxXM4Nq5Vsy9I9ZAaxdj27fm0XDoqQFV72sOTOa7OsuX25eCDNlg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=M3sXAkLS; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1672181651; 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=hn6ABW5op0MTA0U/a3pviXp443EKAAnqMNmXi7Fchk4=; b=CnccmMy3j+fI+DVBqUJ7LDk7RnOr2VNQuPQA+NEXAg7ERxUYZB0BV/6OYYD0eVOnEpKKEN v+Yt/80pUGgRyjzYvoaWY+pxVU6cONa0HGaeg6kxDRc2ddsl4hryXhpeY3JAXN0usDNiIn vGc9uvfW00LoxvM6+uw0RNFz1RYLj+BVm1S8EMmWQBe2JkmOMLOR3nljDhiSSBs0R+Dzuw PvG2B3/Py+sZJzdanI9Z50IhR7+ZzsM5jVXKzTJbO1yzTwAMczHABOWJHIJVo3LjW9oLD+ SE/uWUkBBK/26naboHZVqmMWNPfESsAHGGNv6G+QOAoqq7wm6cQt+D0TDFVyRg== X-Spam-Score: -2.73 X-Migadu-Queue-Id: 9013D416F8 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=M3sXAkLS; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=gnu.org X-Migadu-Scanner: scn0.migadu.com X-Migadu-Spam-Score: -2.73 X-TUID: zAX0lyHTYOXv Attila Lendvai skribis: > * tests/records.scm ("match-record, syntactic interference"): New failing= test. > --- > > i'm not sure what's going on here, but it looks like a bug to me. [...] > + (let (,@bindings) ; but here it does interfere > + (match-record (foo (second 2)) > + (first second) > + (list first second)))))) This has to do with how macro =E2=80=9Cliterals=E2=80=9D are matched (info = "(guile) Syntax Rules"): A literal matches an input expression if the input expression is an identifier with the same name as the literal, and both are unbound(1). Although literals can be unbound, usually they are bound to allow them to be imported, exported, and renamed. *Note Modules::, for more information on imports and exports. In Guile there are a few standard auxiliary syntax definitions, as specified by R6RS and R7RS: In the example above, the =E2=80=98let=E2=80=99 binding for =E2=80=98second= =E2=80=99 was shadowing the other =E2=80=98second=E2=80=99. (I think this was recently discussed on guix-devel or something.) Ludo=E2=80=99.