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 QAA18358; Thu, 8 Nov 2001 16:14:21 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA18339 for ; Thu, 8 Nov 2001 16:14:20 +0100 (MET) Received: from heplix4.ikp.physik.tu-darmstadt.de (heplix4.ikp.physik.tu-darmstadt.de [130.83.210.158]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id fA8FEJv14624 for ; Thu, 8 Nov 2001 16:14:19 +0100 (MET) Received: (from ohl@localhost) by heplix4.ikp.physik.tu-darmstadt.de (8.11.2/8.11.2/SuSE Linux 8.11.1-0.5) id fA8FEJI16226; Thu, 8 Nov 2001 16:14:19 +0100 From: Thorsten Ohl MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15338.41290.974934.699214@heplix4.ikp.physik.tu-darmstadt.de> Date: Thu, 8 Nov 2001 16:14:18 +0100 To: Subject: [Caml-list] debugger backtracking/checkpoints In-Reply-To: References: X-Mailer: VM 6.84 under Emacs 20.7.1 Reply-To: ohl@hep.tu-darmstadt.de Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Chris Hecker writes: > do people find the backtracking thing useful in everyday debugging? I prefer the toplevel to the debugger in everyday work. However, the backtracking debugger is extremely useful for finding the cause for exceptional conditions that occur in long running programs for specific inputs. Not having to figure out a conditional break point that will stop the program a the right time ist very convienent. Just run the program to the `failwith "panic: how in the world did I get here?"' and step back from there ... -- Thorsten Ohl, Physics Department, TU Darmstadt -- ohl@hep.tu-darmstadt.de http://heplix.ikp.physik.tu-darmstadt.de/~ohl/ [<=== PGP public key here] ------------------- 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