From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?UTF-8?Q?Linus_Bj=C3=B6rnstam?= Newsgroups: gmane.lisp.guile.devel Subject: Re: Add internal definitions to derived forms Date: Wed, 25 Jan 2023 22:06:21 +0100 Message-ID: <8030b8f0-8da1-438e-95cd-088369887cc4@app.fastmail.com> References: <2f38c5ea-0cb6-494e-b680-70b39c3291fb@app.fastmail.com> <87y1pqslab.fsf@gnu.org> 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="8126"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Cyrus-JMAP/3.9.0-alpha0-85-gd6d859e0cf-fm-20230116.001-gd6d859e0 Cc: lloda , guile-devel@gnu.org, "Andy Wingo" To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Wed Jan 25 22:07: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 1pKmzH-0001t8-3I for guile-devel@m.gmane-mx.org; Wed, 25 Jan 2023 22:07:19 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pKmym-0004um-O9; Wed, 25 Jan 2023 16:06:48 -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 1pKmyl-0004uZ-H9 for guile-devel@gnu.org; Wed, 25 Jan 2023 16:06:47 -0500 Original-Received: from out2-smtp.messagingengine.com ([66.111.4.26]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pKmyj-0006lc-3Q; Wed, 25 Jan 2023 16:06:46 -0500 Original-Received: from compute2.internal (compute2.nyi.internal [10.202.2.46]) by mailout.nyi.internal (Postfix) with ESMTP id 997945C004F; Wed, 25 Jan 2023 16:06:41 -0500 (EST) Original-Received: from imap51 ([10.202.2.101]) by compute2.internal (MEProxy); Wed, 25 Jan 2023 16:06:41 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=veryfast.biz; h= cc:cc:content-transfer-encoding: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=fm2; t=1674680801; x= 1674767201; bh=eZuf4ls491GQax/82L9muokRcmT5Ejl84r+qRahMHUw=; b=D G4DJLBatbqcSSAXxVyrzZ5k28smdXoaboyZGsTsp4OOD72l8+/zgyPAHiI9Qmn38 C7arWH7a1jEF8ZaebPAixvhagrZmhJ2HvglDKwNvNHKLe+HlcNJjFtHOAk2eg+A4 wCoBrvYVDJ1BM4ebxvEXEoUp9GzaRuI06D5SCBP5N/mf9Ysc82Ua9BUzyJs4h1Vi 1nmbuTDAKzPUGz8775BCn5Ys5hFHEEVC7O4hFS33szRB7DaqeqiIyHy+PJU08Zkr 5m4AwaZGOgg4M7rp7uCE/7Oh2JtQYktW3pxA1cSi+26xTt+9WxGwfNaWi6vBz8OU 8MHtFR9G/uIWWDcX0KJ4Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-transfer-encoding :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=1674680801; x= 1674767201; bh=eZuf4ls491GQax/82L9muokRcmT5Ejl84r+qRahMHUw=; b=R T8117oCxf9Du0P9AkqubnYFJKJxurcye7hcLQmOPIDkkSsvErefwWDQqfmyNpaKK ocglImqPMEKrhi+fzNjCOJnYWJfI2PpRebkL7D2hqW1WSJfWxqgcemqELh17Gr+P W+rHvaq6KumMb1XlbOa9nUKXoR2SiFaoRdmUXVQ6fmffKlOd51IvVZnu2EsLsnV3 3Aocqoj1TetWT1Ni6rwkL8llt4QGXosN2AOkszdbPl2SjEI3bNexDXol2Wg0UJKU elLGn1TbMoszxWofEb/edUlqFrPZmz2QQcZgd8GJlJNy7s66PBlS6PPARlFNhbyM FSjhK42sRAi+4p0Rg4X1g== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvhedruddvvddgudegjecutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfgh necuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmd enucfjughrpefofgggkfgjfhffhffvvefutgfgsehtqhertderreejnecuhfhrohhmpefn ihhnuhhsuceujhpnrhhnshhtrghmuceolhhinhhushdrsghjohhrnhhsthgrmhesvhgvrh ihfhgrshhtrdgsihiiqeenucggtffrrghtthgvrhhnpeekgeeuudeugffhgfdvveelteei tdduvedtjeegieevgfelheelteevhfettdelfeenucevlhhushhtvghrufhiiigvpedtne curfgrrhgrmhepmhgrihhlfhhrohhmpehlihhnuhhsrdgsjhhorhhnshhtrghmsehvvghr hihfrghsthdrsghiii X-ME-Proxy: Feedback-ID: i51694465:Fastmail Original-Received: by mailuser.nyi.internal (Postfix, from userid 501) id 6DDFDB60086; Wed, 25 Jan 2023 16:06:41 -0500 (EST) X-Mailer: MessagingEngine.com Webmail Interface In-Reply-To: <87y1pqslab.fsf@gnu.org> Received-SPF: pass client-ip=66.111.4.26; envelope-from=linus.bjornstam@veryfast.biz; helo=out2-smtp.messagingengine.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.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, FREEMAIL_FROM=0.001, 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 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:21637 Archived-At: On Wed, 25 Jan 2023, at 16:09, Ludovic Court=C3=A8s wrote: > Hello! > > Linus Bj=C3=B6rnstam skribis: > > > Daniel pushed this as 764e3614b8c13de604399572a67d071621e9ca21 in > =E2=80=98main=E2=80=99. I had completely overlooked this thread but I= wasn=E2=80=99t quite sure > about it, so I did not include it in 3.0.9. > > The reason I=E2=80=99m hesitant is that, while I think it=E2=80=99s ni= ce to be able to > have local =E2=80=98define=E2=80=99 in these contexts, I=E2=80=99m war= y of diverging from R5RS > and R6RS. Since it=E2=80=99s a one-way change (we won=E2=80=99t be ab= le to revert it > once people rely on it), I thought we=E2=80=99d rather be careful. Andy gave a similar idea thumbs up in IRC some time ago. We could always= make r6rs cond, case etc. use (begin ...). For that we could just re-us= e the example implementations from the r6rs appendix depending on licens= e. R5RS compatibility is a harder but to crack. Maybe a compat library like= r6rs has? /Linus