From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain@frisch.fr>
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 4F8677EC41
	for <caml-list@sympa.inria.fr>; Wed, 17 Oct 2012 18:20:47 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=pra; client-ip=193.252.23.213;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=mailfrom; client-ip=193.252.23.213;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@msa.smtpout.orange.fr) identity=helo;
  client-ip=193.252.23.213;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr";
  x-sender="postmaster@msa.smtpout.orange.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvIAAJ/aflDB/BfViWdsb2JhbABFwEMBAQEKCwkJFySCIAEBBThAARALDgoJFg8JAwIBAgFFBg0BBwEBiAS7VYtYhkIDlWuBFYRNjUM
X-IronPort-AV: E=Sophos;i="4.80,602,1344204000"; 
   d="scan'208";a="159383254"
Received: from msa04.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.213])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Oct 2012 18:20:15 +0200
Received: from [192.168.1.108] ([86.195.133.225])
	by mwinf5d42 with ME
	id CGL41k00E4rwr4u03GL951; Wed, 17 Oct 2012 18:20:15 +0200
Message-ID: <507EDAB4.7040302@frisch.fr>
Date: Wed, 17 Oct 2012 18:20:04 +0200
From: Alain Frisch <alain@frisch.fr>
User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:16.0) Gecko/20121010 Thunderbird/16.0.1
MIME-Version: 1.0
To: Hongbo Zhang <bobzhang1988@gmail.com>
CC: Caml List <caml-list@inria.fr>
References: <503A9815.7000103@gmail.com> <503B3818.1050503@frisch.fr>
In-Reply-To: <503B3818.1050503@frisch.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Is there a printer for ocaml's parsetree

On 08/27/2012 11:04 AM, Alain Frisch wrote:
> There is a printer in tools/pprintast.ml.  It would be useful to
> integrate it to the ocaml compilers, with an option to tell them to dump
> the (preprocessed) parsetree in source form.

This is now available in the trunk, with a new command-line option 
"-dsource".  The pretty-printer in source form needs some polishing 
(formatting, and missing features in the AST).  Contribution to improve 
it are welcome!

-- Alain