From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 786C6BB81 for ; Thu, 10 Nov 2005 16:25:48 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jAAFPmeX024902 for ; Thu, 10 Nov 2005 16:25:48 +0100 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 QAA21983 for ; Thu, 10 Nov 2005 16:25:47 +0100 (MET) Received: from mail.tcs.inf.tu-dresden.de (tcs01.inf.tu-dresden.de [141.76.75.1]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jAAFPluU024897; Thu, 10 Nov 2005 16:25:47 +0100 Received: from localhost (localhost [127.0.0.1]) by mail.tcs.inf.tu-dresden.de (Sun Java System Messaging Server 6.1 HotFix 0.06 (built Nov 11 2004)) with ESMTP id <0IPQ0068IW6YFH00@mail.tcs.inf.tu-dresden.de>; Thu, 10 Nov 2005 16:25:47 +0100 (MET) Received: from tcs01.inf.tu-dresden.de ([127.0.0.1]) by localhost (mail.tcs.inf.tu-dresden.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 14155-04; Thu, 10 Nov 2005 16:25:46 +0100 (MET) Received: from ithif59.inf.tu-dresden.de (ithif59.inf.tu-dresden.de [141.76.75.59]) by mail.tcs.inf.tu-dresden.de (Sun Java System Messaging Server 6.1 HotFix 0.06 (built Nov 11 2004)) with ESMTPS id <0IPQ006O5W6YF800@mail.tcs.inf.tu-dresden.de>; Thu, 10 Nov 2005 16:25:46 +0100 (MET) Received: from tews by ithif59.inf.tu-dresden.de with local (Exim 4.50) id 1EaEJ8-00025a-4R; Thu, 10 Nov 2005 16:25:46 +0100 Date: Thu, 10 Nov 2005 16:25:45 +0100 From: Hendrik Tews Subject: 3.09 debugger does not work with tuareg-mode To: caml-list@inria.fr Cc: Albert.Cohen@inria.fr Message-id: <17267.26233.832061.516476@ithif59.inf.tu-dresden.de> MIME-version: 1.0 X-Mailer: VM 7.19 under Emacs 21.4.1 Content-type: text/plain; charset=us-ascii Content-transfer-encoding: 7BIT X-Virus-Scanned: amavisd-new at tcs.inf.tu-dresden.de X-Miltered: at concorde with ID 4373667C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4373667B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; hendrik:01 tews:01 tews:01 debugger:01 ocamldebug:01 camldebug:01 tuareg:01 hendrik:01 1901:98 tu-dresden:01 tcs:02 problem:05 outputs:05 outputs:05 fails:06 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Hi, before you spend time to track down the problem: ocamldebug has been changed: When hitting a breakpoint it outputs (with option -emacs) something like M./find_old.ml:1014:1901:before (version 3.08.4 outputs M./find_old.ml:1014:before ) As one result the camldebug mode provided within tuareg mode fails to find the location. Bye, Hendrik