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: Contracts macro example Date: Wed, 20 Jul 2022 10:55:53 +0200 Message-ID: <40733751-fe8e-1e01-4a41-23b83a0c6e35@telenet.be> References: Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------Z9UHb16UMoHYPrOQF38q7gTS" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12201"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.11.0 Cc: Guile User To: Zelphir Kaltstahl Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Wed Jul 20 10:56:36 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 1oE5VT-0002xU-AW for guile-user@m.gmane-mx.org; Wed, 20 Jul 2022 10:56:35 +0200 Original-Received: from localhost ([::1]:58834 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oE5VR-0003W0-W5 for guile-user@m.gmane-mx.org; Wed, 20 Jul 2022 04:56:34 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:56960) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oE5Us-0003Vi-TK for guile-user@gnu.org; Wed, 20 Jul 2022 04:55:58 -0400 Original-Received: from albert.telenet-ops.be ([2a02:1800:110:4::f00:1a]:57894) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oE5Uq-0008Vo-Hg for guile-user@gnu.org; Wed, 20 Jul 2022 04:55:58 -0400 Original-Received: from [IPV6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16] ([IPv6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16]) by albert.telenet-ops.be with bizsmtp id xLvt2700T20ykKC06LvtLY; Wed, 20 Jul 2022 10:55:54 +0200 Content-Language: en-US In-Reply-To: DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1658307354; bh=V6b27d1jPlIn5gplSFeIiAkXYrPZNBlJlrWlAv94n1E=; h=Date:To:Cc:References:From:Subject:In-Reply-To; b=LU720qU1GFtdKd9KHAazdfNxwUFKcuwCy9ZhLuKlHb74cARI4H67Q2UVEZAwKCQn2 XqMm1P/i4v4McSYNFlR/oldf7RoQEBCDYgHIUtBQOLiDf2VyrgBrQ3wY2rV6E29SZq nZ4syNopzm3dM0IV8DjohJoM7fHBuRZiZQFcJiOWQHues7LLsvvrShkOcdPiqnWzbS 0R21i8udLhhlUJ+Bap7qKxp4URQy5hz5SC1lnQd+uddubI43e6ZovXZdqCaWJfSMkv ChunKFsKid08Rcbay64glSqJkdrCKlKce3sDFl6f8CWDpi6loKbf1//lxkp/Too7I/ Cfj/e5EuOHhTA== 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: -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, HTML_MESSAGE=0.001, NICE_REPLY_A=-0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 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" Xref: news.gmane.io gmane.lisp.guile.user:18437 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------Z9UHb16UMoHYPrOQF38q7gTS Content-Type: multipart/mixed; boundary="------------uPM294ku57GCwBA6fepOJzuN"; protected-headers="v1" From: Maxime Devos To: Zelphir Kaltstahl Cc: Guile User Message-ID: <40733751-fe8e-1e01-4a41-23b83a0c6e35@telenet.be> Subject: Re: Contracts macro example References: In-Reply-To: --------------uPM294ku57GCwBA6fepOJzuN Content-Type: multipart/mixed; boundary="------------xy1fOx95JkCF1CCTY2bdcBUx" --------------xy1fOx95JkCF1CCTY2bdcBUx Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 T24gMjAtMDctMjAyMiAxMDozOSwgWmVscGhpciBLYWx0c3RhaGwgd3JvdGU6DQoNCj4+IEl0 IHdvdWxkIGFsc28gYmUgbmljZSB0byBkZWZpbmUgYSBnbG9iYWwgJ3JlcXVpcmUnIGFuZCAn ZW5zdXJlJyBhbmQNCj4+ICc8Pz4nIHNvbWV3aGVyZSAoZS5nLjogKGRlZmluZS1zeW50YXgg cmVxdWlyZSAoaWRlbnRpZmllci1zeW50YXgNCj4+IChzeW50YXgtZXJyb3IgIidyZXF1aXJl JyBjYW4gb25seSBiZSB1c2VkIGFzIHBhcnQgb2YgYSBjb250cmFjdA0KPj4gY29uc3RydWN0 IikpKSksIHRoYXQgd2F5LCByZXF1aXJlIC8gZW5zdXJlIC8gPD8+IGNhbiBiZSByZW5hbWVk IGR1cmluZw0KPj4gaW1wb3J0aW5nLCBzbyBhbGwgY29udHJhY3QgdGhpbmdzIGNvdWxkIGJl IHByZWZpeGVkIHdpdGgsIHNheSwNCj4+IGNvbnRyYWN0Oi4NCj4NCj4gSSB0aG91Z2h0IGFi b3V0IGltcGxlbWVudGluZyA8Pz4gZm9yIHRoZSBpbnNlcnRpb24gbG9jYXRpb24gb2YgdGhl IA0KPiByZXN1bHQgaW4gYSBwcmVkaWNhdGUsIGJ1dCBpbml0aWFsbHkgd2FudGVkIHRvIGtl ZXAgaXQgc2ltcGxlIGFuZCBnZXQgDQo+IGEgc2ltcGxlIHZlcnNpb24gdG8gd29yay4gSSB0 aGluayBJIGhhdmUgc2VlbiB0aGlzIGZvciBwaXBlbGluaW5nIGluIA0KPiBhbiBTUkZJIGJl Zm9yZSDigKYgKmNoZWNrcyog4oCmIE1heWJlIGluIA0KPiBodHRwczovL3NyZmkuc2NoZW1l cnMub3JnL3NyZmktMTk3L3NyZmktMTk3Lmh0bWwsIG9yIA0KPiBodHRwczovL3NyZmkuc2No ZW1lcnMub3JnL3NyZmktMjYvc3JmaS0yNi5odG1sLCBvciBtYXliZSBpbiBzb21lIG90aGVy IA0KPiByZXBvc2l0b3J5Lg0KPg0KPiBOb3cgdGhhdCB0aGUgYmFzaWMgdmVyc2lvbiB3b3Jr cywgSSBjYW4gdHJ5IHRvIGludHJvZHVjZSB0aGUgcGxhY2Vob2xkZXIuDQo+DQo+IFRoZSBp ZGVhIGlzIHRvIGRlZmluZSB0aGVzZSBnbG9iYWxseSBpbiB0aGUgbW9kdWxlLCBzbyB0aGF0 IHRoZXkgY2FuIA0KPiBiZSBleHBvcnRlZCBzZXBhcmF0ZWx5LCBzbyB0aGF0IHRoZXkgY2Fu IGJlIHJlbmFtZWQgdXBvbiBpbXBvcnQsIGNvcnJlY3Q/DQpZZXMuDQo+DQo+IEhvdyBjb3Vs ZCBhIG1hY3JvIGNoZWNrLCB3aGV0aGVyIGl0IGlzIHVzZWQgaW5zaWRlIHNvbWV0aGluZyBl bHNlPyBJZiANCj4gdGhlIHBhdHRlcm4gbWF0Y2hpbmcgb25seSBsb29rcyBhdCB0aGUgZm9y bSBvZiB0aGUgbWFjcm8gaXRzZWxmLCBob3cgDQo+IGNhbiBJIGdldCB0aGUgImNvbnRleHQi LCBpbiB3aGljaCBpdCB3YXMgdXNlZCBhbmQgY2hlY2ssIHdoZXRoZXIgdGhhdCANCj4gaXMg aW5zaWRlIGEgYGRlZmluZS13aXRoLWNvbnRyYWN0YD8gSSB0aGluayBJIGhhdmUgbm90IHll dCB1bmxvY2tlZCANCj4gdGhhdCBrbm93bGVkZ2UgeWV0IDogKSANCg0KVGhhdCdzIG9uZSB3 YXkgdG8gaW1wbGVtZW50IHRoaW5ncyAoc3ludGF4LXBhcmFtZXRlcml6ZSBzb3VuZHMgdXNl ZnVsIA0KaGVyZSksIGJ1dCB0aGF0IHNvdW5kcyB3YXkgbW9yZSBjb21wbGljYXRlZCB0aGFu IG5lZWRzIHRvIGJlLsKgIEFsbCB5b3UgDQpuZWVkIHRvIGRvIGlzOg0KDQogICoga2VlcCB0 aGUgb3JpZ2luYWwgY29kZQ0KICAqIEFkZDoNCiAgICAoZGVmaW5lIDw/PiAiY29uc2lkZXIg ZGVmaW5lLXN5bnRheCtpZGVudGlmaWVyLXN5bnRheCtzeW50YXgtZXJyb3INCiAgICBmb3Ig YmV0dGVyIGVycm9yIG1lc3NhZ2VzIGJ1dCB0aGlzIHdpbGwgZG8gZm9yIG5vdykNCiAgKiBF eHBvcnQgPD8+IChhdCBsZWFzdCwgb25jZSB5b3VyIGNvZGUgaXMgdHVybmVkIGludG8gYSBt b2R1bGUsIGlmIHRoZQ0KICAgIHVzZXJzIG9mIGRlZmluZS13aXRoLWNvbnRyYWN0IGFyZSBp biB0aGUgc2FtZSBtb2R1bGUgYXMNCiAgICBkZWZpbmUtd2l0aC1jb250cmFjdCB0aGVuIGV4 cG9ydGluZyBpc24ndCByZXF1aXJlZCB0aG91Z2ggaGFybWxlc3MpDQogICogTGlrZXdpc2Ug Zm9yICdyZXF1aXJlJyBhbmQgJ2Vuc3VyZScNCg0KQnkgZG9pbmcgdGhhdCwgc3ludGF4LXJ1 bGVzIGtub3dzIHRoYXQgaXRzICc8Pz4nLCAncmVxdWlyZScgYW5kICdlbnN1cmUnIA0KaXMg bm90IGp1c3QgdGhlIHN5bWJvbCAnPD8+JyAncmVxdWlyZScgYW5kICdlbnN1cmUnLCBidXQg dGhlIA0KX2lkZW50aWZpZXJfICh3aGljaCBrZWVwcyBiZWluZyB0aGUgc2FtZSBpZGVudGlm aWVyIGFmdGVyIHJlbmFtaW5nKSANCic8Pz4nLCAncmVxdWlyZScgYW5kICdlbnN1cmUnLg0K DQooTm90ZSB0aGF0IGFzIGEgY29uc2VxdWVuY2UswqAgaWYgeW91IGRvIHRoYXQsIChsZXQg KChyZXF1aXJlIDApKSANCihkZWZpbmUtd2l0aC1jb250cmFjdCBmb28gKHJlcXVpcmUpIChl bnN1cmUpIChsYW1iZGEgXyAwKSkpIHdpbGwgYmUgYSANCnN5bnRheCBlcnJvciwgYmVjYXVz ZSB0aGUgJ3JlcXVpcmUnIGluIGRlZmluZS13aXRoLWNvbnRyYWN0IG5vdyByZWZlcnMgDQp0 byB0aGUgdmFyaWFibGUgJ3JlcXVpcmUnIGZyb20gdGhlIGxldCwgbm90IHRoZSBpZGVudGlm aWVyIGZyb20geW91ciANClJuUlMgbW9kdWxlKS4NCg0KVGhhdCdzIGFsbCB5b3UgbmVlZCB0 byBkbyAodW50ZXN0ZWQpIQ0KDQoNCkdyZWV0aW5ncywNCk1heGltZQ0KDQo= --------------xy1fOx95JkCF1CCTY2bdcBUx 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----- --------------xy1fOx95JkCF1CCTY2bdcBUx-- --------------uPM294ku57GCwBA6fepOJzuN-- --------------Z9UHb16UMoHYPrOQF38q7gTS Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wnsEABYIACMWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYtfDGQUDAAAAAAAKCRBJ4+4iGRcl7qzG AQDGNlT9q7YXBRHfguk74kn8VbGHsR8+hPSDr+xvFq6FrwEAv5xhob7+9G160UPpTIbzJKyYVr1W UFjOB9MJeDc0oQw= =/WA4 -----END PGP SIGNATURE----- --------------Z9UHb16UMoHYPrOQF38q7gTS--