GNU logs - #11215, boring messages

Message sent to bug-guile@HIDDEN:

Subject: bug#11215: [feature request] better backtraces
Resent-From: Ian Price <ianprice90@HIDDEN>
Original-Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Resent-CC: bug-guile@HIDDEN
Resent-Date: Tue, 10 Apr 2012 23:14:02 +0000
Resent-Message-ID: <handler.11215.B.133409959916002 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 11215 <at> debbugs.gnu.org
From: Ian Price <ianprice90@HIDDEN>
Date: Wed, 11 Apr 2012 00:11:31 +0100
Lines: 56
Message-ID: <87r4vv18t8.fsf@HIDDEN>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux)
Cancel-Lock: sha1:F/w2bDuek7aLgJQJ/GC5LA8uPE8=
Precedence: list
Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org

This is more of a feature request/reminder, than a bug report, but we
don't have a wish list so,....

Tail calls, we all love them, but sometimes they conflict with error
handling, and is often used as the scapegoat for why $language doesn't
support them.

shizzy0 posted the following example and output to the #guile IRC channel

(define (g)
  (error "This is broken because ~a" 1))
(g)

;; $ guile -q --debug test-error.scm 
;; Backtrace:
;; In ice-9/boot-9.scm:
;;  149: 10 [catch #t #<catch-closure 101303d80> ...]
;;  157: 9 [#<procedure 10129e190 ()>]
;; In unknown file:
;;    ?: 8 [catch-closure]
;; In ice-9/boot-9.scm:
;;   63: 7 [call-with-prompt prompt0 ...]
;; In ice-9/eval.scm:
;;  407: 6 [eval # #]
;; In ice-9/boot-9.scm:
;; 2111: 5 [save-module-excursion #<procedure 1012a2100 at ice-9/boot-9.scm:3646:3 ()>]
;; 3653: 4 [#<procedure 1012a2100 at ice-9/boot-9.scm:3646:3 ()>]
;; 1380: 3 [%start-stack load-stack ...]
;; 1385: 2 [#<procedure 10133cc90 ()>]
;; In unknown file:
;;    ?: 1 [primitive-load "/Users/shane/School/uvm/CSYS-395-evolutionary-robotics/bullet-2.79/Demos/GuileDemo/test-error.scm"]
;;    ?: 0 [scm-error misc-error #f "~A ~S" ("This is broken because ~a" 1) #f]
;;
;; ERROR: In procedure scm-error:
;; ERROR: This is broken because ~a 1

One issue was that he wasn't auto compiling guile code, but there are
two tail calls here. One is the obvious one, in g. And the other, which
surprised me, was with respect to the main program itself. Thus we get
the limited backtrace in an unknown file.

It is possible to provide full backtraces, and source location for error
messages with tail calls, though it's usually more work and requires
overhead, but it's something to think about for the --debug engine at
least.

It would also be nice as a specific counterexample of an implementation
in practice for all the tail call naysayers. :)

-- 
Ian Price

"Programming is like pinball. The reward for doing it well is
the opportunity to do it again" - from "The Wizardy Compiled"

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.428 (Entity 5.428)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Ian Price <ianprice90@HIDDEN>
Subject: bug#11215: Acknowledgement ([feature request] better backtraces)
Message-ID: <handler.11215.B.133409959916002.ack <at> debbugs.gnu.org>
References: <87r4vv18t8.fsf@HIDDEN>
X-Gnu-PR-Message: ack 11215
X-Gnu-PR-Package: guile
Reply-To: 11215 <at> debbugs.gnu.org
Date: Tue, 10 Apr 2012 23:14:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guile@HIDDEN

If you wish to submit further information on this problem, please
send it to 11215 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
11215: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D11215
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-guile@HIDDEN:

Subject: bug#11215: [feature request] better backtraces
Resent-From: Andy Wingo <wingo@HIDDEN>
Original-Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Resent-CC: bug-guile@HIDDEN
Resent-Date: Wed, 04 Jul 2012 19:52:02 +0000
Resent-Message-ID: <handler.11215.B11215.134143147917384 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Ian Price <ianprice90@HIDDEN>
Cc: 11215 <at> debbugs.gnu.org
DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc
	:subject:references:date:in-reply-to:message-id:mime-version
	:content-type; q=dns; s=sasl; b=xzU3vkaoB5EtZIzFIvcnAnsJqXfWab+y
	mk7+V5K3F+kTYBlKod3cmFLFGfmYJSbo9Ulgf9LuBCHCK50uF0Cxia1W1XvbNqDF
	xzFbCfI2HGIVFaRzjaUXW/t9gM2Eyc+aPnHrDY2fTwVo34sLR/ABaqmU2uqn1c7k
	Ud4o397k7gQ=
From: Andy Wingo <wingo@HIDDEN>
References: <87r4vv18t8.fsf@HIDDEN>
Date: Wed, 04 Jul 2012 21:46:20 +0200
In-Reply-To: <87r4vv18t8.fsf@HIDDEN> (Ian Price's message of "Wed, 11
	Apr 2012 00:11:31 +0100")
Message-ID: <8739578g37.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Sender: debbugs-submit-bounces <at> debbugs.gnu.org
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org

On Wed 11 Apr 2012 01:11, Ian Price <ianprice90@HIDDEN> writes:

> Tail calls, we all love them, but sometimes they conflict with error
> handling, and is often used as the scapegoat for why $language doesn't
> support them.

I agree, fwiw, and probably
http://funcall.blogspot.com/2009/05/you-knew-id-say-something-part-iv.html
is the answer.

Andy
-- 
http://wingolog.org/

Last modified: Mon, 25 Nov 2019 12:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.