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: Thu, 4 Aug 2022 18:19:04 +0200 Message-ID: <1c7afd30-1ec6-5edb-7835-cf4cc9f70c27@telenet.be> References: <40733751-fe8e-1e01-4a41-23b83a0c6e35@telenet.be> <4e89ed41-dcbe-a7f5-f4b3-314e325016a5@posteo.de> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------Hay3UvJ3v0wBUlZFiTYhV4mi" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="23256"; 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 Thu Aug 04 18:24:19 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 1oJddx-0005t4-BJ for guile-user@m.gmane-mx.org; Thu, 04 Aug 2022 18:24:17 +0200 Original-Received: from localhost ([::1]:49210 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oJddw-0001l3-4l for guile-user@m.gmane-mx.org; Thu, 04 Aug 2022 12:24:16 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:37334) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oJdZ2-0004lh-HQ for guile-user@gnu.org; Thu, 04 Aug 2022 12:19:13 -0400 Original-Received: from baptiste.telenet-ops.be ([2a02:1800:120:4::f00:13]:41246) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oJdZ0-0007JR-Dj for guile-user@gnu.org; Thu, 04 Aug 2022 12:19:12 -0400 Original-Received: from [IPV6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16] ([IPv6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16]) by baptiste.telenet-ops.be with bizsmtp id 3UK42800o20ykKC01UK4X0; Thu, 04 Aug 2022 18:19:06 +0200 Content-Language: en-US In-Reply-To: <4e89ed41-dcbe-a7f5-f4b3-314e325016a5@posteo.de> DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1659629946; bh=+X+oKTEM9aRhvRRK6raUgsHv6Z3yAjI+ONoldyQC0mE=; h=Date:To:Cc:References:From:Subject:In-Reply-To; b=T+pc1tV7dTghCY7ZEIjiQASO+n28w+pS+ZkeqMQN95aAux+8xTrdG4MZb4P4KUHAh SDf3pdk/IExcNF6tDNnWyo6f0NFRCeVCuuxAG9AdQ/vF3p16HtfzIn6Ub5wrlhmAVV O5z/eqps4XKqCJXjL4wmgbe2B0kOIz0tLqaeoVo1su0UFP2kQAVsh3q+QewYOj9hDn bcojnUvMT2OU7EiNeZO/Eg48PJk/6xWP0rRcU1t4MhKra60rlykH66S6E/3nr3i0Cl OLi7oY6rM/iAqDScGR/gA6Mrurzqnv0jcg5zSTUyWfQYP01fBjw3pAcTxiHH5teDD+ x3Jdz3pcph2ew== Received-SPF: pass client-ip=2a02:1800:120:4::f00:13; envelope-from=maximedevos@telenet.be; helo=baptiste.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:18486 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------Hay3UvJ3v0wBUlZFiTYhV4mi Content-Type: multipart/mixed; boundary="------------k4ZbchCEWV0FxqbJbz0XYrvs"; protected-headers="v1" From: Maxime Devos To: Zelphir Kaltstahl Cc: Guile User Message-ID: <1c7afd30-1ec6-5edb-7835-cf4cc9f70c27@telenet.be> Subject: Re: Contracts macro example References: <40733751-fe8e-1e01-4a41-23b83a0c6e35@telenet.be> <4e89ed41-dcbe-a7f5-f4b3-314e325016a5@posteo.de> In-Reply-To: <4e89ed41-dcbe-a7f5-f4b3-314e325016a5@posteo.de> --------------k4ZbchCEWV0FxqbJbz0XYrvs Content-Type: multipart/mixed; boundary="------------5jpvvKWp8DVE67LFWNBnKElp" --------------5jpvvKWp8DVE67LFWNBnKElp Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 T24gMjQtMDctMjAyMiAwMzoyMSwgWmVscGhpciBLYWx0c3RhaGwgd3JvdGU6DQoNCj4gfn5+ fg0KPiAoZGVmaW5lLXN5bnRheCByZXF1aXJlDQo+ICAgIChpZGVudGlmaWVyLXN5bnRheA0K PiAgICAgKHN5bnRheC1lcnJvciAiJ3JlcXVpcmUnIGNhbiBvbmx5IGJlIHVzZWQgYXMgcGFy dCBvZiBhIGNvbnRyYWN0IGNvbnN0cnVjdCIpKSkNCj4gfn5+fg0KPg0KPiBDYW4geW91IGV4 cGxhaW4gaG93IGl0IHdvcmtzPw0KPg0KSWYgeW91IG1lYW50OiBob3cgY2FuIGlkZW50aWZp ZXItc3ludGF4ICsgc3ludGF4LWVycm9yIGJlIHVzZWQ/IC0tIEkgDQpkb24ndCBoYXZlIG1v cmUgaW5mb3JtYXRpb24gdGhhbiB0aGUgZXhwbGFuYXRpb25zIGluIHRoZSBtYW51YWwgb24g DQppZGVudGlmaWVyLXN5bnRheCBhbmQgc3ludGF4LWVycm9yLg0KDQpJZiB5b3UgbWVhbnQ6 IGhvdyBkb2VzIGl0IHdvcms/wqAgSSBkb24ndCBrbm93IGhvdyBHdWlsZSdzIG1hY3JvIHN5 c3RlbSANCmlzIGltcGxlbWVudGVkLCB5b3UnbGwgaGF2ZSB0byBsb29rIGF0IHRoZSBzb3Vy Y2UgY29kZSBvZiAoaWNlLTkgDQpwc3ludGF4KSwgbWF5YmUgcmVhZCB0aGUgcGFwZXIgaXQg Y2l0ZXMuDQoNCklmIHlvdSBtZWFudDogaG93IHRvIHVzZSBpdD8gQWxsIHlvdSBoYXZlIHRv IGRvIGlzIHJlcGxhY2UgeW91ciAoZGVmaW5lIA0KcmVxdWlyZSAuLi4pIGJ5IHRoZSAoZGVm aW5lLXN5bnRheCByZXF1aXJlIC4uLikNCg0KR3JlZXRpbmdzLA0KTWF4aW1lDQoNCg== --------------5jpvvKWp8DVE67LFWNBnKElp 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----- --------------5jpvvKWp8DVE67LFWNBnKElp-- --------------k4ZbchCEWV0FxqbJbz0XYrvs-- --------------Hay3UvJ3v0wBUlZFiTYhV4mi Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wnsEABYIACMWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYuvxeAUDAAAAAAAKCRBJ4+4iGRcl7gmn AQDEzx67Ux4A0sR1/D/0lRVPIlDWhNLC+TNZhJvei5KKSQD8D0/7Tr7sw38Xg9/jRWYMbtRN+uhv yS3dXTtCxkQGoAE= =gFca -----END PGP SIGNATURE----- --------------Hay3UvJ3v0wBUlZFiTYhV4mi--