From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Jean Abou Samra Newsgroups: gmane.lisp.guile.user Subject: Re: Breaking hygiene with syntax-rules? Date: Sat, 12 Aug 2023 01:57:42 +0200 Message-ID: References: <4d1a63061435cc0cd5f357cc2795d17844510b52.camel@abou-samra.fr> <87y1iiynzy.fsf@web.de> Mime-Version: 1.0 Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-yxEQwHn4YzwLYXbI9t77" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="35868"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Evolution 3.48.4 (3.48.4-1.fc38) Cc: Walter Lewis , guile-user@gnu.org To: "Dr. Arne Babenhauserheide" Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Sat Aug 12 01:58:01 2023 Return-path: Envelope-to: guile-user@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1qUc13-00099I-4R for guile-user@m.gmane-mx.org; Sat, 12 Aug 2023 01:58:01 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qUc0r-0007ft-VF; Fri, 11 Aug 2023 19:57:49 -0400 Original-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 1qUc0q-0007fW-Ii for guile-user@gnu.org; Fri, 11 Aug 2023 19:57:48 -0400 Original-Received: from mout.kundenserver.de ([217.72.192.74]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qUc0o-0000Jm-QF for guile-user@gnu.org; Fri, 11 Aug 2023 19:57:48 -0400 Original-Received: from [172.20.10.5] ([37.169.53.112]) by mrelayeu.kundenserver.de (mreue106 [212.227.15.184]) with ESMTPSA (Nemesis) id 1MmkfQ-1q2Sis276c-00ju5O; Sat, 12 Aug 2023 01:57:44 +0200 In-Reply-To: <87y1iiynzy.fsf@web.de> X-Provags-ID: V03:K1:pdVr7M+0d3GKoGfQdnUKJjHTC9+pjvPLj/+lCDeAQDhja1hEwn2 f5sWUXJvcpas1LI+QrE1FSjhQGkmv16Fgh9DbJmq0DROM15AG+C3iOiI4kQQpF00V76+VT3 +ZrdI84uGOW8YqIbajt3EGT6fvGDvkeQtcw7IXU3gFN0j5v6S6tDFrvhEskoDYPmfpiHxa9 92u4BpziIUljroBRrvPDg== UI-OutboundReport: notjunk:1;M01:P0:CHEhgFpFqr8=;uE+F6VIc67fKdHdGMRkRZkWOKbb FIDb9IcBitqi9UoM0Rfi2HMfIFzGxs4/DayG5z/LalFGHRKR1UEd4WG4Z7py+J7Q1QIny8bbd Jx96poby3xg5wavw9JyAcwHaYoJJl5niOma2Gx2r99b259H6gSszoDlWiwa0dmpt57TGk+mNg jmOTfsOEm/4NNPEM3/OtIrNYWdcVdrXETFALd9tSfLnEPXHWiI9fz9lo6JnUmqMVED0eL9Ak3 2SA963vl+2r05BiIvJ5Qwm5aS0khwl1T5cYEq4iWDf+603pByIFfjMpqpDb31FhGMIFdxVlSL bMXb802x7V3tZ/MuoAH9W+Urxp79ZJ9ojSXM2p+9Y5H/GYoonnKU72G8Zepe7UDvta7fSfy9h /WR0TxJ5M/w4+SZqNKAiUzVoEzB38zK82bHvEAo/RBbiwZpOB9WFp15HRi6QwpM9qgoTwFeRC UmeRIwTp/W15hmHWVfaqHrlnCHkhOfuHq52LRgWajZIqq7bLjAWHi3D1rU3E2m+/AD2eXNTLl QcMqVdLdmtlqW+33BWmaH9dO5SxrJ++YNVlS8XNe7PjhHKYiovnJgfI3nFzMvN74PEfjilsYn WnOJi2tjUK8TZTnWbLDaHDMkr5JOAywGFz0317gS42Q/pz/WR1Et6E5szAqFdTvoJkB42WqX+ pZGfN9T5lIm6/aMHvjHj8QXbfeys56EOmwUHEwqmAZNQDdPFDsv2Ey0DV1kmN2SJwGnh7VT1r H4SRFHLhnaGL8qlZKU5+7WEDGDhPVX/1RHXrkyaG1nT71VSQZfkIA3TfXLR2vt9O8vsRIJLA Received-SPF: pass client-ip=217.72.192.74; envelope-from=jean@abou-samra.fr; helo=mout.kundenserver.de X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Original-Sender: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.user:19155 Archived-At: --=-yxEQwHn4YzwLYXbI9t77 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Le vendredi 11 ao=C3=BBt 2023 =C3=A0 10:33 +0200, Dr. Arne Babenhauserheide= a =C3=A9crit=C2=A0: >=20 > Jean Abou Samra writes: >=20 > > This is a known limitation in Guile. Please read > > https://www.gnu.org/software/guile/manual/html_node/Hygiene-and-the-Top= _002dLevel.html >=20 > I would not expect that effect from the description, because in >=20 > (define-syntax unhygienic > =C2=A0 (syntax-rules () > =C2=A0=C2=A0=C2=A0 ((_ the-pair fetch) > =C2=A0=C2=A0=C2=A0=C2=A0 (begin > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (define the-head (car the-pair)) > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (define (the-proc) the-head) > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (define (fetch) the-head))))) >=20 > the-head depends on (car the-pair) and the-pair is a variable passed to > the macro. So I would expect this to create different identifiers for > different values of the-pair, just like it creates different identifiers > when instead of (car the-pair) I use fetch (also passed from outside). You're right, that's confusing. I don't have the time to investigate, though. --=-yxEQwHn4YzwLYXbI9t77 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part -----BEGIN PGP SIGNATURE----- iHUEABYKAB0WIQSZ7TKxnKGyBvBjzBmj8PYLiTOX/gUCZNbK9gAKCRCj8PYLiTOX /jJ4AQC5ZGyXBYCihgSn7MJZU9FLTavRgRsQML4Z93Vey+hglAEA3FlXEYb3EJBx HdyLUegXZNTrKIs/2joPdjP47AI+TAI= =N31y -----END PGP SIGNATURE----- --=-yxEQwHn4YzwLYXbI9t77--