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 LAA23974; Fri, 9 Aug 2002 11:31:29 +0200 (MET DST) 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 LAA24051 for caml-list@pauillac.inria.fr; Fri, 9 Aug 2002 11:31:29 +0200 (MET DST) 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 SAA02707 for ; Thu, 8 Aug 2002 18:35:59 +0200 (MET DST) Received: from julie.univ-savoie.fr (univax.univ-savoie.fr [193.48.120.32]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g78GZxj23016 for ; Thu, 8 Aug 2002 18:35:59 +0200 (MET DST) 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 SAA35327 for ; Thu, 8 Aug 2002 18:35:57 +0200 (CEST) Received: from univ-savoie.fr ([192.168.4.22]) by post.bourget.univ-savoie.fr (8.12.1/jtpda-5.4) with ESMTP id g78GZok9031827 for ; Thu, 8 Aug 2002 18:35:51 +0200 Message-ID: <3D4EBB26.718A55E3@univ-savoie.fr> Date: Mon, 05 Aug 2002 19:51:34 +0200 From: Christophe Raffalli Organization: =?iso-8859-1?Q?Universit=E9?= de Savoie X-Mailer: Mozilla 4.78 [fr] (X11; U; Linux 2.4.18-6mdk i686) X-Accept-Language: en MIME-Version: 1.0 To: Caml List Subject: [Caml-list] Debbuging interactive program References: <59147.209.9.234.140.1028822939.squirrel@dragonfly.localdomain> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, I enjoy debugging with the backstep command of ocamldebug ... Unfortunatly, the way it is implemented, it fails on program reading input from stdin, because to go back to time A, it go back to the latest point B saved by a fork before A and then go forward. It reading to stdin occured between B and A, then you have to give yourself again the input and it becomes really hard ! Does anyone have a solution or work around to this ? -- 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 ------------------- 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