Re: [Caml-list] Dumping of Typedtree

Re: [Caml-list] Dumping of Typedtree

[yoann padioleau]

> Message du 14/09/05 19:54
> De : "Remi Vanicat" <remi.vanicat@gmail.com>
> A : "Mark Shinwell" <Mark.Shinwell@cl.cam.ac.uk>
> Copie à : caml-list@inria.fr
> Objet : Re: [Caml-list] Dumping of Typedtree
> 
> 2005/9/14, Mark Shinwell <Mark.Shinwell@cl.cam.ac.uk>:
> > This is mainly directed at the current O'Caml maintainers.
> > 
> > Does there exist anywhere a piece of code for dumping the typed syntax
> > tree representations (values of type Typedtree.structure etc) which are
> > used inside the compiler?  I can't find anything in the compiler to do
> > this at the moment, and it looks moderately tedious to write.

You can use the dumper module by richard jones.
 http://merjis.com/developers/dumper
The result is not perfect but it does a good job for fast debugging.

> 
> I don't know if it is the typed syntax tree representation, but you
> coul look to the -dtypes option of ocamlc ?
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
> 
>

Re: [Caml-list] Dumping of Typedtree

[Mark Shinwell]

On Wed, Sep 14, 2005 at 08:05:35PM +0200, yoann padioleau wrote:
> > Message du 14/09/05 19:54
> > De : "Remi Vanicat" <remi.vanicat@gmail.com>
> > A : "Mark Shinwell" <Mark.Shinwell@cl.cam.ac.uk>
> > Copie ?? : caml-list@inria.fr
> > Objet : Re: [Caml-list] Dumping of Typedtree
> > 
> > 2005/9/14, Mark Shinwell <Mark.Shinwell@cl.cam.ac.uk>:
> > > This is mainly directed at the current O'Caml maintainers.
> > > 
> > > Does there exist anywhere a piece of code for dumping the typed syntax
> > > tree representations (values of type Typedtree.structure etc) which are
> > > used inside the compiler?  I can't find anything in the compiler to do
> > > this at the moment, and it looks moderately tedious to write.
> 
> You can use the dumper module by richard jones.
>  http://merjis.com/developers/dumper
> The result is not perfect but it does a good job for fast debugging.

I already have a piece of code which does that, as it happens: the
problem is that you don't get constructor names, etc.  It needs to be
something which I can build in with the compiler sources so that this
information is preserved.

Mark

Re: [Caml-list] Dumping of Typedtree

[Remi Vanicat]

2005/9/14, Mark Shinwell <Mark.Shinwell@cl.cam.ac.uk>:
> This is mainly directed at the current O'Caml maintainers.
> 
> Does there exist anywhere a piece of code for dumping the typed syntax
> tree representations (values of type Typedtree.structure etc) which are
> used inside the compiler?  I can't find anything in the compiler to do
> this at the moment, and it looks moderately tedious to write.

I don't know if it is the typed syntax tree representation, but you
coul look to the -dtypes option of ocamlc ?