caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
To: caml-list@inria.fr
Cc: Thomas Gazagnaire <thomas.gazagnaire@ocamlpro.com>
Subject: Re: [Caml-list] [ANN] mlvalues.py
Date: Mon, 09 Jan 2012 09:48:26 +0100	[thread overview]
Message-ID: <4F0AA9DA.5050208@inria.fr> (raw)
In-Reply-To: <20120109025004.bf6b62ee.ygrekheretix@gmail.com>

[-- Attachment #1: Type: text/plain, Size: 877 bytes --]

Hi,

  If some people are interested in testing more gdb support, Thomas
Gazagnaire merged a few patches of OCaml and improved them to be able to
debug OCaml programs line by line in gdb, in this public repo:

https://github.com/OCamlPro/ocaml-testing/

(use either 3.12.1-gdb or trunk-gdb branches)

  There is no support for printing OCaml values, so you should use Ygrek
extension for that. All comments are welcome, as we would like to get as
much experience as possible to push for inclusion upstream as soon as
possible.

--Fabrice


On 01/09/2012 01:50 AM, ygrek wrote:
> Hello,
> 
>  Just a small announcement - GDB extension to inspect OCaml values :
> 
>  http://ygrek.org.ua/p/code/mlvalues.py.html
> 
>  Basically an implementation of Std.dump (and hence Obj) in python.
>  Not fully complete and could be enhanced in various ways, but already useful.
>  Enjoy.
> 

[-- Attachment #2: fabrice_le_fessant.vcf --]
[-- Type: text/x-vcard, Size: 380 bytes --]

begin:vcard
fn:Fabrice LE FESSANT
n:LE FESSANT;Fabrice
org:INRIA Saclay -- Ile-de-France;P2P & OCaml
adr;quoted-printable:;;Parc Orsay Universit=C3=A9 ;Orsay CEDEX;;91893;France
email;internet:fabrice.le_fessant@inria.fr
title;quoted-printable:Charg=C3=A9 de Recherche
tel;work:+33 1 74 85 42 14
tel;fax:+33 1 74 85 42 49 
url:http://fabrice.lefessant.net/
version:2.1
end:vcard


      reply	other threads:[~2012-01-09  8:48 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-01-09  0:50 ygrek
2012-01-09  8:48 ` Fabrice Le Fessant [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=4F0AA9DA.5050208@inria.fr \
    --to=fabrice.le_fessant@inria.fr \
    --cc=caml-list@inria.fr \
    --cc=thomas.gazagnaire@ocamlpro.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).