From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA05049; Fri, 9 Nov 2001 09:37:22 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA04651 for caml-list@pauillac.inria.fr; Fri, 9 Nov 2001 09:37:21 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA24370 for ; Thu, 8 Nov 2001 19:04:35 +0100 (MET) Received: from julie.univ-savoie.fr (univax.univ-savoie.fr [193.48.120.32]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fA8I4YX02529 for ; Thu, 8 Nov 2001 19:04:35 +0100 (MET) Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by julie.univ-savoie.fr (8.9.3/jtpda-5.3.3) with ESMTP id TAA49960 ; Thu, 8 Nov 2001 19:04:30 +0100 (CET) Received: from univ-savoie.fr (www.lama.univ-savoie.fr [193.48.123.134]) by post.bourget.univ-savoie.fr (8.12.0.Beta7/jtpda-5.3.3) with ESMTP id fA8I4PQ5019459 ; Thu, 8 Nov 2001 19:04:25 +0100 Message-ID: <3BEAC930.E0BD9702@univ-savoie.fr> Date: Thu, 08 Nov 2001 19:04:32 +0100 From: Christophe Raffalli Organization: =?iso-8859-1?Q?Universit=E9?= de Savoie X-Mailer: Mozilla 4.77 [fr] (X11; U; Linux 2.2.16-9mdksmp i686) X-Accept-Language: en MIME-Version: 1.0 To: ohl@hep.tu-darmstadt.de, caml-list@inria.fr Subject: Re: [Caml-list] debugger backtracking/checkpoints References: <15338.41290.974934.699214@heplix4.ikp.physik.tu-darmstadt.de> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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