From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Kevin Ryde Newsgroups: gmane.lisp.guile.devel Subject: Re: Backtrace and enhanced catch Date: Sat, 04 Feb 2006 11:46:31 +1100 Message-ID: <87slr06jdk.fsf@zip.com.au> References: <200511301616.22258.bkorb@gnu.org> <87wthpkyan.fsf@ossau.uklinux.net> <43B69F41.6030509@xs4all.nl> <87hd8pb8o7.fsf@ossau.uklinux.net> <87lkxy3abo.fsf@ossau.uklinux.net> <877j9i31gc.fsf@ossau.uklinux.net> <87acebhf1o.fsf@ossau.uklinux.net> <871wyu8t5e.fsf@zip.com.au> <87k6cl8o5c.fsf@ossau.uklinux.net> <87k6cgi2jo.fsf@zip.com.au> <874q3i65q3.fsf@ossau.uklinux.net> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1139018150 22434 80.91.229.2 (4 Feb 2006 01:55:50 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sat, 4 Feb 2006 01:55:50 +0000 (UTC) Cc: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Feb 04 02:55:48 2006 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1F5CeN-0007nn-Vh for guile-devel@m.gmane.org; Sat, 04 Feb 2006 02:55:44 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1F5Cha-00071v-9D for guile-devel@m.gmane.org; Fri, 03 Feb 2006 20:59:02 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1F5Bcu-0002JX-L1 for guile-devel@gnu.org; Fri, 03 Feb 2006 19:50:10 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1F5Bcp-0002It-VL for guile-devel@gnu.org; Fri, 03 Feb 2006 19:50:05 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1F5Bcl-0002I6-KR for guile-devel@gnu.org; Fri, 03 Feb 2006 19:50:00 -0500 Original-Received: from [61.8.0.115] (helo=mailout2.pacific.net.au) by monty-python.gnu.org with esmtp (Exim 4.52) id 1F5Bbq-0002Yb-EA for guile-devel@gnu.org; Fri, 03 Feb 2006 19:49:03 -0500 Original-Received: from mailproxy1.pacific.net.au (mailproxy1.pacific.net.au [61.8.0.86]) by mailout2.pacific.net.au (8.13.4/8.13.4/Debian-3) with ESMTP id k140kaBF016114; Sat, 4 Feb 2006 11:46:37 +1100 Original-Received: from localhost (ppp2CA4.dyn.pacific.net.au [61.8.44.164]) by mailproxy1.pacific.net.au (8.13.4/8.13.4/Debian-3) with ESMTP id k140kZgv028636; Sat, 4 Feb 2006 11:46:36 +1100 Original-Received: from gg by localhost with local (Exim 3.36 #1 (Debian)) id 1F5BZP-0002LA-00; Sat, 04 Feb 2006 11:46:31 +1100 Original-To: Neil Jerram Mail-Copies-To: never User-Agent: Gnus/5.110004 (No Gnus v0.4) Emacs/21.4 (gnu/linux) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:5652 Archived-At: Neil Jerram writes: > > The spec for catch's pre-unwind-handler would be that it can exit > either normally or non-locally. If it exits normally, Guile unwinds > (dynamic context + stack) and then calls the normal (post-unwind) > handler. If it exits non-locally, that exit determines the > continuation. Hmm. Now my head hurts. I'm not so sure what I want any more (apart from a reliable backtrace). > But if we want to be ultra-cautious we could keep lazy-catch as it > is and introduce `with-pre-unwind-handler' (or something) with the > proposed semantics. Better be pretty strictly compatible, it's hairy enough without changing between guile versions. _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://lists.gnu.org/mailman/listinfo/guile-devel