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.user Subject: Re: letrec semantics Date: Mon, 28 Nov 2022 10:25:46 +0100 Message-ID: <3de6bb04-890f-1104-2d9a-cd6f937c54b0@abou-samra.fr> References: <87sfi379eb.fsf@soeven.de> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------lko3ofo0Nvw6Y40WBhgJ4nmD" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="16090"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.5.0 To: Alexander Asteroth , guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Mon Nov 28 10:27:00 2022 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 1ozaPk-0003x9-Es for guile-user@m.gmane-mx.org; Mon, 28 Nov 2022 10:27:00 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ozaOr-0004YK-CV; Mon, 28 Nov 2022 04:26:05 -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 1ozaOn-0004U0-IW for guile-user@gnu.org; Mon, 28 Nov 2022 04:26:02 -0500 Original-Received: from mout.kundenserver.de ([212.227.126.133]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ozaOh-0004mv-SA for guile-user@gnu.org; Mon, 28 Nov 2022 04:25:59 -0500 Original-Received: from [172.20.10.5] ([37.171.251.44]) by mrelayeu.kundenserver.de (mreue010 [212.227.15.168]) with ESMTPSA (Nemesis) id 1MHXWL-1pD0fO3yM5-00DUGQ; Mon, 28 Nov 2022 10:25:52 +0100 Content-Language: en-US In-Reply-To: <87sfi379eb.fsf@soeven.de> X-Provags-ID: V03:K1:MmOufWFwqnzm8s+nbLskAjHuutZMimtYNdoRtbqu9t1J6T/Kjrd 8cTfUKz2A17RYPKIEFNkfvu8Ja1lhYzgi+nt9TjOdM8ptXtzJ/Y+BnLWzfGhAgdE75E59Pi unoRPgvm27nnuMv44j0UXdSO+m9Z5j+MuZQH0NyKuLgx7F+tpJlFKTARvy7Tme7Kmhcgpo1 0AhzBZvWgvUmuq24pOQtA== X-UI-Out-Filterresults: notjunk:1;V03:K0:JYMCQu00Epg=:7WtwWbm2GAbK+M8jdwuzMX UP6HOfcqeLWs5IYfLQDw9l8m8ubMACAv5FKhXXY8J4gWgfe852+I2m/otDvnf2Y4a4JnVdOrk Fyz+e/eVKS1peaIo7W5igv8i1QPg3wo+KehJIivV1RlxrWcwXCPDhL8rzHw7wa/Pacsm+klT5 MQHNF42pASsjtUZMHzkx4DqT6YwQQpH2dQSanL/BsvYBG6jUGU4fQbytnvmccJAqt7EQLjtOZ 8yS/0fZxUE12gvLgxEuTmPFuinoqkyOJ6Wz9JnE2fo1c2vQNUzmkywHpmWQgpb0/pdJgag3eY sYGKtwAE/LDmXBj19YKFz90/V9ETSMCUzYo3z3pzKreGyE6zYqfRKDKPVM+UOTOC7QzWZmx5m 8A5qrkh+uyYgLvXuBpRnoFUd4eXT8Xf4M9K8dh2mXNoteXE06/aXEuB8YacJGAj1QNK9PoM+r 2jGQUGLPN95YhYlxrUDRSOPcSoT1SPFF+3fvumB31z9Ce5erweyBCbUdGjeBGn9pTfASIYPKz nlIC5M28LYyjLaf7K/SPk1u5N51+L2M+0VgpotgaItqzMGQjCQsI2w5JZk0qfvRAg258CFo4L +hgrsrZSSR+hD5ytBleZ3ZxSu4xBuardZRx6yDmtJefopToVNRShHhq5GQzpz7oXrDzTSZncZ myfy1SO9t/lhS8yXdOyH0mafESpGgFtAJK3NjxclyHZVjDrZn2AFl3e4uJy8lv0O47bKe0bOO 20gOX7RzRESQxm8dlZUiu4R+mUyUFh1Hi5wOf+3+O1Y3XJBAfx3nY02rtBv8f3w5VyjEMZgR Received-SPF: pass client-ip=212.227.126.133; envelope-from=jean@abou-samra.fr; helo=mout.kundenserver.de X-Spam_score_int: -21 X-Spam_score: -2.2 X-Spam_bar: -- X-Spam_report: (-2.2 / 5.0 requ) BAYES_00=-1.9, HTML_MESSAGE=0.001, NICE_REPLY_A=-0.257, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Content-Filtered-By: Mailman/MimeDel 2.1.29 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:18753 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------lko3ofo0Nvw6Y40WBhgJ4nmD Content-Type: multipart/mixed; boundary="------------3SY6n8q4M7mCTncOUpMG86W4"; protected-headers="v1" From: Jean Abou Samra To: Alexander Asteroth , guile-user@gnu.org Message-ID: <3de6bb04-890f-1104-2d9a-cd6f937c54b0@abou-samra.fr> Subject: Re: letrec semantics References: <87sfi379eb.fsf@soeven.de> In-Reply-To: <87sfi379eb.fsf@soeven.de> --------------3SY6n8q4M7mCTncOUpMG86W4 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 TGUgMjgvMTEvMjAyMiDDoCAwOTozMywgQWxleGFuZGVyIEFzdGVyb3RoIGEgw6ljcml0wqA6 DQo+IERlYXIgYWxsLA0KPg0KPiBJIGtub3cgdGhpcyB0b3BpYyBoYXMgYmVlbiBkaXNjdXNz ZWQgaW4gdGhlIHBhc3QuIEkgZm91bmQgYXQgbGVhc3Qgb25lDQo+IGRpc2N1c3Npb24gaW4g MjAwMyBpbmd1aWxlLXVzZXJAZ251Lm9yZyAgd2hpY2ggaW4gdGhlIGVuZCByZWZlcnJlZCB0 bw0KPiBldmVuIGVhcmxpZXIgZGlzY3Vzc2lvbnMgaW4gY29tcC5sYW5nLnNjaGVtZS4gQnV0 IHN0aWxsIEknbSBjb25mdXNlZA0KPiBhYm91dCB0aGlzIGFuZCB3b25kZXIgaWYgc29tZW9u ZSBjb3VsZCBoZWxwIHdpdGggdGhpcyBvciBwb2ludCBtZSB0byBhDQo+IGRpc2N1c3Npb24g dGhhdCByZXNvbHZlcyB0aGUgZm9sbG93aW5nIGlzc3VlLg0KPg0KPiBJbiBSNVJTIGl0IHNh aXMgYWJvdXQgbGV0cmVjOg0KPg0KPj4gU2VtYW50aWNzOiBUaGUg44CIdmFyaWFibGXjgIlz IGFyZSBib3VuZCB0byBmcmVzaCBsb2NhdGlvbnMNCj4+IGhvbGRpbmcgdW5kZWZpbmVkIHZh bHVlcywgdGhlIOOAiGluaXTjgIlzIGFyZSBldmFsdWF0ZWQgaW4gdGhlDQo+PiByZXN1bHRp bmcgZW52aXJvbm1lbnQgKGluIHNvbWUgdW5zcGVjaWZpZWQgb3JkZXIpLCBlYWNoDQo+PiDj gIh2YXJpYWJsZeOAiSBpcyBhc3NpZ25lZCB0byB0aGUgcmVzdWx0IG9mIHRoZSBjb3JyZXNw b25kaW5nDQo+PiDjgIhpbml044CJLCB0aGUg44CIYm9keeOAiSBpcyBldmFsdWF0ZWQgaW4g dGhlIHJlc3VsdGluZyBlbnZpcm9ubWV0IFsuLi5dDQo+IEFzIEkgKGFuZCBvdGhlcnMpIHVu ZGVyc3RhbmQNCj4NCj4+IHNjaGVtZUAoZ3VpbGUtdXNlcik+IChsZXRyZWMgKChiIGEpKGEg NykpIGIpDQo+PiAkMSA9IDcNCj4gc2hvdWxkIGJlIGVxdWl2YWxlbnQgKG9mIGNvdXJzZSBp biBhIG5ldyBzY29wZSkgdG86DQo+DQo+PiBzY2hlbWVAKGd1aWxlLXVzZXIpPiAoZGVmaW5l IGIgI25pbCkNCj4+IHNjaGVtZUAoZ3VpbGUtdXNlcik+IChkZWZpbmUgYSAjbmlsKQ0KPj4g c2NoZW1lQChndWlsZS11c2VyKT4gKHNldCEgYiBhKQ0KPj4gc2NoZW1lQChndWlsZS11c2Vy KT4gKHNldCEgYSA3KQ0KPj4gc2NoZW1lQChndWlsZS11c2VyKT4gYg0KPj4gJDIgPSAjbmls DQo+IGJ1dCBvYnZpb3VzbHkgaXQgaXMndC4gV2h5IGlzIGIgYXNzaWduZWQgdG8gYSdzIHJl ZmVyZW5jZSByYXRoZXIgdGhhbg0KPiBpdCdzIHZhbHVlIGluIGxldHJlYz8gLi4uIGFuZCB3 b3VsZCBpdCBiZSBhIGNvcnJlY3QgaW1wbGVtZW50YXRpb24gb2YNCj4gUjVSUy1sZXRyZWMg dG8gcmV0dXJuICNuaWwgZnJvbSB0aGUgbGV0cmVjIGFib3ZlPw0KDQoNCg0KDQpJbnRlcmVz dGluZy4gUjVSUyBzYXlzOg0KDQrigJxPbmUgcmVzdHJpY3Rpb24gb24gbGV0cmVjIGlzIHZl cnkgaW1wb3J0YW50OiBpdCBtdXN0IGJlIHBvc3NpYmxlDQp0byBldmFsdWF0ZSBlYWNoIDxp bml0PiB3aXRob3V0IGFzc2lnbmluZyBvciByZWZlcnJpbmcgdG8gdGhlIHZhbHVlIG9mDQph bnkgPHZhcmlhYmxlPi4gSWYgdGhpcyByZXN0cmljdGlvbiBpcyB2aW9sYXRlZCwgdGhlbiBp dCBpcyBhbiBlcnJvci4NClRoZSByZXN0cmljdGlvbiBpcyBuZWNlc3NhcnkgYmVjYXVzZSBT Y2hlbWUgcGFzc2VzIGFyZ3VtZW50cyBieSB2YWx1ZQ0KcmF0aGVyIHRoYW4gYnkgbmFtZS4g SW4gdGhlIG1vc3QgY29tbW9uIHVzZXMgb2YgbGV0cmVjLCBhbGwgdGhlIDxpbml0PnMNCmFy ZSBsYW1iZGEgZXhwcmVzc2lvbnMgYW5kIHRoZSByZXN0cmljdGlvbiBpcyBzYXRpc2ZpZWQg YXV0b21hdGljYWxseS7igJ0NCg0KTm90ZSB0aGF0IOKAnGl0IGlzIGFuIGVycm9y4oCdIGRv ZXMgbm90IG1lYW4gdGhhdCBhbiBlcnJvciBtdXN0IGJlIHJhaXNlZC4NClRoaXMgaXMgY2xh cmlmaWVkIGluIHRoZSBzZWN0aW9uIOKAnEVycm9yIHNpdHVhdGlvbnMgYW5kIHVuc3BlY2lm aWVkIA0KYmVoYXZpb3LigJ06DQoNCuKAnFdoZW4gc3BlYWtpbmcgb2YgYW4gZXJyb3Igc2l0 dWF0aW9uLCB0aGlzIHJlcG9ydCB1c2VzIHRoZSBwaHJhc2UgYGBhbiBlcnJvcg0KaXMgc2ln bmFsbGVkJycgdG8gaW5kaWNhdGUgdGhhdCBpbXBsZW1lbnRhdGlvbnMgbXVzdCBkZXRlY3Qg YW5kIHJlcG9ydCB0aGUNCmVycm9yLiBJZiBzdWNoIHdvcmRpbmcgZG9lcyBub3QgYXBwZWFy IGluIHRoZSBkaXNjdXNzaW9uIG9mIGFuIGVycm9yLA0KdGhlbiBpbXBsZW1lbnRhdGlvbnMg YXJlIG5vdCByZXF1aXJlZCB0byBkZXRlY3Qgb3IgcmVwb3J0IHRoZSBlcnJvciwgdGhvdWdo DQp0aGV5IGFyZSBlbmNvdXJhZ2VkIHRvIGRvIHNvLiBBbiBlcnJvciBzaXR1YXRpb24gdGhh dCBpbXBsZW1lbnRhdGlvbnMgYXJlDQpub3QgcmVxdWlyZWQgdG8gZGV0ZWN0IGlzIHVzdWFs bHkgcmVmZXJyZWQgdG8gc2ltcGx5IGFzIGBgYW4gZXJyb3IuJyfigJ0NCg0KVGhlcmVmb3Jl LCB5b3VyIHByb2dyYW0gaXMgYnVnZ3ksIGFuZCB3aGF0IEd1aWxlIGRvZXMgaXMgUjVSUy1j b25mb3JtYW50IA0KYmVjYXVzZQ0KUjVSUyBkb2VzIG5vdCBkZWZpbmUgdGhpcyBjYXNlLg0K DQpIb3dldmVyLCBSNlJTIGRpZmZlcnMgZnJvbSBSNVJTIG9uIHRoaXMgcG9pbnQ6DQoNCuKA nEltcGxlbWVudGF0aW9uIHJlc3BvbnNpYmlsaXRpZXM6IEltcGxlbWVudGF0aW9ucyBtdXN0 IGRlLQ0KdGVjdCByZWZlcmVuY2VzIHRvIGEg44CIdmFyaWFibGXjgIkgZHVyaW5nIHRoZSBl dmFsdWF0aW9uIG9mIA0KdGhl44CIaW5pdOOAiWV4cHJlc3Npb25zDQoodXNpbmcgb25lIHBh cnRpY3VsYXIgZXZhbHVhdGlvbiBvcmRlciBhbmQgb3JkZXIgb2YgZXZhbHVhdGluZyB0aGUg 44CIaW5pdOOAiQ0KZXhwcmVzc2lvbnMpLklmIGFuIGltcGxlbWVudGF0aW9uIGRldGVjdHMg c3VjaCBhIHZpb2xhdGlvbiBvZiB0aGUgDQpyZXN0cmljdGlvbiwNCml0IG11c3QgcmFpc2Ug YW4gZXhjZXB0aW9uIHdpdGggY29uZGl0aW9uIHR5cGUgJmFzc2VydGlvbi7igJ0NCg0KDQpU aGVyZWZvcmUsIGFjY29yZGluZyB0byBSNlJTLCBHdWlsZSBpcyBidWdneSBiZWNhdXNlIGl0 IHNob3VsZCByYWlzZQ0KYW4gZXJyb3IgaW4gdGhpcyBjYXNlLg0KDQoNCkJlc3QsDQpKZWFu DQoNCg0K --------------3SY6n8q4M7mCTncOUpMG86W4-- --------------lko3ofo0Nvw6Y40WBhgJ4nmD Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wnsEABYIACMWIQSZ7TKxnKGyBvBjzBmj8PYLiTOX/gUCY4R+mgUDAAAAAAAKCRCj8PYLiTOX/s93 AP4mHRYHPmtB8U0RCAVyV9wi27NwjLvIEIybgm+VG07QZgD+LMPvyNyRtJeCJScKQpeQCVx5HV9m D/8G09kvevOkGgs= =f3BM -----END PGP SIGNATURE----- --------------lko3ofo0Nvw6Y40WBhgJ4nmD--