From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 004C07FADE for ; Sun, 16 Nov 2014 14:43:25 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mads379@gmail.com) identity=pra; client-ip=74.125.82.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mads379@gmail.com"; x-sender="mads379@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mads379@gmail.com designates 74.125.82.43 as permitted sender) identity=mailfrom; client-ip=74.125.82.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mads379@gmail.com"; x-sender="mads379@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wg0-f43.google.com) identity=helo; client-ip=74.125.82.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mads379@gmail.com"; x-sender="postmaster@mail-wg0-f43.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AskBAHmpaFRKfVIrm2dsb2JhbABbgkiBG1kEgwLHHoFgAQuHTIEEBxYBAQEBAREBAQEBAQYLCwkULoQbER0BGx4DEgkHNwIkAREBBQFXiAkBAxINqwCDIj0xizuBc4MSiRIKGScNaIYYAQUOkRAhgiAPMhKBQgWXIocqgXGTDhgphTc8MAGCSgEBAQ X-IPAS-Result: AskBAHmpaFRKfVIrm2dsb2JhbABbgkiBG1kEgwLHHoFgAQuHTIEEBxYBAQEBAREBAQEBAQYLCwkULoQbER0BGx4DEgkHNwIkAREBBQFXiAkBAxINqwCDIj0xizuBc4MSiRIKGScNaIYYAQUOkRAhgiAPMhKBQgWXIocqgXGTDhgphTc8MAGCSgEBAQ X-IronPort-AV: E=Sophos;i="5.07,397,1413237600"; d="scan'208";a="88592478" Received: from mail-wg0-f43.google.com ([74.125.82.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Nov 2014 14:43:25 +0100 Received: by mail-wg0-f43.google.com with SMTP id l18so1382868wgh.2 for ; Sun, 16 Nov 2014 05:43:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=A5XsYg22rp8l4wGzSJ7J9fScmXjCuVPVWAuawyQUC5o=; b=ixXeMF56UGd1RCU0CMsFAP2rAOWhXfJfeqy+1OJKuLvFoP74HBZBi0cDwSTMsbb1pX UCi4cs8kYVHE/MWh+vL6rQMJNPATQ6D27iyVL/OMXmaOnFktLnBf61DmMSSePnquIJCD iWiJ2YHNrvk2cQgegTnVlFWqpmJnfB64FjWrRc+21ypsyNwQay5D08DeleOmYQLCYTkn izRyXmAp3VcuGrMdHAglJ0MpiHQfYRe0MsCdQ65u42FQXFL7TDoWoBxflRLldxJE03Lo Pyqip4n/H56fYJqVcxo9bXWCwcaH9JiqA7Me16z/KSW8PFgfGz++cxMsUaoSi9iaPHF8 zMtw== MIME-Version: 1.0 X-Received: by 10.180.93.37 with SMTP id cr5mr23783597wib.76.1416145404833; Sun, 16 Nov 2014 05:43:24 -0800 (PST) Received: by 10.27.32.18 with HTTP; Sun, 16 Nov 2014 05:43:24 -0800 (PST) Date: Sun, 16 Nov 2014 14:43:24 +0100 Message-ID: From: Mads Jensen To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=f46d043c8050ce37640507fa0b23 Subject: [Caml-list] ocamldebug and -pack --f46d043c8050ce37640507fa0b23 Content-Type: text/plain; charset=UTF-8 Hi, I tried out ocamldebug on the hello world example[1] of the ocaml-cohttp library. I configured the debugger by writing the results of `ocamlfind query -recursive core async cohttp cohttp.async` into a file and prefixed each line with `directory`. For more information see this blog post about my setup[2]. As I stepped through the code I would see errors like this: (ocd) step Time: 1084742 - pc: 4416712 - module Cohttp.Request No source file for Cohttp.Request. I chatted with whitequark on IRC and he suggests that it might be because ocamldebug doesn't support compilation units compiled with the -pack flag. Is that the case? If so, is this a bug? Cheers, Mads [1] https://github.com/mirage/ocaml-cohttp/blob/master/examples/async/hello_world.ml [2] http://mads379.github.io/ocaml/2014/11/15/ocamldebug.html --f46d043c8050ce37640507fa0b23 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi,

I tried out ocamldebug on the =C2=A0hello world example[1] of the ocaml-co= http library. I configured the debugger by writing the results of `ocamlfin= d query -recursive core async cohttp cohttp.async` into a file and prefixed= each line with `directory`. For more information see this blog post about = my setup[2].

As I = stepped through the code I would see errors like this:

(ocd) step
Time: 1084742 - pc: 4416= 712 - module Cohttp.Request
No source file for Cohttp.Request.

I chatted with whitequark o= n IRC and he suggests that it might be because ocamldebug doesn't suppo= rt compilation units compiled with the -pack flag. Is that the case? If so,= is this a bug?

Ch= eers,
Mads

[1]= =C2=A0https://github.com/mirage/ocaml-cohttp/blob/master/examples/async/hello_= world.ml
[2]=C2=A0h= ttp://mads379.github.io/ocaml/2014/11/15/ocamldebug.html

--f46d043c8050ce37640507fa0b23--