From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 70C195D4 for ; Thu, 19 Jul 2018 14:05:56 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,374,1526335200"; d="scan'208,217";a="339551376" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Jul 2018 16:05:53 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7B61A824B7; Thu, 19 Jul 2018 16:05:53 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3B8AA81792 for ; Thu, 19 Jul 2018 16:05:23 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jocelyn.serot@uca.fr; spf=Pass smtp.mailfrom=jocelyn.serot@uca.fr; spf=None smtp.helo=postmaster@mtaout.udamail.fr IronPort-PHdr: =?us-ascii?q?9a23=3AedhivxKJASs5uUT2vtmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRLfnxwZ3uMQTl6Ol3ixeRBMOHs6wC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwRFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJBUMlNSiJPAY2y?= =?us-ascii?q?YZUAAOQGJutXtZXxp14UoBu+GQWhBOXiwSJIiH/s2q061vwsHwXB3AM8Ad0OtH?= =?us-ascii?q?TVrNPtO6kPS+e11q7IzSneZP5R2zf975THfQ4lofCMW7J8a9HRxlc1FwPCklWd?= =?us-ascii?q?spHlMC+P2egXvWib9fNtWOSygGAkswF8uiWjy8Mih4XTiY8YzkrI+ThkzIs3P9?= =?us-ascii?q?G0VkB2bcanHZZTrS2WKop7T8w4T2xspio20KMKtJ6ncCUM1Z8p3QTQa+adfIiN?= =?us-ascii?q?+h/jVPieITN/hH99fbK/mwy98U+9yu3gTMW0zUtFoTBAktbWt3AN0wbf6sadSv?= =?us-ascii?q?dl/0eh3yiA1xzL5+1ZJU05m7DXJpElz7Iqi5YfrEbOEjXolEj4lKOWc18r+ums?= =?us-ascii?q?6+TpeLXmoZqcOpd2igH5LqshhMi/AOQ+MgQURGiU5/681Lr//UDiXbVFkuc5nr?= =?us-ascii?q?PXsJDAPcgbvLK2AxdJ0oY/7BayFyup384dnXkDNV5FfBOHj5P1O1zVO/D5DfK/?= =?us-ascii?q?g0y2nztxxvDGOKfhApTXIXTZnrfhZ+U110kJ7yE6yNQXwptVDrAHL7rXW1Tt/I?= =?us-ascii?q?jTBxo9dgi12PrPCdNn14pYV3jZUYGDN6aHk1iD6+Y+Jd635ZUSpH6pKf8u6vr/?= =?us-ascii?q?izkilEUaYYG01pJRZmruTacuGFmQfXe52oRJKmwNpAdrCbWy0ATTAw4WXG67Wu?= =?us-ascii?q?cH3h9+DYunCYnZQYX90qGK1WG1BM8PPzwUOhW3CX7tMr68dbIUcivCcNJqm3oK?= =?us-ascii?q?T+r5EtJz5VSVrAb/joFfAK/U9ykf7MOx0cR84PDP0ww+/Dl9DsDb3XvfF2w=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CjAgA9mlBbfRd1McFcHgEGDIQzfCiMY?= =?us-ascii?q?YtMl1uBZjYBh0cZBwEEMxUBAgEBAgEBAQEBEwEBCxQITAyCNSQBgyMBATgegR+?= =?us-ascii?q?DM4IEAahdghyCcwEBBYFjhWYIiQKCFoE4h02DSoIkh3ORdwcCdUuHMo5ZhU2PQ?= =?us-ascii?q?4N9NIF0dHYBgj4+gVuFJokWbXoBAYpyAQE?= X-IPAS-Result: =?us-ascii?q?A0CjAgA9mlBbfRd1McFcHgEGDIQzfCiMYYtMl1uBZjYBh0c?= =?us-ascii?q?ZBwEEMxUBAgEBAgEBAQEBEwEBCxQITAyCNSQBgyMBATgegR+DM4IEAahdghyCc?= =?us-ascii?q?wEBBYFjhWYIiQKCFoE4h02DSoIkh3ORdwcCdUuHMo5ZhU2PQ4N9NIF0dHYBgj4?= =?us-ascii?q?+gVuFJokWbXoBAYpyAQE?= X-IronPort-AV: E=Sophos;i="5.51,374,1526335200"; d="scan'208,217";a="339551241" Received: from mtaout.udamail.fr ([193.49.117.23]) by mail2-smtp-roc.national.inria.fr with ESMTP; 19 Jul 2018 16:05:17 +0200 Received: from mta02.udamail.fr (mta02.udamail.fr [193.49.117.21]) by mtaout.udamail.fr (Postfix) with ESMTPS id 41WbPn0MKDz32Nr for ; Thu, 19 Jul 2018 16:05:17 +0200 (CEST) Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id 41WbPn0BlLzBrKL for ; Thu, 19 Jul 2018 16:05:17 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id 41WbPm6Mt6zBrKK for ; Thu, 19 Jul 2018 16:05:16 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.9.2 mta02.udamail.fr 41WbPm6Mt6zBrKK DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uca.fr; s=72FD7F0C-5358-11E8-A3B7-17E0B3BFED1B; t=1532009116; bh=BlyuzK8ytEvAE0ktN/QhvXeXrsVgpEDyNT8uOFKnFUk=; h=From:Content-Type:Subject:Message-Id:Date:To:Mime-Version; b=W86virwmasqPeNzs6ZRINAE4t3n8R6nei5ZDU57OHWZkQDPNBPb6q7FZiLaXFMXIs Icime1HDGO+8XLMJl4z56pzqmZoujD7z0ltOwK/4LrgC+bOzLbyztE/7Di5cdnoqgd fmuQqSrOUV9Ti+1UzhZWgKhmP7BIv2DxT3zZLzWM= X-Virus-Scanned: amavisd-new at mta02.udamail.fr Received: from mta02.udamail.fr ([127.0.0.1]) by localhost (mta02.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id uSMYAEuf0A6D for ; Thu, 19 Jul 2018 16:05:16 +0200 (CEST) Received: from proxy02.udamail.fr (unknown [193.49.117.27]) by mta02.udamail.fr (Postfix) with ESMTPS id 41WbPm5GkMzBrKG for ; Thu, 19 Jul 2018 16:05:16 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy02.udamail.fr (Postfix) with ESMTP id 41WbPm4g0pzBvvb for ; Thu, 19 Jul 2018 16:05:16 +0200 (CEST) Received: from proxy02.udamail.fr ([127.0.0.1]) by localhost (proxy02.udamail.fr [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id Srj0TfMz1oSt for ; Thu, 19 Jul 2018 16:05:16 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy02.udamail.fr (Postfix) with ESMTP id 41WbPm1cTnzBvx7 for ; Thu, 19 Jul 2018 16:05:16 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.9.2 proxy02.udamail.fr 41WbPm1cTnzBvx7 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uca.fr; s=72FD7F0C-5358-11E8-A3B7-17E0B3BFED1B; t=1532009116; bh=BlyuzK8ytEvAE0ktN/QhvXeXrsVgpEDyNT8uOFKnFUk=; h=From:Content-Type:Subject:Message-Id:Date:To:Mime-Version; b=W86virwmasqPeNzs6ZRINAE4t3n8R6nei5ZDU57OHWZkQDPNBPb6q7FZiLaXFMXIs Icime1HDGO+8XLMJl4z56pzqmZoujD7z0ltOwK/4LrgC+bOzLbyztE/7Di5cdnoqgd fmuQqSrOUV9Ti+1UzhZWgKhmP7BIv2DxT3zZLzWM= X-Virus-Scanned: amavisd-new at proxy02.udamail.fr Received: from proxy02.udamail.fr ([127.0.0.1]) by localhost (proxy02.udamail.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id way34XgPW3Q9 for ; Thu, 19 Jul 2018 16:05:16 +0200 (CEST) Received: from [192.168.0.42] (lav63-2-88-164-92-250.fbx.proxad.net [88.164.92.250]) by proxy02.udamail.fr (Postfix) with ESMTPSA id 41WbPl6fGKzBvvw for ; Thu, 19 Jul 2018 16:05:15 +0200 (CEST) From: =?iso-8859-1?Q?Jocelyn_S=E9rot?= Content-Type: multipart/alternative; boundary="Apple-Mail=_29BDBB47-0693-4F14-87B1-CF64B72B40AB" Message-Id: <0E31DD5B-08EE-40C6-80CD-2BC8EDE31964@uca.fr> Date: Thu, 19 Jul 2018 16:05:13 +0200 To: OCaml Mailing List Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) X-Validation-by: jocelyn.serot@uca.fr Subject: [Caml-list] Problem with ocamldebug 4.06.0 Reply-To: =?iso-8859-1?Q?Jocelyn_S=E9rot?= X-Loop: caml-list@inria.fr X-Sequence: 17001 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --Apple-Mail=_29BDBB47-0693-4F14-87B1-CF64B72B40AB Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 Hello, I=92m experiencing problems when using ocamldebug on a large program. Namely, the debugger quits launching an =AB Not_found =BB exception as soon= as i try to visualize some program variables (print) or dump thef frame (ocd) =85 (ocd) print t Removed breakpoint 1 at 958036: file vhdl.ml, line 113, characters 19-30 Uncaught exception: Not_found OCaml-Debugger exited abnormally with code 2 I=92ve started to encounter this problem when i recrafted the program in or= der to use ocamlbuild and distribute the source code in several directories= .=20 What is annoying is that the problem is not systematic it seems to dependi = on the variable to be printed (or at least on the module where it is define= d) - which makes isolating a minimum triggering program difficult :( So my questions are=20 i) is there something special to do when using ocamldebug in a multi-direct= ory source file context ? I of course tried to add =AB _build =BB and =AB s= ubdir/_build =BB to the debug =AB path =BB using the directory command, w/o= success ii) has someone already encountered this problem iii) is there a way to track down where / why the exception was launched (i= .e. to debug the debugger) iv) is there a chance that the pb is fixed in 4.07.0 (apparently no since n= othing is told about ocamldebug in the release doc). Any help appreciated Cheers Jocelyn --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --Apple-Mail=_29BDBB47-0693-4F14-87B1-CF64B72B40AB Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252 Hello,

