From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Dr. Arne Babenhauserheide" Newsgroups: gmane.lisp.guile.devel Subject: Re: Inconsistency with expressions between definitions Date: Mon, 25 Sep 2023 15:53:27 +0200 Message-ID: <87y1guicfv.fsf@web.de> References: <87o7hsujrk.fsf@web.de> <87fs33v9ft.fsf@web.de> <833458a8-2b58-4eb7-900e-90ba62e5e4e4@app.fastmail.com> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="3112"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: mu4e 1.10.7; emacs 29.0.92 Cc: guile-devel@gnu.org To: Linus =?utf-8?Q?Bj=C3=B6rnstam?= Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Mon Sep 25 15:56:49 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 1qkm4u-0000dV-Sp for guile-devel@m.gmane-mx.org; Mon, 25 Sep 2023 15:56:48 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qkm4c-0006lb-LH; Mon, 25 Sep 2023 09:56:30 -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 1qkm4b-0006lP-N8 for guile-devel@gnu.org; Mon, 25 Sep 2023 09:56:29 -0400 Original-Received: from mout.web.de ([217.72.192.78]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qkm4Z-0006r3-Jl for guile-devel@gnu.org; Mon, 25 Sep 2023 09:56:29 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=s29768273; t=1695650181; x=1696254981; i=arne_bab@web.de; bh=5tlnu584F8B28M9zj9Xt0ODVvL8Po9QlzoRRohnyB9A=; h=X-UI-Sender-Class:References:From:To:Cc:Subject:Date:In-reply-to; b=K/ZbXk7zc1PkN1zBSAp94S1M0ugdmuN/xnB66JR8rBHsakdT3eTtUYIntfeQLBOttsIt9HwG9pN tB0WlxJZku81Y6onzSQYQyyZmJEKOQOB8fJ0CWsstjQCUkPBSfHk/YK4x1K2BfE1EWfQJ84ZF7m6H GL/9HJ9SLGZIebQZmPGdJ9lmDHRYJ/HJTO1OgS67P8epxEbdWdvVA9/QMzCu07HnPmNjPfui+W6Rk f7MafiNsLs5/IchsCFS/MkgccI1/LDgOiDzyZ+/kXoIeRoIh86Fccv8mZeZ5G9ZAH3du8/kHIFUAv pj2NT9jomFdPZ4pAEKauPla1NrmggwRTs9dQ== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Original-Received: from fluss ([80.136.25.224]) by smtp.web.de (mrweb106 [213.165.67.124]) with ESMTPSA (Nemesis) id 1N4NDQ-1rlzZz1TEM-011Mdj; Mon, 25 Sep 2023 15:56:21 +0200 In-reply-to: <833458a8-2b58-4eb7-900e-90ba62e5e4e4@app.fastmail.com> X-Provags-ID: V03:K1:OQHFP6uiLA4dUybZANwZB6jZw6X+ONvV0MwJlRQYjw06+sV3EE+ QNTRjdgfOoWcDs0DnqQNzTlZOvFJ3QBtfpwE1M9kaovvE6xJJVh/pZuhdIBGA0nIqZIZKFU aNm80ZvmIwgh90I080taS7aFauHOd25HwJuJrFxkt1bicWz/z+YLdxZWhJltLerc3gMQVBM acdSDCzDyzeOCLmdUTLEw== UI-OutboundReport: notjunk:1;M01:P0:+vXH3Fc5m/Y=;bqw/ZGDPTqXdNekgyvBofLahAla 48JCsRL8/Dba+tlOh9OFqXd+21Xgwq56W8HZesnzdRaPuR08ySt5pGF70v2LSRi4kM95T7r4u BVHBQmzWmjM2CSFB0S/6Hda9eKkiiUtpTCW9SkhdTEfNuibi0hOsZzJ/lSfP/iu31b2wZpz6Z qkonhwV3y6sL5HPkZsp3WsTbdt/K+AK9iNR0MVxfy2v7sWvYQmMWTjsqA2I0w0exaS8ksw+8D bRXiavqLNxgoEGJvA+n7WVmkb9tHU/aE6Jfozz5Gw3a6CSU3P6ka96zfse35ScVQK3o0zrTSD Ep4rMnQC0NWSk27Ia20iZKq8TRIN9x0D1GLzioi2vzVvdb6P6C8RAVpzrZYiaNkRG2JqkjEOs 1nYWt4LSaNZ4NThAyoyEVC6A/Nq9pyC/QvlNxRLtArJnpxfTlj8F1f/PZIxwkNJAnmT6nP12R 0pxqviHc751JBMzV0bed6VhCXtzGNv80+o4JInkqNgcjZ9S4uKh8qWSgoUct2hHLjK1O1gS2q yGkdGVhigbtKd15fhTZMPsetHWO99F0Jk8l//fFywYQw0uSdKCheaX1SdDyOxljalIwAklzJE 4rUL+E1Wu3RUj+5EdMAtu+WVd5AR/B20VZtj4muK2HIXJu9qDUwEjDasaSQKRNhavZeq/2zv4 mutNj8lC8mJvfw3wyut7ZY6TxA+BV3ZLQGpwF4KrmtoU1zHRZQkPBZsMLSCQa46I6pZkOjWet CV4q9eLygXT4fTe1mOsytjSD3QojcXu8kpBdjxNZY7bt7pxLrr7w9KZuXVgJak0mIoTDKowW Received-SPF: pass client-ip=217.72.192.78; envelope-from=arne_bab@web.de; helo=mout.web.de 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_H5=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=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:21983 Archived-At: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Linus Bj=C3=B6rnstam writes: > are bound in letrec*. This should also be the case in chez, but chez > displays an error. Given I have found the chez is never wrong with > regards to R6RS we can say that guiles behaviour is not conformant > with r6rs. =E2=80=A6 > What I am saying is: congrats, you found a bug :) =E2=98=BA > Sorry about confusing you. I was never really sure about letrec* > behaviour, but you nerdsniped me and I spent some time reading the > "fixing letrec (reloaded)" paper, and now things are more clear. I guess "sorry"? Or rather "you=E2=80=99re welcome"? :-) I guess the next step would be to report a bug =E2=80=A6 Best wishes, Arne =2D-=20 Unpolitisch sein hei=C3=9Ft politisch sein, ohne es zu merken. draketo.de --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE801qEjXQSQPNItXAE++NRSQDw+sFAmURkYQQHGFybmVfYmFi QHdlYi5kZQAKCRAT741FJAPD682QD/4i85KZccX+zJDdsp8xB/zaVuqIWdk5gyoZ UbbCStjHH5jvqY4UnT5YtuwuQyWs1AfNQ13F3xWwjxM5SFGp6aydG6gj3rJBksgm prb2SVFbylSC4Lafy2m6zNfZT8bsuMaM/fuBMu3/QhOFGiSovdcn9g/AZF5hTfe2 +NpfC9A4BNEZ/PoZ4oE0uDTk5Z5Rdd0571sO7+J7mB/LxJ3bU3AUeKDsCdIKgUaw dlzQh3e04CPEVYL7wC6cPVO3SfMxa/J6AvkTGGWaUABg7vBwS0KtJmHZsgBgFfel +C04ur1qYvN1ijsqiVwb/qdM4rI70p6NU6Ssi25dDFCWDTb70QVPDV9qaR2t+9uE kqN4ZPHLH3HVm6c16+eatuT/+lDikevZwUGovMpMDjFY8P+LQiaM411572hGKuct ZRQpKg+egEKRIRuXQWcXpEo+thDmnjEbdh4tHiKfS3NvVCqJjoPvqs36g0O1a/Sv NZ0z5gc42LrO50bAHoulCXZfxJ3uhDZ0/xSycZ+bJa/ZwSh30N6+RGe6cVvcRq1J HEhAte+SMbGnUoEwdRKIWO+jJl8XjoNu4n2CG+1+SPiolVeipZunqEh9Psbq38PQ wObuNmJLNo3ZJXMbwJ5EIzYN3oCr2syqii17OUKmq17bRhwZCQLRBQ+qD+Sl1/OR XO1kNI6BgIjEBAEBCAAuFiEE3Si95tmHXKvOSosd3M8NswvBBUgFAmURkYQQHGFy bmVfYmFiQHdlYi5kZQAKCRDczw2zC8EFSF8gA/9ZzBXq4lqUj4jL/2Ho/ZKJmeBB DIncXtTcfFYr8WcSgWJCQstpUM/BAupfoOhWiKSXJLugqouJWsKDOgXwCto+GEpc w12rvBYc5wJobqtC4CURh1y7rmvkUXeduulQJaqB2SNsqV76oCm3e/Eu5PfVp1yZ syIIrpWFaMo2eWbelA== =d/2G -----END PGP SIGNATURE----- --=-=-=--