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.devel Subject: Re: Recursive Macros generating Definitions Date: Mon, 3 Oct 2022 20:42:39 +0200 Message-ID: References: <87zgedkuqc.fsf@ft.bewatermyfriend.org> <939c81ae-5b12-1910-5fbd-8ad99a697da6@telenet.be> <87lepxkosv.fsf@ft.bewatermyfriend.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="14779"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.2.1 Cc: guile-devel@gnu.org To: Frank Terbeck , Maxime Devos Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Mon Oct 03 21:03:09 2022 Return-path: Envelope-to: guile-devel@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 1ofQia-0003dm-8g for guile-devel@m.gmane-mx.org; Mon, 03 Oct 2022 21:03:08 +0200 Original-Received: from localhost ([::1]:54922 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ofQiZ-0001E4-78 for guile-devel@m.gmane-mx.org; Mon, 03 Oct 2022 15:03:07 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:45890) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ofQOy-0004fR-EL for guile-devel@gnu.org; Mon, 03 Oct 2022 14:42:52 -0400 Original-Received: from mout.kundenserver.de ([217.72.192.74]:52267) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ofQOp-0004nJ-P7 for guile-devel@gnu.org; Mon, 03 Oct 2022 14:42:52 -0400 Original-Received: from [10.188.149.104] ([46.193.67.184]) by mrelayeu.kundenserver.de (mreue106 [212.227.15.184]) with ESMTPSA (Nemesis) id 1MwxRN-1pP0tg3Da7-00yRMX; Mon, 03 Oct 2022 20:42:39 +0200 Content-Language: en-US In-Reply-To: <87lepxkosv.fsf@ft.bewatermyfriend.org> X-Provags-ID: V03:K1:k1pt/UpwAmxKhxyNr+1YXpSNHelOsRqdDD1ifnJE/UfvdGzAG8b lrNMRtD0+GIqluydJuZy6o9R74JqRzeKRzIrMXeHvHYG+ILy1WfN8O5DlRYD5xOWW4+aO/4 LAElVl5ss55nzfEVNRNJgx5mPnnd8uovCLORBxIx/5PP/2k+mE0VJZ1UytEiJJUlmdzcSlu dgKj8dI6rVNoBGxjOv33w== X-UI-Out-Filterresults: notjunk:1;V03:K0:RVofZrbT21Q=:TuKyWhfI8Yr602YRTSsrFf SJv1DU3dlOcoaFEjCzrCdZ4XMhT15Zw1AssOVcx6i0jcj13H7p9ObFYJ4lqslOSWOJgsbtGhF Md1YEg4yZrLFJKxegiU1ij1Ay2PeX8wd+W1HzKqYy2fmDAwuBI3HlcPYw8xt/WkgrNIhNogdM Qd05u5NdLV5IHJTS6IzfE4haq36rZaLNZfufB6d7wipPf3yOUnLeO9bXLbrqIvOAJSrlkq1vy Rm+b3eyV004NsMr7dA7qF7hoJb10Z/fjfvxQ6QKfutY86WCpJK2WeAkBekNm49ns/ELLpOwd6 HIFkmNl4l64bBIgufUqQ/Hmg3iPdIVjZMcZfTZUCMqNr0PPDPA8+GRxStCy0D2bbro27fgsMI wqpz2a09MvYdRdWfVPH+uf61s4qLwC+wEYhznv6S5nXOtCTIpi9Y3i6c7qzLig4JuAcq2ock6 TdCuPUuCj4YhiWVFl/w3yqeSGpqU0EmgDEu5Fd0lxL2bpfejeCMA0Aaq1rZsVU1OYc+Oyrpxu w+Ll2ZwP7J2nA60VFiQwvc76sHnIgT8UZXy8ceqaqnAvi74xGR9zu8n+4LnO5dY5FlHGdfLkS yuMZ3tx3+3gyRT7NV4dpx582vHngJDUsAFt3OInJ3hZdwGI24KqP3wt7HFV5hXe9637oDN+id 4Ws//wg+jays/0GWyjaCWSkqqqNeIxhr/SCnjAPcpgw5mEcFmsmn9TzuQn/EReL6btnEIkWzX yHpQTLlBmBFrVtP/trBIIQN8brd8xbIpVIJfADY1aYowUV49t+JQTmVW3VlAlUNQi+myPiZn Received-SPF: none client-ip=217.72.192.74; envelope-from=jean@abou-samra.fr; helo=mout.kundenserver.de X-Spam_score_int: -33 X-Spam_score: -3.4 X-Spam_bar: --- X-Spam_report: (-3.4 / 5.0 requ) BAYES_00=-1.9, NICE_REPLY_A=-1.467, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Original-Sender: "guile-devel" Xref: news.gmane.io gmane.lisp.guile.devel:21382 Archived-At: Le 03/10/2022 à 15:41, Frank Terbeck a écrit : > I get the point, but I think it's sort of surprising, when everything in > the macro-language is otherwise quite literal, to my understanding. It > may be warranted to point this out in the documentation that this is a > side effect of hygienic macros, I think. It *is* extensively documented. https://www.gnu.org/software/guile/manual/html_node/Hygiene-and-the-Top_002dLevel.html#Hygiene-and-the-Top_002dLevel > This behaviour is probably explained in one of the ‘syntax-case’ and > ‘datum->syntax’ examples in the manual, but it wasn't clear to me at > all. Not sure how, but I think there's room for improvement here. :) > > Thanks for clearing this up! And feel free to correct anything I got > wrong in what I wrote in the above. I think it is worth taking a look not just at the Guile documentation but also at the Scheme standards, which are more verbose on the details of syntax->datum and such. See http://www.r6rs.org/final/html/r6rs-lib/r6rs-lib-Z-H-13.html