From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Attila Lendvai Newsgroups: gmane.lisp.guile.devel Subject: RE: exception from inside false-if-exception? Date: Mon, 17 Jun 2024 19:57:58 +0000 Message-ID: References: <87le4wz1s9.fsf@cbaines.net> <20240506205840.Kuyd2C00E17cfcj01uygoD@xavier.telenet-ops.be> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="b1_TGS6MIfLZks9nBXtGtAzqNPJlq63rwGs7FtJMC0k1oQ" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="34860"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Christopher Baines , "guile-devel@gnu.org" , "46009@debbugs.gnu.org" <46009@debbugs.gnu.org> To: Maxime Devos Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Mon Jun 17 21:58:28 2024 Return-path: Envelope-to: guile-devel@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 1sJIUk-0008mz-Pw for guile-devel@m.gmane-mx.org; Mon, 17 Jun 2024 21:58:27 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sJIUY-0003ce-3a; Mon, 17 Jun 2024 15:58:14 -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 1sJIUW-0003XZ-1A for guile-devel@gnu.org; Mon, 17 Jun 2024 15:58:12 -0400 Original-Received: from mail-4018.proton.ch ([185.70.40.18]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sJIUS-0006zg-F0 for guile-devel@gnu.org; Mon, 17 Jun 2024 15:58:11 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lendvai.name; s=protonmail2; t=1718654283; x=1718913483; bh=owQt9nscIJNrYqud75i5OUWKNSWckRhFyRBva0KRadQ=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=lZvSRB4ScpgjiaWvDt04xBBrykizBOU5SITrzy2cJ6ECMEiDTci9UXu/wLBMZ1KTz S+S+AxH5UBWM9b0zmymaAAMCqZuxAoWRtOl5IPl5PWQzMqv6aeUayivm+l2fSbRVT9 x4MakHKeDYAQYwNp3olvQAQ89cy8/sK56RzOI5P5jM0+GaNAqmFZ82CiMkaws4Mhn/ VL/JCEiSL8WoOP56EgtQQQIyOiYfkrGSQ5ETMrpO1S/jlocKu1OxVGThCHx61akzeV LFmYeOZLelLXzxZ741D/xtijjYxuDUqg1HcJ/1CLIYBOg0nUfaLSmsTpS86lnM+pmc A2kRwlYMHh2Uw== In-Reply-To: Feedback-ID: 28384833:user:proton X-Pm-Message-ID: 2c08454723d75ec8ee716474a1068f14308c244f Received-SPF: pass client-ip=185.70.40.18; envelope-from=attila@lendvai.name; helo=mail-4018.proton.ch 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, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.devel:22445 Archived-At: This is a multi-part message in MIME format. --b1_TGS6MIfLZks9nBXtGtAzqNPJlq63rwGs7FtJMC0k1oQ Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable apparently this has been fixed between 3.0.9 and HEAD. i've wasted my time = chasing a ghost... can we please have a new release? :) as a sidenote, i also had some broken expectations in my test.scm. it's a tangential, but namely, when #:unwind #t then the handler in a w-e-h= returns from the w-e-h block, but with #:unwind #f it tries to return to t= he RAISE that raised the condition. i.e. a lousy little keyword arg (usuall= y a page down) fundamentally changes the behavior of w-e-h. yet another sur= prise that violated my expectations regarding APIs. anyway, i've attached a patch that clarifies what's happening for anyone wh= o stumbles upon this; i.e. be clearer that (?) a backtrace is printed due t= o reaching a continuation barrier. this makes it grep'able, and if the user also prints a backtrace, then it m= akes it clear that it's something printed by guile. if someone wants to investigate further, then i'm also attaching a new vers= ion of my test.scm that behaves in an unexpected way on 3.0.9, but not on H= EAD (more specifically on guile-next in guix, which is a rather recent comm= it). HTH, --=20 =E2=80=A2 attila lendvai =E2=80=A2 PGP: 963F 5D5F 45C7 DFCD 0A39 -- All men dream, but not equally. Those who dream by night in the dusty reces= ses of their minds wake in the day to find that it was vanity. But the drea= mers of the day are dangerous men, for they may act their dream with open e= yes to make it possible. --b1_TGS6MIfLZks9nBXtGtAzqNPJlq63rwGs7FtJMC0k1oQ Content-Type: text/x-patch; name=0001-More-specific-error-message-for-exceptions-at-contin.patch Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=0001-More-specific-error-message-for-exceptions-at-contin.patch RnJvbSBkNDU4MTcwOTcxODFkNGE1ODEyNDA1NDc0YWM3YjI0YWYzNTMxZjdhIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBBdHRpbGEgTGVuZHZhaSA8YXR0aWxhQGxlbmR2YWkubmFtZT4K RGF0ZTogTW9uLCAxNyBKdW4gMjAyNCAxOTo0Njo0NSArMDIwMApTdWJqZWN0OiBbUEFUQ0hdIE1v cmUgc3BlY2lmaWMgZXJyb3IgbWVzc2FnZSBmb3IgZXhjZXB0aW9ucyBhdCBjb250aW51YXRpb24K IGJhcnJpZXJzCgotLS0KIGxpYmd1aWxlL2NvbnRpbnVhdGlvbnMuYyB8IDIgKy0KIDEgZmlsZSBj aGFuZ2VkLCAxIGluc2VydGlvbigrKSwgMSBkZWxldGlvbigtKQoKZGlmZiAtLWdpdCBhL2xpYmd1 aWxlL2NvbnRpbnVhdGlvbnMuYyBiL2xpYmd1aWxlL2NvbnRpbnVhdGlvbnMuYwppbmRleCBiOGI2 ZTFkY2EuLjQ5ZjgyNjZkZCAxMDA2NDQKLS0tIGEvbGliZ3VpbGUvY29udGludWF0aW9ucy5jCisr KyBiL2xpYmd1aWxlL2NvbnRpbnVhdGlvbnMuYwpAQCAtNDA1LDcgKzQwNSw3IEBAIHByaW50X2V4 Y2VwdGlvbl9hbmRfYmFja3RyYWNlIChTQ00gcG9ydCwgU0NNIHRhZywgU0NNIGFyZ3MpCiAKICAg aWYgKHNob3VsZF9wcmludF9iYWNrdHJhY2UgKHRhZywgc3RhY2spKQogICAgIHsKLSAgICAgIHNj bV9wdXRzICgiQmFja3RyYWNlOlxuIiwgcG9ydCk7CisgICAgICBzY21fcHV0cyAoIkFuIGV4Y2Vw dGlvbiBoYXMgcmVhY2hlZCBhIGNvbnRpbnVhdGlvbiBiYXJyaWVyOlxuIiwgcG9ydCk7CiAgICAg ICBzY21fZGlzcGxheV9iYWNrdHJhY2Vfd2l0aF9oaWdobGlnaHRzIChzdGFjaywgcG9ydCwKICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFNDTV9CT09MX0YsIFND TV9CT09MX0YsCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBT Q01fRU9MKTsKLS0gCjIuNDUuMQoK --b1_TGS6MIfLZks9nBXtGtAzqNPJlq63rwGs7FtJMC0k1oQ Content-Type: text/x-scheme; name=test.scm Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=test.scm IyEvdXNyL2Jpbi9lbnYgLVMgZ3VpbGUgLS1uby1hdXRvLWNvbXBpbGUgLWUgbWFpbiAtcwohIwoK KHVzZS1tb2R1bGVzIChpY2UtOSBjb250cm9sKSkKCihkZWZpbmUqICh0ZXN0ICM6a2V5ICh1bndp bmQ/ICNmKSkKICAobGV0L2VjIHJldHVybgogICAgKHdpdGgtZXhjZXB0aW9uLWhhbmRsZXIKICAg ICAgICAobGV0ICgobmVzdGVkICNmKSkKICAgICAgICAgIChsYW1iZGEgKGMtbGV2ZWwtMSkKICAg ICAgICAgICAgKGlmIG5lc3RlZAogICAgICAgICAgICAgICAgKGJlZ2luCiAgICAgICAgICAgICAg ICAgIChmb3JtYXQgI3QgImxldmVsIDEgaGFuZGxlciBnb3QgY2FsbGVkIHJlY3Vyc2l2ZWx5fiUi KQogICAgICAgICAgICAgICAgICAnbGV2ZWwtMS1oYW5kbGVyLW5lc3RlZCkKICAgICAgICAgICAg ICAgIChiZWdpbgogICAgICAgICAgICAgICAgICAoc2V0ISBuZXN0ZWQgI3QpCiAgICAgICAgICAg ICAgICAgICh3aXRoLWV4Y2VwdGlvbi1oYW5kbGVyCiAgICAgICAgICAgICAgICAgICAgICAobGFt YmRhIChjLWxldmVsLTIpCiAgICAgICAgICAgICAgICAgICAgICAgIChiZWdpbgogICAgICAgICAg ICAgICAgICAgICAgICAgIChmb3JtYXQgI3QgImxldmVsIDIgaGFuZGxlciBnb3QgZXJyb3IgfkF+ JSIgYy1sZXZlbC0yKQogICAgICAgICAgICAgICAgICAgICAgICAgIChmb3JtYXQgI3QgImxldmVs IDIgaGFuZGxlciBpcyByZXR1cm5pbmd+JSIpCiAgICAgICAgICAgICAgICAgICAgICAgICAgKHJl dHVybiAnbGV2ZWwtMi1oYW5kbGVyKSkpCiAgICAgICAgICAgICAgICAgICAgKGxhbWJkYSAoKQog ICAgICAgICAgICAgICAgICAgICAgKGZvcm1hdCAjdCAibGV2ZWwgMSBoYW5kbGVyfiUiKQogICAg ICAgICAgICAgICAgICAgICAgKGVycm9yICJsZXQncyBzaWduYWwgYSBuZXN0ZWQgZXJyb3IuLi4i KQogICAgICAgICAgICAgICAgICAgICAgKGZvcm1hdCAjdCAibGV2ZWwgMSBoYW5kbGVyIGlzIHJl dHVybmluZ34lIikKICAgICAgICAgICAgICAgICAgICAgIChyZXR1cm4gJ2xldmVsLTEtaGFuZGxl cikpCiAgICAgICAgICAgICAgICAgICAgIzp1bndpbmQ/IHVud2luZD8pKSkpKQogICAgICAobGFt YmRhICgpCiAgICAgICAgKGVycm9yICJsZXQncyBzaWduYWwgYW4gZXJyb3IuLi4iKQogICAgICAg ICd0aHVuaykKICAgICAgIzp1bndpbmQ/IHVud2luZD8pKSkKCihkZWZpbmUgKG1haW4gY21kKQog ICh1bnNldGVudiAiQ09MVU1OUyIpCiAgKGZvcm1hdCAjdCAifiV+JSoqKiBjYWxsaW5nIHdpdGgg dW53aW5kfiUiKQogIChmb3JtYXQgI3QgInJldHVybiB2YWx1ZSBpczogfkF+JSIgKHRlc3QgIzp1 bndpbmQ/ICN0KSkKICAoZm9ybWF0ICN0ICJ+JX4lKioqIGNhbGxpbmcgd2l0aG91dCB1bndpbmR+ JSIpCiAgKGZvcm1hdCAjdCAicmV0dXJuIHZhbHVlIGlzOiB+QX4lIiAodGVzdCAjOnVud2luZD8g I2YpKSkK --b1_TGS6MIfLZks9nBXtGtAzqNPJlq63rwGs7FtJMC0k1oQ--