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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id D14437EE20 for ; Mon, 19 Nov 2012 16:37:39 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pmdomine@gmail.com) identity=pra; client-ip=209.85.215.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="pmdomine@gmail.com"; x-sender="pmdomine@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of pmdomine@gmail.com designates 209.85.215.54 as permitted sender) identity=mailfrom; client-ip=209.85.215.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="pmdomine@gmail.com"; x-sender="pmdomine@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-la0-f54.google.com) identity=helo; client-ip=209.85.215.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="pmdomine@gmail.com"; x-sender="postmaster@mail-la0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtcBAFBRqlDRVdc2k2dsb2JhbABFhiC9GQgjAQEBAQkJCwkUBCOCSB0BOQMNBRAPAiYCJBIBBQE1h3sDD55rgm+LZINHhHYnDYlOAQUMgRaMeIIUgRMDkkqDMoEcjUYWKYFYgjo X-IronPort-AV: E=Sophos;i="4.83,280,1352070000"; d="scan'208";a="163021283" Received: from mail-la0-f54.google.com ([209.85.215.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Nov 2012 16:37:39 +0100 Received: by mail-la0-f54.google.com with SMTP id j13so6381861lah.27 for ; Mon, 19 Nov 2012 07:37:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:x-google-sender-auth:message-id :subject:to:content-type:content-transfer-encoding; bh=QJ8xy8aBPfXEdoXCTDG5qxpupeDD+KioxUyqv8/MmqU=; b=U3mW/rgEslI1kY0GUiSNSgjb3I5QYA+SgdPdElp5pBJKHh3/O4Vdbyfg3cmlgD63Ct 5YJWCaVgwm2SBs7qfBE8yKZRcL3Zd4Ml4frrgXDUuxQdF2AUIvOvjabiWzXFdyv4eLCO AKRcyXMdqSgO+a0Vh6LP6k/SWWq5svGklBWd70fwkp/cL6TwtCtemCtJgI14gND8XeGP yf+lgyDevvFTY5ZYlAstPbi/WmkeZGi1nn+vbzDvxP/QljXrRdxBDnFBXB21RaUV6YLK qTRYwOQX/PJHdz5YAeHN/RQWwCoHQVrTVjCIPT7cEwMy7c0aZxwzLiymwqnnNJyoIwe4 f8Ag== Received: by 10.152.106.162 with SMTP id gv2mr11714337lab.14.1353339458516; Mon, 19 Nov 2012 07:37:38 -0800 (PST) MIME-Version: 1.0 Sender: pmdomine@gmail.com Received: by 10.112.43.38 with HTTP; Mon, 19 Nov 2012 07:37:18 -0800 (PST) From: Pierre-Marie de Rodat Date: Mon, 19 Nov 2012 16:37:18 +0100 X-Google-Sender-Auth: ROnlGFpq37_MBmCB0hXW40Ymvr4 Message-ID: To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] DWARF output for native-code Greetings programs, For fun, I=E2=80=99ve started to write some gdb scripts to inspect the memo= ry of an OCaml program. Without type information, I can only print immediates and blocks hierarchy, and of course with type information I can display values as they appear in the source code. The way to pass type information (and other things) to the debugger would be to make the compiler output DWARF data. OCaml just started to output debug information with CFI (Calling Frame Information, since OCaml 4.0.0), but debugging OCaml native programs with gdb could become awesome with information like a precise source code =E2=86=92 executable code mapping, values location, type information, etc. I=E2=80=99ve read some docs about the DWARF format, and I=E2=80=99ve looked= at the OCaml compiler=C2=A0: a lot of code is to be (re)written in order to pass debug information from source code AST to backends, but I would like to try anyway. I=E2=80=99ve discovered that a =C2=AB=C2=A0dwarf=C2=A0=C2=BB= branch already exist on the repository: it is actively developped by =C2=AB=C2=A0shinwell=C2=A0= =C2=BB since september. Even if it looks far from completion, it seems to have the same goal. I could not find any reference to this branch on the Web nor on this list, so before I contact directly this developper, I prefer to ask here: are there any information about this on the Internet? (goal, roadmap, =E2=80=A6) I would be very interested in contributing to this. Regards, --=20 Pierre-Marie de Rodat http://canartichaut.kawie.fr/