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 ESMTPS id 055215D4 for ; Thu, 19 Jul 2018 16:25:15 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,375,1526335200"; d="scan'208";a="339581855" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Jul 2018 18:25:14 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 45414824A8; Thu, 19 Jul 2018 18:25:14 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 1475581792 for ; Thu, 19 Jul 2018 18:24:26 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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=3AiSSTChaEeJ+Xy1rMWKQRhuL/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8i7bnLW6fgltlLVR4KTs6sC17KI9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCa8bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJSyNODZ6y?= =?us-ascii?q?YYsNAOQPMuhWrIf9qUUJoxalGQmsHebvxiNIhnPq3aA31fkqHwHc3AwnGtIDqH?= =?us-ascii?q?DarNLpO6gMVeC0zK/Iwi3eYfRMwzf975TIeQ0mrPGOWrJ/bdTeyU0vFgPDlFmQ?= =?us-ascii?q?spLqPymS1uQRqGWb8vZvWvi1h24psQF8uz6izdoihInOg4Ia0FHE9SNhzYY0I9?= =?us-ascii?q?24Uk97bsS+HJterSGWL4R2QsI+Q2FopSY10acKtoK8fCgPzpks2h3Ra+SffoSV?= =?us-ascii?q?5h/uWvydLDh8iX5/Zb6zmhS//VK+xuDyTsW501VHojBYntTNuX0BzRje5tadRv?= =?us-ascii?q?dj/kqtxTCC3B3J5O5eO0A7j6/bJoYhwrEukpoTtlzOHirqmErsi6+Wa1kk9vK1?= =?us-ascii?q?6+v6eLrmo4WTN45wig3kPKQugNSzAeU+MgcQQ2iW4fmw2bnt8EHjT7hHiuc6nr?= =?us-ascii?q?TEvJ3YP8gXuKC0DxdQ0ok56ha/Czmm0M4fnXkCNF9FehWHgJT3NFHKIPH4C+2z?= =?us-ascii?q?g0+ynzdxwPDGIqbsAojRIXfZirvhc6x951ZGyAUv1dBf+45UCrYZLf3vQEDxsd?= =?us-ascii?q?jYAgY9Mwy12ObnFM5w1pgeWGKKGq+WKrnesV6O5uI1IumDfpUZuDjnK6tt2/m7?= =?us-ascii?q?onYzg14QeeGS1psacn2iVqBpKk+DYHfoxMwKEWoQsxAWQ+njiVnEWjlWMSWcRa?= =?us-ascii?q?U5sxM8A4+iHIH0fQG3h6DJiCW8FZBSd2YAEV2WFmvAao6NHfkWPnHBavR9myAJ?= =?us-ascii?q?AODyA7Qq0guj4Uqjk+I+f7jkvxYAvJem7+BboujalBU87ztxX5aA2GjLQXsmxz?= =?us-ascii?q?pUFQ9z57h2pAlG8nnGybJx065FHtUV6ekbCl5nZ66Z9PRzDpXJYiyEftqNTw/3?= =?us-ascii?q?ENC6CDYsUpQsz9YLakd5Xdu43EjO?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CLAQD/ulBbfRd1McFcHAEBAQQBAQoBA?= =?us-ascii?q?YQwA3wojGGLTYIMiDmNFoFmKgwBhEACgwUZBwEEMxUBAgEBAgEBAQEBEwEBCxQ?= =?us-ascii?q?ITAyCNSQBglwBAQEBAgFAAQE3AQQLCxguITYGE4MgAYFnAw0MAahTghyCcwEBB?= =?us-ascii?q?YFjgjINgyYDBYkCghaBOIJqglYsFwKBSBiDMoIkmT8rBwJ1hRiCZYMuiyuFTYo?= =?us-ascii?q?/UYQzg300gXR0TCoBgj4+gVsMF4NFgT6JFm16AQGKeQEB?= X-IPAS-Result: =?us-ascii?q?A0CLAQD/ulBbfRd1McFcHAEBAQQBAQoBAYQwA3wojGGLTYI?= =?us-ascii?q?MiDmNFoFmKgwBhEACgwUZBwEEMxUBAgEBAgEBAQEBEwEBCxQITAyCNSQBglwBA?= =?us-ascii?q?QEBAgFAAQE3AQQLCxguITYGE4MgAYFnAw0MAahTghyCcwEBBYFjgjINgyYDBYk?= =?us-ascii?q?CghaBOIJqglYsFwKBSBiDMoIkmT8rBwJ1hRiCZYMuiyuFTYo/UYQzg300gXR0T?= =?us-ascii?q?CoBgj4+gVsMF4NFgT6JFm16AQGKeQEB?= X-IronPort-AV: E=Sophos;i="5.51,375,1526335200"; d="scan'208";a="273532978" Received: from mtaout.udamail.fr ([193.49.117.23]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Jul 2018 18:24:25 +0200 Received: from mta02.udamail.fr (mta02.udamail.fr [193.49.117.21]) by mtaout.udamail.fr (Postfix) with ESMTPS id 41WfVJ6xksz32Gt; Thu, 19 Jul 2018 18:24:24 +0200 (CEST) Received: from mta02.udamail.fr (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTPS id 41WfVJ6lf3zBrKG; Thu, 19 Jul 2018 18:24:24 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by mta02.udamail.fr (Postfix) with ESMTP id 41WfVJ5vlJzBrKK; Thu, 19 Jul 2018 18:24:24 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.9.2 mta02.udamail.fr 41WfVJ5vlJzBrKK DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uca.fr; s=72FD7F0C-5358-11E8-A3B7-17E0B3BFED1B; t=1532017464; bh=sy2zqWweF0UjrMR+vZKzfOQeDWtHzQsbImtyAJHtGF0=; h=Content-Type:Mime-Version:Subject:From:Date: Content-Transfer-Encoding:Message-Id:To; b=Qyo5SZJognhZ4MbhuL5lMbOESjFwAwxhIAWSmzCNu8j8F2MN7Fa7kmlHFNRXfQDAz qIrsxcjEb4ttMRE/YnF6JO905hX319xZmYGMLwW8RqLqU61aItZ/kgsmG1VXSb1dvV q/S1DVKS9lx2JqJ4IPICTNZV7QYMzBE+0fYD/pw0= 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 tVdldnh9QX-V; Thu, 19 Jul 2018 18:24:24 +0200 (CEST) Received: from proxy02.udamail.fr (unknown [193.49.117.27]) by mta02.udamail.fr (Postfix) with ESMTPS id 41WfVJ4W1HzBrKG; Thu, 19 Jul 2018 18:24:24 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy02.udamail.fr (Postfix) with ESMTP id 41WfVJ3xgBzBvyv; Thu, 19 Jul 2018 18:24:24 +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 czhSTxH8RG7x; Thu, 19 Jul 2018 18:24:24 +0200 (CEST) Received: from localhost (localhost.localdomain [127.0.0.1]) by proxy02.udamail.fr (Postfix) with ESMTP id 41WfVJ03KCzBvyw; Thu, 19 Jul 2018 18:24:24 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.9.2 proxy02.udamail.fr 41WfVJ03KCzBvyw DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uca.fr; s=72FD7F0C-5358-11E8-A3B7-17E0B3BFED1B; t=1532017464; bh=sy2zqWweF0UjrMR+vZKzfOQeDWtHzQsbImtyAJHtGF0=; h=Content-Type:Mime-Version:Subject:From:Date: Content-Transfer-Encoding:Message-Id:To; b=Qyo5SZJognhZ4MbhuL5lMbOESjFwAwxhIAWSmzCNu8j8F2MN7Fa7kmlHFNRXfQDAz qIrsxcjEb4ttMRE/YnF6JO905hX319xZmYGMLwW8RqLqU61aItZ/kgsmG1VXSb1dvV q/S1DVKS9lx2JqJ4IPICTNZV7QYMzBE+0fYD/pw0= 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 lFz-dWpDvGCs; Thu, 19 Jul 2018 18:24:23 +0200 (CEST) Received: from [192.168.0.43] (lav63-2-88-164-92-250.fbx.proxad.net [88.164.92.250]) by proxy02.udamail.fr (Postfix) with ESMTPSA id 41WfVH49QczBvvp; Thu, 19 Jul 2018 18:24:23 +0200 (CEST) Content-Type: text/plain; charset=windows-1252 Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) From: =?windows-1252?Q?Jocelyn_S=E9rot?= In-Reply-To: Date: Thu, 19 Jul 2018 18:24:21 +0200 Cc: caml users Content-Transfer-Encoding: quoted-printable Message-Id: <0B409D6E-DB6F-491F-8D95-67F76700971F@uca.fr> References: <0E31DD5B-08EE-40C6-80CD-2BC8EDE31964@uca.fr> To: Gabriel Scherer X-Mailer: Apple Mail (2.1878.6) X-Validation-by: jocelyn.serot@uca.fr Subject: Re: [Caml-list] Problem with ocamldebug 4.06.0 Reply-To: =?windows-1252?Q?Jocelyn_S=E9rot?= X-Loop: caml-list@inria.fr X-Sequence: 17003 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: Hi Gabriel, and thanks for your answers. Le 19 juil. 2018 =E0 17:57, Gabriel Scherer a = =E9crit : > Hi Jocelyn, >=20 >=20 >> i) is there something special to do when using ocamldebug in a multi-dir= ectory source file context ? >=20 > I don't think so. On the other hand, dynamic linking (with Dynlink) is > not currently supported, in the sense > that no debug information will be available for the dynlinked code. > (It looks like this is not the concern in your case.) >=20 No, no dynamic linking in this case. >> ii) has someone already encountered this problem >=20 > We recently discussed a bug in ocamldebug related to the interplay > between debug information and inlining ( MPR#7554 ), for which there > is a fix by Thomas Refis in the current development version > (4.08+dev), but not in any released version of OCaml -- not 4.07. The > bug is general, but in particular it affects the variables foo, bar, > baz in the following code pattern: >=20 > let (foo, bar, baz) =3D (e1, e2, e3) in ... >=20 > If the source program where you observe your problem is publicly > available, would you mind giving a pointer to the problematic > variables occurrences? >=20 I=92ll check but i=92m pretty sure the problem showed for other kinds of pa= ttern bindings. > I would encourage you to file a problem report on the OCaml bugtracker > ( https://caml.inria.fr/mantis ) to move forward, especially if you > have a repro-case or can at least point us on a publicly-available > version of the source code. The code is indeed publicly available : https://github.com/jserot/rfsm. But i only noticed the ocamldebug bug with a development version which i ha= ve not pushed yet.=20 It may be present with the currently available version though. I=92ll prepare a file problem report with a detailed sequence of instructio= ns to repeat the problem. >=20 >> iii) is there a way to track down where / why the exception was launched= (i.e. to debug the debugger) >=20 > In theory you can use OCAMLRUNPARAM=3Db when running the compiler or > debugger, and you get a backtrace. That said, the compiler codebase > was not written with backtraces in mind, and it has a tendency to > catch and re-raise exceptions in a way that does not preserve > backtraces -- so the trace you observe may be inaccurate. This is > something that we could and should improve -- Fran=E7ois Bobot proposed > a change that notably improves the statu quo (GPR#374) but it has not > been merged upstream yet. Ah, i haven=92t thought of running ocamldebug with OCAMLRUNPARAM set (thoug= ht it only applied to programs compiled by the user). Will try. >=20 >> iv) is there a chance that the pb is fixed in 4.07.0 >=20 > Probably not (if you say it's not in the Changes), but with your help > it could very well be fixed in 4.08 :-) Anyway, switching to 4.08 will do no harm ;) Thanks again Jocelyn > On Thu, Jul 19, 2018 at 4:06 PM Jocelyn S=E9rot wr= ote: >>=20 >> Hello, >>=20 >> I=92m experiencing problems when using ocamldebug on a large program. >> Namely, the debugger quits launching an =AB Not_found =BB exception as s= oon as i try to visualize some program variables (print) or dump thef frame >>=20 >> (ocd) =85 >> (ocd) print t >> Removed breakpoint 1 at 958036: file vhdl.ml, line 113, characters 19-30 >> Uncaught exception: Not_found >>=20 >> OCaml-Debugger exited abnormally with code 2 >>=20 >> I=92ve started to encounter this problem when i recrafted the program in= order to use ocamlbuild and distribute the source code in several director= ies. >> What is annoying is that the problem is not systematic it seems to depen= di on the variable to be printed (or at least on the module where it is def= ined) - which makes isolating a minimum triggering program difficult :( >>=20 >> So my questions are >>=20 >> i) is there something special to do when using ocamldebug in a multi-dir= ectory source file context ? I of course tried to add =AB _build =BB and = =AB subdir/_build =BB to the debug =AB path =BB using the directory command= , w/o success >>=20 >> ii) has someone already encountered this problem >>=20 >> iii) is there a way to track down where / why the exception was launched= (i.e. to debug the debugger) >>=20 >> iv) is there a chance that the pb is fixed in 4.07.0 (apparently no sinc= e nothing is told about ocamldebug in the release doc). >>=20 >> Any help appreciated >>=20 >> Cheers >>=20 >> Jocelyn >>=20 --=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=