From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Maxime Devos Newsgroups: gmane.lisp.guile.user Subject: Re: overloading an existing operator in Guile Date: Tue, 3 Oct 2023 20:34:49 +0200 Message-ID: <92548a01-6764-cd02-85c7-f0121030e907@telenet.be> References: Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------Qnn86QCPTxpA7r4YbxZc0ost" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="2799"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 To: Damien Mattei , guile-user Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Tue Oct 03 20:35:25 2023 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 1qnkEu-0000HM-Qu for guile-user@m.gmane-mx.org; Tue, 03 Oct 2023 20:35:24 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qnkEY-0002h0-Aq; Tue, 03 Oct 2023 14:35:02 -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 1qnkEW-0002fn-Cm for guile-user@gnu.org; Tue, 03 Oct 2023 14:35:00 -0400 Original-Received: from albert.telenet-ops.be ([2a02:1800:110:4::f00:1a]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qnkES-0002NJ-K5 for guile-user@gnu.org; Tue, 03 Oct 2023 14:35:00 -0400 Original-Received: from [IPV6:2a02:1808:81:4c73:7739:a1c6:2f40:639a] ([IPv6:2a02:1808:81:4c73:7739:a1c6:2f40:639a]) by albert.telenet-ops.be with bizsmtp id tWaq2A0030cZkFc06WareR; Tue, 03 Oct 2023 20:34:52 +0200 Content-Language: en-US In-Reply-To: DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r23; t=1696358092; bh=88emdVtsU2uXTJ9xg+JxbSEJBdKIQwqGoGKrfqGesl0=; h=Date:To:References:From:Subject:In-Reply-To; b=RUOumhtzbx+Gll66Co5LDf9qRf4D0r4Wu3dVnBib/3hQKwcvnHXbVerHXpu/+74Le ZvhjeOof6mz3KsRtV9JOJ5r6uHiZOg3JF1GH5bH3R6ywFqdT5+6ZoD+MXkHx48yxHW fshrMe48d9CHMPp8U28tDpheZQ3fV7aJXfLQUbP/GH4s9gigkFPe2orvZO/c6LhQE7 /tMF73xhAaNSzOnB6Wd7fMwCmtmkHKlVYn+9LNbOq2g3MMDL3hI2Qyk+Nfz0U2+uXx xUHKb9wyNu3dGkKKkZHeVBgWV6fxDxej2Vlran+RyiK/RHu4GCpbxI3C6Zl26+2seo DolDCKz9uA4pQ== Received-SPF: pass client-ip=2a02:1800:110:4::f00:1a; envelope-from=maximedevos@telenet.be; helo=albert.telenet-ops.be X-Spam_score_int: -38 X-Spam_score: -3.9 X-Spam_bar: --- X-Spam_report: (-3.9 / 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, NICE_REPLY_A=-1.09, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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:19218 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------Qnn86QCPTxpA7r4YbxZc0ost Content-Type: multipart/mixed; boundary="------------cnPp60BlPfPWnVdQC0a1i90l"; protected-headers="v1" From: Maxime Devos To: Damien Mattei , guile-user Message-ID: <92548a01-6764-cd02-85c7-f0121030e907@telenet.be> Subject: Re: overloading an existing operator in Guile References: In-Reply-To: --------------cnPp60BlPfPWnVdQC0a1i90l Content-Type: multipart/mixed; boundary="------------E3C66nRgqYitQ7YXwp2qtCD4" --------------E3C66nRgqYitQ7YXwp2qtCD4 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 DQoNCk9wIDAzLTEwLTIwMjMgb20gMTE6MTMgc2NocmVlZiBEYW1pZW4gTWF0dGVpOg0KPiBo ZWxsbywNCj4gaXMgaXQgcG9zc2libGUgdG8gb3ZlcmxvYWQgYW4gZXhpc3Rpbmcgb3BlcmF0 b3IgaW4gR3VpbGU/DQo+IA0KPiBleGFtcGxlIG92ZXJsb2FkICsgdG8gY29uY2F0ZW5hdGUg dmVjdG9ycy4NCj4gDQo+IGZvciBleGFtcGxlIGluIFNjaGVtZSAoKyBpIGFkbWl0KSBpIGNh biBkbyA6DQo+IDsgZmlyc3Qgc3RhZ2Ugb3ZlcmxvYWRpbmcNCj4gKGRlZmluZS1vdmVybG9h ZC1leGlzdGluZy1vcGVyYXRvciArKQ0KPiANCj4gOyBzZWNvbmQgc3RhZ2Ugb3ZlcmxvYWRp bmcNCj4gKG92ZXJsb2FkLWV4aXN0aW5nLW9wZXJhdG9yICsgdmVjdG9yLWFwcGVuZCAodmVj dG9yPyB2ZWN0b3I/KSkNCj4gDQo+IGFuZCB1c2UgaXQgbGlrZSB0aGF0Og0KPj4gKCsgIygx IDIgMykgIyg0IDUgNikpDQo+ICcjKDEgMiAzIDQgNSA2KQ0KPj4gKCsgIygxIDIgMykgIyg0 IDUpICMoNiA3IDggOSkpDQo+ICcjKDEgMiAzIDQgNSA2IDcgOCA5KQ0KPj4geyMoMSAyKSAr ICMoMykgKyAjKDQgNSA2KX0NCj4gJyMoMSAyIDMgNCA1IDYpDQo+IA0KPiBpcyBpdCBwb3Nz aWJsZSBhbmQgaG93IHRvIGRvIGl0IHVzaW5nIEdPT1BTIChndWlsZSBvYmplY3Qgb3JpZW50 ZWQNCj4gcHJvZ3JhbW1pbmcgc3lzdGVtKSAsIGkgYWxyZWFkeSBkaWQgc29tZSBzb3J0IG9m IHRoaW5nIHdpdGggbmV3IG9iamVjdA0KPiAsIGJ1dCBub3Qgd2l0aCBhbiBleGlzdGluZyBv cGVyYXRvciBsaWtlICsgdGhhdCBhcHBseSB0byBudW1iZXJzIG9ubHkuDQoNCkl0J3MgZXhw bGFpbmVkIGluIOKAmChndWlsZSlNZXRob2RzIGFuZCBHZW5lcmljIEZ1bmN0aW9uc+KAmSBo b3cgdG8gZG8gdGhpcy4NCg0KSG93ZXZlciwgSSB2ZXJ5IG11Y2ggcmVjb21tZW5kIG5vdCBk b2luZyB0aGlzIGluIHlvdXIgc2l0dWF0aW9uLg0KDQpXaGlsZSB0aGlzIGNvdWxkIGJlIGEg dmFsaWQgaW50ZXJwcmV0YXRpb24gb2YgdmVjdG9yIOKAmGFkZGl0aW9u4oCZLCBoZXJlIGlz IA0KYW5vdGhlciB2YWxpZCBpbnRlcnByZXRhdGlvbiBpbmNvbXBhdGlibGUgd2l0aCB5b3Vy czoNCg0KOzsgZWxlbWVudC13aXNlIGFkZGl0aW9uDQooKyAjKDEgMiAzKSAjKDQgNSA2KSkN CiMoNSA3IDkpDQoNClN1cmUsIHlvdSBjb3VsZCBjaG9vc2UgdmVjdG9yIGFwcGVuZGluZyBp biBTY2hlbWUrIGFuZCBkb2N1bWVudCB0aGF0IA0KYXBwcm9wcmlhdGVseSwgYnV0IHNvIGNv dWxkIGEgaHlwb3RoZXRpY2FsIFNjaGVtZVBsdXMgY2hvb3NlIA0KZWxlbWVudC13aXNlIGFk ZGl0aW9uLCBhbmQgdGhlbiBpZiBzb21lb25lIGltcG9ydHMgYSBsaWJyYXJ5IHVzaW5nIA0K U2NoZW1lKyBhbmQgYWxzbyBhIGxpYnJhcnkgU2NoZW1lUGx1cywgdGhlcmUgaXMgYW1iaWd1 aXR5IGFuZCBHT09QUyB3aWxsIA0KZ2V0IHRoaW5ncyB3cm9uZyENCg0KSW5zdGVhZCwgSSBw cm9wb3NlIHVzaW5nIHRoZSBzeW1ib2wgJysrJyBhbmQgZGVmaW5pbmcgYSBuZXcgbWV0aG9k IG5hbWVkIA0KJysrJy4gIEl0IHdvdWxkIHVuYW1iaWd1b3VzbHkgbWVhbiDigJhhcHBlbmRp bmfigJkgKCopIGluc3RlYWQgb2YgDQrigJhhZGRpdGlvbuKAmSwgYW5kIGFzIGFuIGFkZGl0 aW9uYWwgYmVuZWZpdCwgc29tZSBvdGhlciBsYW5ndWFnZXMgKF4pIHVzZSANCicrKycgdG8g bWVhbiBhcHBlbmRpbmcgYXMgd2VsbC4NCg0KKCopIHN0cmluZy1hcHBlbmQsIGFwcGVuZCwg dmVjdG9yLWFwcGVuZCwgLi4uDQooXikgZm9yIGV4YW1wbGUsIENvcSBhbmQgSGFza2VsbA0K DQpCZXN0IHJlZ2FyZHMsDQpNYXhpbWUgRGV2b3MuDQo= --------------E3C66nRgqYitQ7YXwp2qtCD4 Content-Type: application/pgp-keys; name="OpenPGP_0x49E3EE22191725EE.asc" Content-Disposition: attachment; filename="OpenPGP_0x49E3EE22191725EE.asc" Content-Description: OpenPGP public key Content-Transfer-Encoding: quoted-printable -----BEGIN PGP PUBLIC KEY BLOCK----- xjMEX4ch6BYJKwYBBAHaRw8BAQdANPb/d6MrGnGi5HyvODCkBUJPRjiFQcRU5V+m xvMaAa/NL01heGltZSBEZXZvcyA8bWF4aW1lLmRldm9zQHN0dWRlbnQua3VsZXV2 ZW4uYmU+wpAEExYIADgWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCX4ch6AIbAwUL CQgHAwUVCgkICwUWAgMBAAIeAQIXgAAKCRBJ4+4iGRcl7japAQC3opZ2KGWzWmRc /gIWSu0AAcfMwyinFEEPa/QhUt2CogD/e2RdF4CYAgaRHJJmZ9WU7piKbLZ7llB4 LzgezVDHggzNJU1heGltZSBEZXZvcyA8bWF4aW1lZGV2b3NAdGVsZW5ldC5iZT7C kAQTFggAOBYhBMHzPuIMUo/bfdcBH0nj7iIZFyXuBQJf56ycAhsDBQsJCAcDBRUK CQgLBRYCAwEAAh4BAheAAAoJEEnj7iIZFyXujpQBAKV1SwDDl4f24rXciDlB9L8W ycZt30CgbewMSRQk4mvbAP9dFMbVVixYBd6C8cfhR+NsOBGiOJnQABlUmgNuqGFJ Dc44BF+HIegSCisGAQQBl1UBBQEBB0BOlzIWiJzgobMF6/cqwLaLk7jIcFSZ++c0 k9cCNT6YXwMBCAfCeAQYFggAIBYhBMHzPuIMUo/bfdcBH0nj7iIZFyXuBQJfhyHo AhsMAAoJEEnj7iIZFyXuMr0BAJc8cl5PGvVmVuSQVKjleNl4DK1/XAaPAYPe34AE fZJPAP9IqLCQhH/FeJanHqBP8gNdGNI2qn8RnnLVfRJgUjZ1BA=3D=3D =3DOVqp -----END PGP PUBLIC KEY BLOCK----- --------------E3C66nRgqYitQ7YXwp2qtCD4-- --------------cnPp60BlPfPWnVdQC0a1i90l-- --------------Qnn86QCPTxpA7r4YbxZc0ost Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wnsEABYIACMWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCZRxeyQUDAAAAAAAKCRBJ4+4iGRcl7mxB AP9Aeese9PIF7g6D7tKJW30Y4vX89Y9qoM4347WvqcOhvwD/YBSOIpJ596Sb2wET589l7Mkcc37B gG6KJdcsCqRJDw0= =HGK/ -----END PGP SIGNATURE----- --------------Qnn86QCPTxpA7r4YbxZc0ost--