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: Inconsistencies with free-identifier=? and bound-identifier=? Date: Fri, 28 Jul 2023 12:08:12 +0200 Message-ID: <5220c556c61f2a2d888231bb974464b252f264d0.camel@abou-samra.fr> References: <008f724d79b871ce1d68121402bbcbcdd25ec270.camel@abou-samra.fr> <87h6ppi4ze.fsf@ngyro.com> <875y65hupe.fsf@ngyro.com> Mime-Version: 1.0 Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-Rw5dU6VZ08xXlMyvRqrR" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="2697"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Evolution 3.48.4 (3.48.4-1.fc38) Cc: guile-user@gnu.org To: Timothy Sample Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Fri Jul 28 12:11:09 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 1qPKRA-0000Ws-TG for guile-user@m.gmane-mx.org; Fri, 28 Jul 2023 12:11:08 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qPKOW-0004Vc-BV; Fri, 28 Jul 2023 06:08:24 -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 1qPKOU-0004UU-FZ for guile-user@gnu.org; Fri, 28 Jul 2023 06:08:22 -0400 Original-Received: from mout.kundenserver.de ([212.227.17.13]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qPKOS-0002fV-CN for guile-user@gnu.org; Fri, 28 Jul 2023 06:08:22 -0400 Original-Received: from [172.20.10.5] ([37.168.102.166]) by mrelayeu.kundenserver.de (mreue107 [212.227.15.184]) with ESMTPSA (Nemesis) id 1MsIfc-1pa7Ph0nCU-00th8L; Fri, 28 Jul 2023 12:08:15 +0200 In-Reply-To: <875y65hupe.fsf@ngyro.com> X-Provags-ID: V03:K1:WTzX6YuIvWVYWrgtCnOaOE/oJw3BpJAeUo0w37DIZslyzvnlAK5 bMKGaLW7Hhz4xas4U2MEBi9jeFaZbidBWrEpyMD6RX5gKB1t3yX4mrNfOKzz8jsTgJ61r1q mnECy3YkT+oI5t2AlK58/+mVXjf6pNm0PgWw1HlciTholXmE4mcOLrZK7wB8spS9318cel6 yQJygf5VdVjPlXQQLCPCg== UI-OutboundReport: notjunk:1;M01:P0:8FiXWBSBAqQ=;8vs48QN11tsp+YkCRcQxnsHz9xq lEcPka+HURq5dgua+ntD9eoo5OYWgbK/RBcr7GWqfJ3TpK+q7sN5KRTcyWMB541lukwO8x6AI rsGmXMqZZwxU/F1KD/dfn6f882PSqVsmRcCU6xNwYLaDLDPN5TtrS1+Qa3lLgSv7u7mf19xFk UOiEOw7L20OFUDBHvrVkI1lYdHDrxdYKDinHJFy/eiY7BM0AG7bzz9PMTHAvsEjGoFO70eWSb JRerOxMOZH0b+KEfbJDuDLZ1jbeBdub5PzxPSHRTQcfYenNKFIrcOFA+y8GizkkB++h0OILsu r+0Qr4T0qUcKSFa+O07949ayUVrMcg0l6WfDV8EyN2rZ1iSoHEXbRNnueaC/G+Djv8eorpi6m sY2pfnE/ygrVixuoJb+qpDkDde79NRBisZM6UpPCcH6Dp4drDW6ZP0zvk4p7E5CBKtcGYO9u/ Vn0z6U4davkdHTExQ1E/+xWWTbX1NJsYN/aoMbeCvnYQgPqa+XgxPl5GfXRx8VqNp+H/5IQIU wvhr4ypZPdEdHbtCtMS12aslrpIHuIbvnq5HTJOkhpD8HpTTFfRn30vN9crBYGlL/JprH5py9 YQxHvgOBLQtEK1lB5ItInBUXvevUzrGu217BRbc4vWBHeDTYqVNNKh8gq699ODMO7gF5VT2oc hHKrg4rrjawbqwuCSTcaAQUCfTkCgl67e5v0G7+A61DQ5e4177SzQWs26FodRTKBxwWLqmp7Q 9YE/yqGsnlb0Bxg/wCto2KS6PN61skiNAFk4fJwMkd0GIohaLcViGJBgCZ2/9Jl5Bv7FIpIj Received-SPF: pass client-ip=212.227.17.13; envelope-from=jean@abou-samra.fr; helo=mout.kundenserver.de X-Spam_score_int: 1 X-Spam_score: 0.1 X-Spam_bar: / X-Spam_report: (0.1 / 5.0 requ) BAYES_00=-1.9, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URI_DOTEDU=1, URI_DOTEDU_ENTITY=1 autolearn=no 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:19108 Archived-At: --=-Rw5dU6VZ08xXlMyvRqrR Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Le jeudi 27 juillet 2023 =C3=A0 16:10 -0600, Timothy Sample a =C3=A9crit=C2= =A0: > A quick follow-up. >=20 > Timothy Sample writes: >=20 > > Lastly, you should read section 3.1 of =E2=80=9CBinding as Sets of Scop= es=E2=80=9D: > >=20 > > =C2=A0=C2=A0=C2=A0 > > https://www-old.cs.utah.edu/plt/scope-sets/general-macros.html#%28part.= _.Identifier_.Comparisons_with_.Scope_.Sets%29 > >=20 > > It shows that =E2=80=98bound-identifier=3D?=E2=80=99 gives false negati= ves in both > > sets-of-scopes and marks-and-substitutions hygiene systems.=C2=A0 (I di= dn=E2=80=99t > >=20 > > test that example or anything, but I thought it fit the theme of > > identifier predicate arcana pretty well.) >=20 > Actually, read section 3.2.=C2=A0 It covers your example exactly.=C2=A0 D= iscussing > the example >=20 > > (free-identifier=3D? (let ([x 1]) #'x) > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 #'x) >=20 > it says, >=20 > > Note: Racket=E2=80=99s macro system matches Dybvig et al. (1993), where= both > > free-identifier=3D? and bound-identifier=3D? produce #f for the above > > arguments, and bound-identifier=3D? always implies > > free-identifier=3D?. The current psyntax implementation, as used by Che= z > > Scheme and other implementations and as consistent with Adams (2015), > > produces #f and #t for free-identifier=3D? and bound-identifier=3D?, > > respectively; as the example illustrates, bound-identifier=3D? does not > > imply free-identifier=3D?. The set-of-scopes system produces #t and #t > > for free-identifier=3D? and bound-identifier=3D?, respectively, and > > bound-identifier=3D? always implies free-identifier=3D?. >=20 > You can actually control what =E2=80=98free-identifier=3D?=E2=80=99 retur= ns for the above > example using =E2=80=9Cscope pruning=E2=80=9D when quoting syntax.=C2=A0 = Those Racketeers > really have their act together....=C2=A0 :) Oh, wow! I definitely need to read that paper. Thank you very much. Cheers, Jean --=-Rw5dU6VZ08xXlMyvRqrR Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part -----BEGIN PGP SIGNATURE----- iHUEABYKAB0WIQSZ7TKxnKGyBvBjzBmj8PYLiTOX/gUCZMOTjAAKCRCj8PYLiTOX /nHUAQCiO5kW0s+Cy0Y2zSoExZq+w3D0ZkskMPICBmU4amYU2QD/Sikoi/f6uVIk So9q/rpM6jDMqe8ugbuI1Pr2at7dnQM= =2OpA -----END PGP SIGNATURE----- --=-Rw5dU6VZ08xXlMyvRqrR--