Re: [Caml-list] debugger backtracking/checkpoints

[Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>]

Backtracking is a must but ...

There is a real problem with the backtracking:

If you for instance use the "format" pretty printing library, your program
generaly stops while it was doing some printing which happends to be the wrong
answer. And when you step back you have to do it sometimes a thousand times,
because just before the program stopped you were inside the format library
code.

In fact you should be able to have a next-back insteed of a step-back and see
in which funtion you will enter if you step back to be able to choose between
the two.

Without such a feature, for my particular program I find stepping back almost
unusable.

Is it too difficult to add such a feature ?

-- 
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr