From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Holger Blasum Newsgroups: gmane.lisp.guile.user Subject: Re: guile-debugging: how to access source properties from trap context Date: Mon, 2 Jan 2006 23:33:17 +0100 Message-ID: <20060102223316.GA4905@tosh> References: <20060101213351.GA5366@tosh> <87vex3pjni.fsf@ossau.uklinux.net> <87hd8mpzvo.fsf@ossau.uklinux.net> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============1849395693==" X-Trace: sea.gmane.org 1136241299 19291 80.91.229.2 (2 Jan 2006 22:34:59 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Mon, 2 Jan 2006 22:34:59 +0000 (UTC) Cc: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Mon Jan 02 23:34:55 2006 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1EtYG9-0001Zw-T9 for guile-user@m.gmane.org; Mon, 02 Jan 2006 23:34:34 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1EtYHk-0006QQ-Cb for guile-user@m.gmane.org; Mon, 02 Jan 2006 17:36:12 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1EtYGo-00067K-Ka for guile-user@gnu.org; Mon, 02 Jan 2006 17:35:15 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1EtYGm-00066R-3m for guile-user@gnu.org; Mon, 02 Jan 2006 17:35:13 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1EtYGl-00066M-SO for guile-user@gnu.org; Mon, 02 Jan 2006 17:35:11 -0500 Original-Received: from [212.21.77.2] (helo=pomo.hostsharing.net) by monty-python.gnu.org with esmtp (TLS-1.0:DHE_RSA_3DES_EDE_CBC_SHA:24) (Exim 4.34) id 1EtYHs-0008NR-S8 for guile-user@gnu.org; Mon, 02 Jan 2006 17:36:21 -0500 Original-Received: by pomo.hostsharing.net (Postfix, from userid 68507) id 2FEA2A03DFA; Mon, 2 Jan 2006 23:33:34 +0100 (CET) Original-Received: by frechet; Mon, 02 Jan 2006 23:33:17 +0100 Original-To: Neil Jerram In-Reply-To: <87vex3pjni.fsf@ossau.uklinux.net> User-Agent: Mutt/1.5.6+20040722i X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-user-bounces+guile-user=m.gmane.org@gnu.org Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.user:5024 Archived-At: --===============1849395693== Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="lrZ03NoBR/3+SXJZ" Content-Disposition: inline --lrZ03NoBR/3+SXJZ Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Hello Neil, On 01-02 and 02-02, Neil Jerram wrote: > Neil Jerram writes: =2E..=20 > debug> step =2E.. > debug> info frame (iterate ad nauseam) Thanks that was I was looking for! Hadn't thought of using "info frame" to spit out the source properties (argh even gdb does this). FWIW, maybe I should explain (didnt want to bloat the first posting=20 with that) that I am trying to study the inner workings of a theorem prover= =20 (minlog) so I'm tracing -crudely put- "where the action is". In addition,= =20 one (admittedly brute force) way of profiling anything in any system=20 is just to pipe a long list of "step" + "info frame" into the guile=20 [or whatever] stepper and parse the output=20 for position information. (Moreover unlike a gprof-approach I prefer not to loose the sequential order of what=20 is called.) What in that context of stepping would interest me is: is there=20 also a trap not only for evaluations and applications but also for=20 definitions (I mean performance-wise definitions dont come for free=20 either).=20 > It's not important for the rest of my reply, but can you indicate > exactly where in the doc you are referring to, so I can review > whether this encouragement is worded as well as it could be? 2.4.4 Trap Context: "This information can be accessed through the procedures beginning tc: that are exported by the (ossau traps) modules", this had insinuated to me that any public method would have appeared as 'tc:'-prefixed one (defined=20 in the class in the beginning of that source=20 file) as opposed to the non 'tc:'-prefixed extra goodies=20 you have now mentioned '(trace/source trap-context)'. While we are at it, to give feedback, for the imperative-language- impaired like me "2.10 Step Traps" maybe could be renamed to sth=20 like "2.10 Step Traps and gdb-like stepping" including the small=20 sample you had sent. And a note on profiling (perhaps 2.15?)=20 could be sweet. (Disclaimer: these are just ramblings.) At last, some words on "[FIXME: should we include examples of traditional debuggers and explain why they can't be used to debug interpreted Scheme or Lisp?]"=20 http://www.gnu.org/software/guile/docs/guile-ref/Debugging-Features.html#De= bugging%20Features might be of interest to anyone still following this thread ;) Thanks again! --=20 Holger Blasum +49-174-7313590 (gsm) GnuPG 1024D/ACDFC3B769DC1ED66B47 "It has turned out that the networking of many small computers, at many=20 places, is more efficient than the one supercomputer - the success of=20 the internet is based on this principle." - Angela Merkel, government declaration, 30 Nov 2005 --lrZ03NoBR/3+SXJZ Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) iD8DBQFDuaos9ydyGrpYFMERAv6KAKDM8mEnfGymb7tgU0f5n4EJMj65YACgtZCe LXNAMKXvNNm9eoTnea0lhv4= =ntrN -----END PGP SIGNATURE----- --lrZ03NoBR/3+SXJZ-- --===============1849395693== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Guile-user mailing list Guile-user@gnu.org http://lists.gnu.org/mailman/listinfo/guile-user --===============1849395693==--