From: Michael Vanier <mvanier@cs.caltech.edu>
To: mattias.waldau@abc.se
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] debugger questions/feature requests
Date: Mon, 1 Jul 2002 15:40:55 -0700 [thread overview]
Message-ID: <200207012240.g61Mett03200@orchestra.cs.caltech.edu> (raw)
In-Reply-To: <001101c2205d$627cab20$0900a8c0@gateway> (mattias.waldau@abc.se)
> From: "Mattias Waldau" <mattias.waldau@abc.se>
> Date: Sun, 30 Jun 2002 19:41:24 +0200
>
> > I'm just starting to use the ocaml debugger. I notice that
> > when doing a backtrace, the different stack frames are
> > identified as character positions in the source code file,
> > but no line numbers are given. This is a pretty major
> > annoyance. However, when you go up and down the call stack,
> > you get the line numbers. Is there any way to put the line
> > numbers in the backtrace as well?
>
> no line numbers, this is a recurrent complaint :-)
Actually, it turns out to be trivial to add this feature to the debugger.
In the file debugger/show_information.ml, apply this patch:
25a26
> open Source
72,73c73,78
< fprintf ppf "#%i Pc : %i %s char %i@."
< framenum event.ev_pos event.ev_module event.ev_char
---
> let first_char_of_line, line =
> line_of_pos (get_buffer event.ev_module) event.ev_char in
> let char_on_line = event.ev_char - first_char_of_line in
> fprintf ppf "#%i Pc : %i %s line: %i char: %i@."
> framenum event.ev_pos event.ev_module
> line char_on_line
Don't forget the "open Source" line, or you won't be able to access the
"line_of_pos" function. Nothing like open source software ;-)
>
> >
> > I also would like a way to stop execution at the point at
> > which an exception was raised. There was a bug in my code
> > that raised an exception, and the debugger was not helpful in
> > tracking it down. The last location I could step through
> > before the exception was raised bore no relation to where the
> > bug was occurring. I'm not really sure why this was the case.
> >
>
> it does stop at the point.
>
> I normally do 'b' to backstep one step and then 'u' one or several times
> to go up the stack trace.
>
Hmm. It doesn't work for me. When I do this the last location I can see
before hitting the exception is about two lines before the location of the
bug. I'm having a hard time wrapping my mind around the way the debugger
works.
Mike
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2002-07-02 8:43 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-06-29 10:42 Michael Vanier
2002-06-30 17:41 ` Mattias Waldau
2002-07-01 22:40 ` Michael Vanier [this message]
2002-07-02 9:32 ` Xavier Leroy
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200207012240.g61Mett03200@orchestra.cs.caltech.edu \
--to=mvanier@cs.caltech.edu \
--cc=caml-list@inria.fr \
--cc=mattias.waldau@abc.se \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox