From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: lloda Newsgroups: gmane.lisp.guile.devel Subject: Re: Add internal definitions to derived forms Date: Thu, 2 Feb 2023 12:17:20 +0100 Message-ID: <8EAB1A86-3B8E-488F-9190-4F4F00F1FD48@sarc.name> References: <2f38c5ea-0cb6-494e-b680-70b39c3291fb@app.fastmail.com> <87y1pqslab.fsf@gnu.org> Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.7\)) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="23639"; mail-complaints-to="usenet@ciao.gmane.io" To: "guile-devel@gnu.org" Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Thu Feb 02 12:18:20 2023 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 1pNXbg-0005yH-8G for guile-devel@m.gmane-mx.org; Thu, 02 Feb 2023 12:18:20 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pNXbE-0007xM-Pf; Thu, 02 Feb 2023 06:17:52 -0500 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 1pNXb9-0007rZ-PA for guile-devel@gnu.org; Thu, 02 Feb 2023 06:17:51 -0500 Original-Received: from mta-09-3.privateemail.com ([68.65.122.19]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pNXb7-00046v-Ed for guile-devel@gnu.org; Thu, 02 Feb 2023 06:17:46 -0500 Original-Received: from mta-09.privateemail.com (localhost [127.0.0.1]) by mta-09.privateemail.com (Postfix) with ESMTP id C6DAC18000BA for ; Thu, 2 Feb 2023 06:17:22 -0500 (EST) Original-Received: from [192.168.1.105] (unknown [51.154.167.214]) by mta-09.privateemail.com (Postfix) with ESMTPA id 69EB318000B5 for ; Thu, 2 Feb 2023 06:17:22 -0500 (EST) In-Reply-To: <87y1pqslab.fsf@gnu.org> X-Mailer: Apple Mail (2.3608.120.23.2.7) X-Virus-Scanned: ClamAV using ClamSMTP Received-SPF: pass client-ip=68.65.122.19; envelope-from=lloda@sarc.name; helo=MTA-09-3.privateemail.com 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, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-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-bounces+guile-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.devel:21672 Archived-At: Guile already allows mixed definitions and expressions in let bodies = (since 2.9.4), which isn't in any of the Scheme reports. It's up to = authors to avoid or isolate Guile extensions if they want to remain rnrs = compatible, and this patch doesn't change that. Being able to put definitions in the body of let but not in the bodies = of these other forms is an artificial restriction. Some forms still = aren't fixed, like match. I believe we should eventually fix those as = well. I think the root of the issue is (begin), but the patch goes in the = right direction. Regards Daniel