From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Vivien Kraus Newsgroups: gmane.lisp.guile.user Subject: Re: define-typed: checking values on proc entry and exit Date: Sat, 11 May 2024 10:18:06 +0200 Message-ID: <691ca3a2aa40387f05bfa611983e242881aa116f.camel@planete-kraus.eu> References: <871q6axg4s.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="697"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Evolution 3.48.4 To: "Dr. Arne Babenhauserheide" , guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Sat May 11 10:18:40 2024 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 1s5hwF-000Abb-SE for guile-user@m.gmane-mx.org; Sat, 11 May 2024 10:18:39 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s5hvs-0006Dj-MQ; Sat, 11 May 2024 04:18:16 -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 1s5hvq-0006DN-KY for guile-user@gnu.org; Sat, 11 May 2024 04:18:14 -0400 Original-Received: from planete-kraus.eu ([89.234.140.182]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1s5hvo-000223-Lu for guile-user@gnu.org; Sat, 11 May 2024 04:18:14 -0400 Original-Received: from planete-kraus.eu (localhost [127.0.0.1]) by planete-kraus.eu (OpenSMTPD) with ESMTP id e2e3d01b; Sat, 11 May 2024 08:18:07 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=planete-kraus.eu; h= message-id:subject:from:to:date:in-reply-to:references :content-type:content-transfer-encoding:mime-version; s= albinoniA; bh=fPnI1bGZP7t4U0aTZjHKGustGkU=; b=ghGnqv9ViXrD15CGSg kvKIUJce1DZ6VCnFAeku2FxI2EbIx0qYnFvAE89KVVcZMjkSMQyqfrx0+3xZxE+T v51U6PUnBYtEgCsyU9ifHddmbPuF985woItfw/2fdI8rZJwwyXTK4lmo9ONkliSL 4kDufPyH5QolztDO2RnUY7Xte4sjao9BtOazxb282BcT5CM1FcMzgl7mCkY2t1f5 UoYT5yg/8yUQrCLjblXveOrv73XUCmJ6+0bBNW3dBmaW3gJlDkqmC2hRnMASKmkF 0Igk31BhXZlJyI2i2ZTHZO36wlfVTvPEGLgCdbJz4t12zX2yqGZPxb59AqTcYQJx FkMA== Original-Received: by planete-kraus.eu (OpenSMTPD) with ESMTPSA id 34358f17 (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO); Sat, 11 May 2024 08:18:07 +0000 (UTC) In-Reply-To: <871q6axg4s.fsf@web.de> Received-SPF: pass client-ip=89.234.140.182; envelope-from=vivien@planete-kraus.eu; helo=planete-kraus.eu X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, SPF_HELO_PASS=-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:19632 Archived-At: SGVsbG8hCgpUaGlzIGlzIGFuIGludGVyZXN0aW5nIGFwcHJvYWNoLCB0aGFuayB5b3UuCgpMZSB2 ZW5kcmVkaSAxMCBtYWkgMjAyNCDDoCAwOTo0NyArMDIwMCwgRHIuIEFybmUgQmFiZW5oYXVzZXJo ZWlkZSBhCsOpY3JpdMKgOgo+IOKUgsKgwqDCoMKgwqDCoCA7OyBnZXQgdGhlIHJlc3VsdAo+IOKU gsKgwqDCoMKgwqDCoCAobGV0ICgocmVzIChoZWxwZXIpKSkKPiDilILCoMKgwqDCoMKgwqDCoMKg IDs7IHR5cGVjaGVjayB0aGUgcmVzdWx0Cj4g4pSCwqDCoMKgwqDCoMKgwqDCoCAodW5sZXNzIChy ZXQ/IHJlcykKPiDilILCoMKgwqDCoMKgwqDCoMKgwqDCoCAoZXJyb3IgInR5cGUgZXJyb3I6IHJl dHVybiB2YWx1ZSB+YSBkb2VzIG5vdCBtYXRjaCB+YSIKPiDilILCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgIHJlcyByZXQ/KSkKPiDilILCoMKgwqDCoMKgwqDCoMKgIDs7IHJldHVy biB0aGUgcmVzdWx0Cj4g4pSCwqDCoMKgwqDCoMKgwqDCoCByZXMpKQoKQSBuaWNlIGltcHJvdmVt ZW50IHdvdWxkIGJlIHRvIHN1cHBvcnQgbXVsdGlwbGUgcmV0dXJuIHZhbHVlcywgZm9yCmluc3Rh bmNlIGJ5IHVzaW5nIGNhbGwtd2l0aC12YWx1ZXMsIGFuZCBjaGVja2luZyB0aGUgcmV0dXJuIHZh bHVlIHdpdGgKKGFwcGx5IHJldD8gcmVzKSBpbnN0ZWFkIG9mIChyZXQ/IHJlcykuCgpXaGF0IGRv IHlvdSB0aGluaz8KCkJlc3QgcmVnYXJkcywKClZpdmllbgo=