<= div>I=92m experiencing problems when using ocamldebug on a large program.
Namely, the debugger quits launching an =AB Not_found = =BB exception as soon as i try to visualize some program variables (print) = or dump thef frame

(ocd) =85
(ocd) print t
Removed breakpoint 1 at 958036: fil= e vhdl.ml, line 113, characters 19-30
Uncaught exception: = Not_found

OCaml-Debugger exited abno= rmally with code 2

I=92ve started= to encounter this problem when i recrafted the program in order to use oca= mlbuild and distribute the source code in several directories. 
<= div>What is annoying is that the problem is not systematic it seems to depe= ndi on the variable to be printed (or at least on the module where it is de= fined) - which makes isolating a minimum triggering program difficult :(

So my questions are 

i= ) is there something special to do when using ocamldebug in a multi-directo= ry source file context ? I of course tried to add =AB _build =BB = and =AB subdir/_build =BB to the debug =AB path =BB usi= ng the directory command, w/o success

ii) has some= one already encountered this problem

iii) is there= a way to track down where / why the exception was launched (i.e. to debug = the debugger)

iv) is there a chance that the pb is= fixed in 4.07.0 (apparently no since nothing is told about ocamldebug in t= he release doc).

Any help appreciated
Cheers

Jocelyn

= --Apple-Mail=_29BDBB47-0693-4F14-87B1-CF64B72B40AB--