From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 15FA5BB9C for ; Wed, 14 Sep 2005 20:05:37 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j8EI5aoa018306 for ; Wed, 14 Sep 2005 20:05:36 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA07076 for ; Wed, 14 Sep 2005 20:05:36 +0200 (MET DST) Received: from smtp10.wanadoo.fr (smtp10.wanadoo.fr [193.252.22.21]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j8EI5Z5D018303 for ; Wed, 14 Sep 2005 20:05:35 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf1007.wanadoo.fr (SMTP Server) with ESMTP id 797912800136 for ; Wed, 14 Sep 2005 20:05:35 +0200 (CEST) Received: from wwinf1001 (wwinf1001 [172.22.141.28]) by mwinf1007.wanadoo.fr (SMTP Server) with ESMTP id 6BAA62800128; Wed, 14 Sep 2005 20:05:35 +0200 (CEST) X-ME-UUID: 20050914180535441.6BAA62800128@mwinf1007.wanadoo.fr Message-ID: <13302554.1126721135427.JavaMail.www@wwinf1001> From: yoann padioleau Reply-To: padator@wanadoo.fr To: remi.vanicat@gmail.com, Mark Shinwell Subject: Re: [Caml-list] Dumping of Typedtree Cc: caml-list@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Originating-IP: [193.54.76.52] X-Wum-Nature: EMAIL-NATURE X-WUM-FROM: |~| X-WUM-TO: |~||~| X-WUM-CC: |~| X-WUM-REPLYTO: |~| Date: Wed, 14 Sep 2005 20:05:35 +0200 (CEST) X-Miltered: at concorde with ID 43286670.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4328666F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 typedtree:01 shinwell:01 shinwell:01 caml-list:01 typedtree:01 o'caml:01 syntax:01 compiler:01 compiler:01 moderately:01 debugging:01 syntax:01 ocamlc:01 beginner's:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 > Message du 14/09/05 19:54 > De : "Remi Vanicat" > A : "Mark Shinwell" > Copie =C3=A0 : caml-list@inria.fr > Objet : Re: [Caml-list] Dumping of Typedtree >=20 > 2005/9/14, Mark Shinwell : > > This is mainly directed at the current O'Caml maintainers. > >=20 > > 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. >=20 > I don't know if it is the typed syntax tree representation, but you > coul look to the -dtypes option of ocamlc ? >=20 > _______________________________________________ > 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 >=20 >