From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.devel Subject: Re: trace examples broken in master Date: Tue, 15 Sep 2009 22:54:51 +0100 Message-ID: <87ocpbrhzo.fsf@ossau.uklinux.net> References: <2bc5f8210907091222v6d3a3b8cqd91050a02b9d4f9c@mail.gmail.com> <87r5wj6626.fsf@arudy.ossau.uklinux.net> <87r5uty5qh.fsf@arudy.ossau.uklinux.net> <2bc5f8210908300810v7afae448x13b1acb88ce113b6@mail.gmail.com> <87ab1enwe4.fsf@arudy.ossau.uklinux.net> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1253051711 12130 80.91.229.12 (15 Sep 2009 21:55:11 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 15 Sep 2009 21:55:11 +0000 (UTC) Cc: guile-devel To: Julian Graham Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Tue Sep 15 23:55:04 2009 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1MnfzL-00041X-Iz for guile-devel@m.gmane.org; Tue, 15 Sep 2009 23:55:03 +0200 Original-Received: from localhost ([127.0.0.1]:38029 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1MnfzL-0006mv-3z for guile-devel@m.gmane.org; Tue, 15 Sep 2009 17:55:03 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1MnfzI-0006m3-5R for guile-devel@gnu.org; Tue, 15 Sep 2009 17:55:00 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1MnfzC-0006lr-LP for guile-devel@gnu.org; Tue, 15 Sep 2009 17:54:58 -0400 Original-Received: from [199.232.76.173] (port=56231 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1MnfzC-0006lo-GK for guile-devel@gnu.org; Tue, 15 Sep 2009 17:54:54 -0400 Original-Received: from mail3.uklinux.net ([80.84.72.33]:57063) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1MnfzB-0007Zp-UQ for guile-devel@gnu.org; Tue, 15 Sep 2009 17:54:54 -0400 Original-Received: from arudy (host86-147-112-99.range86-147.btcentralplus.com [86.147.112.99]) by mail3.uklinux.net (Postfix) with ESMTP id E8C711F6A34; Tue, 15 Sep 2009 22:54:52 +0100 (BST) Original-Received: from arudy (arudy [127.0.0.1]) by arudy (Postfix) with ESMTP id 0248338021; Tue, 15 Sep 2009 22:54:51 +0100 (BST) In-Reply-To: <87ab1enwe4.fsf@arudy.ossau.uklinux.net> (Neil Jerram's message of "Tue, 01 Sep 2009 23:16:35 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.4-2.6 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:9318 Archived-At: Neil Jerram writes: > Julian Graham writes: > >>> This should all be fixed in master now. =A0Can you have a go and let me >>> know if you still see any problems? >> >> Just built from HEAD. The errors I reported earlier are gone, but I'm >> still not getting any trace output from the `rev' example in the >> manual. > > I'm sorry, I didn't actually try running those examples myself, and I > still haven't done that yet now - but just a thought: did you try with=20 > > ,o interp #t > > so as to use the evaluator instead of the compiler + VM ? It works for me with current Git and `,o interp #t'; full transcript below. Note that this is even when all of the debugging infrastructure modules are auto-compiled; the only code that must _not_ be compiled, for that example to work, is the `rev' procedure. There is an unexpected "warning: stack count incorrect!", though. I'll look into that. Neil Guile Scheme interpreter 0.5 on Guile 1.9.2 Copyright (C) 2001-2008 Free Software Foundation, Inc. Enter `,help' for help. scheme@(guile-user)> (version) "1.9.2" scheme@(guile-user)> ,o interp #t scheme@(guile-user)> (version) "1.9.2" scheme@(guile-user)> (define (rev ls) (if (null? ls) ls (append (rev (cdr ls)) (list (car ls))))) scheme@(guile-user)> (use-modules (ice-9 debugging traps) (ice-9 debugging = trace)) ;;; note: autocompilation is enabled, set GUILE_AUTO_COMPILE=3D0 ;;; or pass the --no-autocompile argument to disable. ;;; compiling /usr/local/share/guile/1.9/ice-9/debugging/traps.scm ;;; compiling /usr/local/share/guile/1.9/ice-9/debugging/trc.scm ;;; compiled /home/neil/.cache/guile/ccache/1.9-0.D-LE-4/usr/local/share/gu= ile/1.9/ice-9/debugging/trc.scm.go ;;; compiled /home/neil/.cache/guile/ccache/1.9-0.D-LE-4/usr/local/share/gu= ile/1.9/ice-9/debugging/traps.scm.go ;;; compiling /usr/local/share/guile/1.9/ice-9/debugging/trace.scm ;;; compiling /usr/local/share/guile/1.9/ice-9/debugger/command-loop.scm ;;; compiling /usr/local/share/guile/1.9/ice-9/debugger/commands.scm ;;; compiling /usr/local/share/guile/1.9/ice-9/debugger/state.scm ;;; compiled /home/neil/.cache/guile/ccache/1.9-0.D-LE-4/usr/local/share/gu= ile/1.9/ice-9/debugger/state.scm.go ;;; compiling /usr/local/share/guile/1.9/ice-9/debugger/utils.scm ;;; compiled /home/neil/.cache/guile/ccache/1.9-0.D-LE-4/usr/local/share/gu= ile/1.9/ice-9/debugger/utils.scm.go ;;; compiling /usr/local/share/guile/1.9/ice-9/debugging/steps.scm ;;; compiled /home/neil/.cache/guile/ccache/1.9-0.D-LE-4/usr/local/share/gu= ile/1.9/ice-9/debugging/steps.scm.go ;;; compiled /home/neil/.cache/guile/ccache/1.9-0.D-LE-4/usr/local/share/gu= ile/1.9/ice-9/debugger/commands.scm.go ;;; compiled /home/neil/.cache/guile/ccache/1.9-0.D-LE-4/usr/local/share/gu= ile/1.9/ice-9/debugger/command-loop.scm.go ;;; compiled /home/neil/.cache/guile/ccache/1.9-0.D-LE-4/usr/local/share/gu= ile/1.9/ice-9/debugging/trace.scm.go scheme@(guile-user)> (define t1 (make #:procedure rev #:behaviour (list trace-trap trace-at-exit))) scheme@(guile-user)> rev # scheme@(guile-user)> (install-trap t1) scheme@(guile-user)> (rev '(a b c)) | 2: [rev (a b c)] warning: stack count incorrect! | 2: =3D>(#@if (null? #{ls\ 37}#) #{ls\ 37}# (append (rev (cdr #{ls\ 37}#)= ) (list (car #{ls\ 37}#)))) | 3: [rev (b c)] | 4: [rev (c)] | 5: [rev ()] | 5: =3D>() | 4: =3D>(c) | 3: =3D>(c b) (c b a) scheme@(guile-user)>=20