From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Timothy Sample Newsgroups: gmane.lisp.guile.user Subject: Re: Inconsistencies with free-identifier=? and bound-identifier=? Date: Thu, 27 Jul 2023 16:10:21 -0600 Message-ID: <875y65hupe.fsf@ngyro.com> References: <008f724d79b871ce1d68121402bbcbcdd25ec270.camel@abou-samra.fr> <87h6ppi4ze.fsf@ngyro.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="38438"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) Cc: guile-user@gnu.org To: Jean Abou Samra Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Fri Jul 28 00:24:53 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 1qP9Pf-0009k3-1W for guile-user@m.gmane-mx.org; Fri, 28 Jul 2023 00:24:51 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qP9Bn-0001Rk-Ct; Thu, 27 Jul 2023 18:10:31 -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 1qP9Bl-0001RT-0c for guile-user@gnu.org; Thu, 27 Jul 2023 18:10:29 -0400 Original-Received: from out1-smtp.messagingengine.com ([66.111.4.25]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qP9Bh-0005GM-Rq for guile-user@gnu.org; Thu, 27 Jul 2023 18:10:28 -0400 Original-Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id 666AB5C022E; Thu, 27 Jul 2023 18:10:24 -0400 (EDT) Original-Received: from mailfrontend1 ([10.202.2.162]) by compute3.internal (MEProxy); Thu, 27 Jul 2023 18:10:24 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ngyro.com; h=cc :cc:content-transfer-encoding:content-type:content-type:date :date:from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:sender:subject:subject:to:to; s=fm1; t= 1690495824; x=1690582224; bh=hhughRNIKuLPJgnKgnXthePOUnOijVjirz6 l3FTzhRY=; b=3lspp/s0tW+I96vMngpSaaTVVdRmA92stzLGIGeK3R7muH1XwKY ZHt3lLwnSEZPXwcmR6tXBDzWAc/DYTvjgx7rS1IBDsFw18cwCUp9OvMIXCSBdNrw T1VTLiJ7GrgztaybMU7jFCDWOAh4c044ULYVpYzdYf8TxyF9HkW9LYhadU/n2Hh1 p3c6MWE5qN9kEJBRhxbOsMM0yjo3xVppbxE1+RaouXnEeCkXz6U86fdJ8a1AGQQ/ iYfWjm0j8SZxNsngP+xBH6nHgR44Qy+rPhKc3/Js6wwkkHc+O2hLAvZBKZA1Y/9H q3od8LFCBNtPj0WN4osQK72XPiyM6l9BOvA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-transfer-encoding :content-type:content-type:date:date:feedback-id:feedback-id :from:from:in-reply-to:in-reply-to:message-id:mime-version :references:reply-to:sender:subject:subject:to:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm3; t= 1690495824; x=1690582224; bh=hhughRNIKuLPJgnKgnXthePOUnOijVjirz6 l3FTzhRY=; b=X4NcHSUVSBVUaacnLyY6s6ZWVCZQaUP155Znh+dHqMifEoxwfSe 6hA7ocOF31/C/JYYYx+nRM9i9cxktBKC3WqVuua1zDyS9G1mbxDWvI8s6RPB/bAy 7MA8hwFCOhPG7wSyMOobOPWPRfdBo1BnoW2dSsiFUkS99gahTSFT4/uFdMA90kaP 8BasAN80+7AENSOGx87Et+5ZmI+moyR9SfInqm/IeK+3RUabLbkAGmuD25q0RFgM /ElhH3aMU1jak1+iVg1aPNgFroNPYAiQMQAW/NCQpVc/97j0bzNFSlXgK/jPpCR3 XtMTlNQbuR0N402H5QSUX+Z+uqa3ro4Rpfw== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedviedrieehgddthecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefhvfevufhfffgjkfgfgggtgfesthhqredttderjeenucfhrhhomhepvfhimhho thhhhicuufgrmhhplhgvuceoshgrmhhplhgvthesnhhghihrohdrtghomheqnecuggftrf grthhtvghrnhepgeeiudeuveekledtiefgudefjeeikeeifeevgfeuieetlefhuefgffek fffggefhnecuffhomhgrihhnpehuthgrhhdrvgguuhenucevlhhushhtvghrufhiiigvpe dtnecurfgrrhgrmhepmhgrihhlfhhrohhmpehsrghmphhlvghtsehnghihrhhordgtohhm X-ME-Proxy: Feedback-ID: i4721425c:Fastmail Original-Received: by mail.messagingengine.com (Postfix) with ESMTPA; Thu, 27 Jul 2023 18:10:22 -0400 (EDT) In-Reply-To: <87h6ppi4ze.fsf@ngyro.com> (Timothy Sample's message of "Thu, 27 Jul 2023 12:28:21 -0600") Received-SPF: pass client-ip=66.111.4.25; envelope-from=samplet@ngyro.com; helo=out1-smtp.messagingengine.com X-Spam_score_int: -17 X-Spam_score: -1.8 X-Spam_bar: - X-Spam_report: (-1.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URI_DOTEDU=1 autolearn=ham autolearn_force=no X-Spam_action: no action 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:19107 Archived-At: A quick follow-up. Timothy Sample writes: > Lastly, you should read section 3.1 of =E2=80=9CBinding as Sets of Scopes= =E2=80=9D: > > https://www-old.cs.utah.edu/plt/scope-sets/general-macros.html#%28par= t._.Identifier_.Comparisons_with_.Scope_.Sets%29 > > It shows that =E2=80=98bound-identifier=3D?=E2=80=99 gives false negative= s in both > sets-of-scopes and marks-and-substitutions hygiene systems. (I didn=E2= =80=99t > > test that example or anything, but I thought it fit the theme of > identifier predicate arcana pretty well.) Actually, read section 3.2. It covers your example exactly. Discussing the example > (free-identifier=3D? (let ([x 1]) #'x) > #'x) it says, > Note: Racket=E2=80=99s macro system matches Dybvig et al. (1993), where b= oth > 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 Chez > 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?. You can actually control what =E2=80=98free-identifier=3D?=E2=80=99 returns= for the above example using =E2=80=9Cscope pruning=E2=80=9D when quoting syntax. Those R= acketeers really have their act together.... :) -- Tim