From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Mark H Weaver Newsgroups: gmane.lisp.guile.devel Subject: Re: guile 3 update, halloween edition Date: Sat, 02 Nov 2019 01:20:04 -0400 Message-ID: <877e4irh0g.fsf@netris.org> References: <87o8xyhtz6.fsf@pobox.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="120612"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) Cc: guile-devel@gnu.org To: Andy Wingo Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Nov 02 06:21:44 2019 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iQlr5-000VCF-Up for guile-devel@m.gmane.org; Sat, 02 Nov 2019 06:21:44 +0100 Original-Received: from localhost ([::1]:45236 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iQlr3-0001sM-36 for guile-devel@m.gmane.org; Sat, 02 Nov 2019 01:21:42 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:56229) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iQlqj-0001oj-UN for guile-devel@gnu.org; Sat, 02 Nov 2019 01:21:24 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iQlqh-0006IX-I7 for guile-devel@gnu.org; Sat, 02 Nov 2019 01:21:20 -0400 Original-Received: from world.peace.net ([64.112.178.59]:58390) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iQlqh-0006BL-E8 for guile-devel@gnu.org; Sat, 02 Nov 2019 01:21:19 -0400 Original-Received: from mhw by world.peace.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iQlqe-0000Wh-PD; Sat, 02 Nov 2019 01:21:16 -0400 In-Reply-To: <87o8xyhtz6.fsf@pobox.com> (Andy Wingo's message of "Wed, 30 Oct 2019 21:13:49 +0100") X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 64.112.178.59 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.23 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.org@gnu.org Original-Sender: "guile-devel" Xref: news.gmane.org gmane.lisp.guile.devel:20139 Archived-At: Andy Wingo writes: > So, now the pending task is to somehow get a condition/exception > hierarchy into Guile core. I will try to mostly push things off to side > modules but it won't always be possible. There will be bijections > between a Guile's "throw" arguments and structured exceptions, mostly > inspired with what Julian did in the R6RS layer already. For the record, the bijection between R6RS conditions and Guile's throw arguments was my work, not Julian's. See: https://git.savannah.gnu.org/cgit/guile.git/commit/?id=3D02500d44775a77e4= 6febfd47a0dab8233b0c99d0 Prior to that commit, there was no representation for Guile's "throw" arguments in terms of R6RS conditions, and moreover the R6RS exception guards were incapable of catching anything other than R6RS conditions. That terrible bug was reported by G=C3=B6ran Weinholt: https://bugs.gnu.org/14922 I fixed that bug, and announced the resulting work on guile-devel: https://lists.gnu.org/archive/html/guile-devel/2013-08/msg00004.html Whatever you may think of me, please don't write me out of Guile's history. Thanks, Mark