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 870485D4 for ; Thu, 19 Jul 2018 15:50:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,375,1526335200"; d="scan'208";a="339576356" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Jul 2018 17:49:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 93192824B7; Thu, 19 Jul 2018 17:49:58 +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 B4A6781792 for ; Thu, 19 Jul 2018 17:49:53 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-lj1-f181.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AF9PKHxNOYNjwhbszBcUl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lfv/rarrMEGX3/hxlliBBdydt6oazbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlJiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?gIOT428mHZhMJzgqxGvhyuuxNxzpXIYIGMLvdyYr/Rcc8YSGdHQ81fVzZBAoS5?= =?us-ascii?q?b4YXDuQOJ/1Xr5P8p1QQqRu1GBSiC//vyjBWnH/5w7c62PkmHAHJxgMvBMgOsH?= =?us-ascii?q?XKo9XxLqsSSvy6zKnWwjXZcfxWwyzw6IfNch87oPGMWah8ftbWyUkqDg7IiEib?= =?us-ascii?q?p4LiPzOQzOsNsm6b4vJhVeKpkW4nqht+riKhxsc2jITCm4Ebykjc+Cln3Io4Ic?= =?us-ascii?q?e0RU17bNK+DpdcqyKXO5FrTs4hXm1lvjsxxKcctp6hZicKzYwqxx7BZPyDdIiF?= =?us-ascii?q?+hfjW/yQITd8nX5lfLC/iwur/Uiu1+HxVdS43ExFripCldnMuXQN2ALJ5sebTf?= =?us-ascii?q?t9+1+t2TeJ1w/N9uFJOV44mbbfJpI7wbM9loAfvVrfEiL1gkn6kaybelg89uit?= =?us-ascii?q?8evnY7HmppGGN49zjwHzKqsuldakDuQiMwgBQWyb9f6n1LL//U32Xq9KgeMskq?= =?us-ascii?q?TCv5DaIN4Upq+9AwNPzokj7BO/Ay+80NsEhXkHME5FeBWfgof1IV7OJfT4Ae67?= =?us-ascii?q?g1Stizdr2+vLPqbhA5XINnjMiq3tfbd7605GyQo818pT55xOCuJJHPWmWEj6ud?= =?us-ascii?q?jJCFkiPhaz3876A9w72JlNd3iIB/q2OanIsFKMrtkkI+SWaZVd7Dn0IeIk6vqo?= =?us-ascii?q?lnQ5lEUQZ4Gm2JIWbDazGfEwcBbRWmblntpUSTRChQE5VuG/0ATTAw4WXG67Wu?= =?us-ascii?q?cH3h9+DYunCYnZQYX02e6O2S66GttdYWUUUwnQQ0etTJ2NXrI3UAzXOtVoy2VW?= =?us-ascii?q?Wr2oSotn3har5lejluhXa9HM8yhdjqrNkdh44+qJy0M3/D1wSsCfiiSDFjEt2G?= =?us-ascii?q?wPQDAy0eZ0pkkvklo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AXAwDCslBbhrXQVdFcHgEGDIQwfyiDf?= =?us-ascii?q?oNtkEOCDIksjCOBZgsfhE0CgwUZBwEEMxUBAgEBAgEBAQEBEwEBAQgLCwgpIwy?= =?us-ascii?q?CNSKCXwEBAQECASMdARsdAQMBCwYFCw0CAiYCAiIBEQEFARwZgyABgWYBAw0In?= =?us-ascii?q?gE8iwmBEQUBF4J0BYNNChkmDVeCTwIBBRJ5h3eBVz+EIoRjGIMBglUCmWgHAoF?= =?us-ascii?q?whB2CZYY6jWyKP4dPDyGBNoF0MxojUDGCOIIZDA4Jg0WBPokWPTCLdQEB?= X-IPAS-Result: =?us-ascii?q?A0AXAwDCslBbhrXQVdFcHgEGDIQwfyiDfoNtkEOCDIksjCO?= =?us-ascii?q?BZgsfhE0CgwUZBwEEMxUBAgEBAgEBAQEBEwEBAQgLCwgpIwyCNSKCXwEBAQECA?= =?us-ascii?q?SMdARsdAQMBCwYFCw0CAiYCAiIBEQEFARwZgyABgWYBAw0IngE8iwmBEQUBF4J?= =?us-ascii?q?0BYNNChkmDVeCTwIBBRJ5h3eBVz+EIoRjGIMBglUCmWgHAoFwhB2CZYY6jWyKP?= =?us-ascii?q?4dPDyGBNoF0MxojUDGCOIIZDA4Jg0WBPokWPTCLdQEB?= X-IronPort-AV: E=Sophos;i="5.51,375,1526335200"; d="scan'208";a="273528804" Received: from mail-lj1-f181.google.com ([209.85.208.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Jul 2018 17:49:52 +0200 Received: by mail-lj1-f181.google.com with SMTP id l15-v6so8237274lji.6 for ; Thu, 19 Jul 2018 08:49:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=BPT1M3N2b+BEd1j9ZJvacUqv+0umGRjgr2ubvoqCuD8=; b=FLtU0B/zTy+7wAgMuqDK6xK9xg5zo3Ct2i4/ff4ao7GpbD3bZ3VOk8CO5AC5WdUl60 nOBDzVRb4M9puJvc8b2uWDrBZtNZkno0LzQm9rF/Lp5vPtlZhonlhnWSyS08ORbk4oBe BlBlgTduLZogwDMQgAwm+Ne2DweY+pZMveV8UR24WeQs8PbtYGlWrV+b7FuVhcCP7oo6 lKfcIZFwRZuK4OhYSzt804VFNuxPFBuWWZ9H9AZooRdr+UcESv8fdpUept6h5B+412iQ iZceiVK6LYnze9CXlpJhds3Hc6IktqOocQK5cylxmF1NCkYtwuiqGHTehYOE3nOK0Kw6 B+6w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=BPT1M3N2b+BEd1j9ZJvacUqv+0umGRjgr2ubvoqCuD8=; b=T1nBeBLFjPhqDantIsz6AHjuUgOK2yWiKZUwzfBmIGvWOrZ9jxtR0e1bWIgFhxStp1 NiEVF07FDFQ0kJGetSZJHb0WpSoV/Pq3IckRLugivc/G2p3zqrp9epcS7IKuT7Gx1tH+ fwC1ZM8SB/E7v1hZHGwzg54Ly2zLn1KgaigLI59mVB9zqlk7NGzFmbgwFXNMXXKhOeWg nw63cEJcM/uv4OsE57YiShImXZX9+1iyoS605ukVMUWSwHMgRE3N2R8anmFhJPFy4gRG /7T+/XXBuTd0pJs/iWEUQjbRbWHRHQppOTBEyuoVrfWDmeMoIo0yF3S+GMSmfb1eHv3A Jw1Q== X-Gm-Message-State: AOUpUlFTB4fnxcnfROJ3+u3FQdRId78sxO2ChvsyL+hwgqerKfY/yBZL 2J3rc0SRY7HkEQMgTZ2mXPjrhSLkX/9XKfTF8J8= X-Google-Smtp-Source: AAOMgpes6TBlHf0CIcnsQ8mkCeSwTSbae8Ghmz5BURWv/r7exDtlKCfaX4bZyFQeVq7H6BygJvVHXJrnDCfzdOhSeqg= X-Received: by 2002:a19:be54:: with SMTP id o81-v6mr6944418lff.31.1532015391804; Thu, 19 Jul 2018 08:49:51 -0700 (PDT) MIME-Version: 1.0 References: <0E31DD5B-08EE-40C6-80CD-2BC8EDE31964@uca.fr> In-Reply-To: <0E31DD5B-08EE-40C6-80CD-2BC8EDE31964@uca.fr> From: Gabriel Scherer Date: Thu, 19 Jul 2018 17:57:47 +0200 Message-ID: To: jocelyn.serot@uca.fr Cc: caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Problem with ocamldebug 4.06.0 Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 17002 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 Jocelyn, > i) is there something special to do when using ocamldebug in a multi-dire= ctory source file context ? 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.) > ii) has someone already encountered this problem 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: let (foo, bar, baz) =3D (e1, e2, e3) in ... If the source program where you observe your problem is publicly available, would you mind giving a pointer to the problematic variables occurrences? 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. > iii) is there a way to track down where / why the exception was launched = (i.e. to debug the debugger) 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=C3=A7ois Bobot proposed a change that notably improves the statu quo (GPR#374) but it has not been merged upstream yet. > iv) is there a chance that the pb is fixed in 4.07.0 Probably not (if you say it's not in the Changes), but with your help it could very well be fixed in 4.08 :-) On Thu, Jul 19, 2018 at 4:06 PM Jocelyn S=C3=A9rot w= rote: > > Hello, > > I=E2=80=99m experiencing problems when using ocamldebug on a large progra= m. > Namely, the debugger quits launching an =C2=AB Not_found =C2=BB exception= as soon as i try to visualize some program variables (print) or dump thef = frame > > (ocd) =E2=80=A6 > (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=E2=80=99ve started to encounter this problem when i recrafted the progr= am in order to use ocamlbuild and distribute the source code in several dir= ectories. > What is annoying is that the problem is not systematic it seems to depend= i on the variable to be printed (or at least on the module where it is defi= ned) - 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-dire= ctory source file context ? I of course tried to add =C2=AB _build =C2=BB a= nd =C2=AB subdir/_build =C2=BB to the debug =C2=AB path =C2=BB using the di= rectory 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= nothing 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=