Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Jan Kybic <kybic@fel.cvut.cz>
To: <caml-list@inria.fr>
Subject: [Caml-list] Re: How useful do you find the OCaml debugger?
Date: 04 Feb 2004 10:19:09 +0100	[thread overview]
Message-ID: <m24qu7mcc2.fsf@cmpgw-iii-23.felk.cvut.cz> (raw)
In-Reply-To: <!~!AAAAAJOwVq2HeURFjPF/cT+K05uE3isA@cs.cmu.edu>

> - Do you personally find the OCaml debugger useful?

Yes, very useful. Obviously a well written code reduces the need for a
debugger somehow, but once in a while you forget something and then it
is useful to see what the program is doing and compare it with what
you think it should be doing. I often insert debugging prints but 
sometimes it is faster to use the debugger, depends on the nature of
the problem.

Concerning the OCaml debugger, I have only used it for a few times, so
I am perhaps not the ideal judge. However, I loved the ability to go
backward. On the other hand, I would like to see some of the abilities
of the toploop integrated in it - evaluating arbitrary expressions,
like it can be done in the Python debugger, for example.

Jan


-- 
-------------------------------------------------------------------------
Jan Kybic <kybic@ieee.org>                  tel. +420 2 2435 7264
       or <kybic@fel.cvut.cz>,     http://cmp.felk.cvut.cz/~kybic

-------------------
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


  parent reply	other threads:[~2004-02-04  9:51 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-02-04  4:31 [Caml-list] " donna+spam
2004-02-04  8:18 ` Jean-Christophe Filliatre
2004-02-04  8:46   ` Thomas Fischbacher
2004-02-04  9:19 ` Jan Kybic [this message]
2004-02-04 10:15 ` Richard Jones
2004-02-04 10:30   ` Pierre Boulet
2004-02-04 15:04     ` Christophe Raffalli
2004-02-04 19:26       ` Kip Macy
2004-02-04 10:36   ` Henri Dubois-Ferriere
2004-02-04 15:38     ` Damien Doligez
2004-02-04 12:52 ` Nuutti Kotivuori
2004-02-04 15:35 ` Damien Doligez
2004-02-04 16:45 ` Ken Rose
2004-02-04 19:12 ` Issac Trotts
2004-02-22 21:21 ` _JusSx_

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=m24qu7mcc2.fsf@cmpgw-iii-23.felk.cvut.cz \
    --to=kybic@fel.cvut.cz \
    --cc=caml-list@inria.fr \
    /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