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 76C4A7ED7A for ; Sun, 26 Aug 2012 23:41:45 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.216.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.216.182 as permitted sender) identity=mailfrom; client-ip=209.85.216.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@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-qc0-f182.google.com) identity=helo; client-ip=209.85.216.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-qc0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjcDABWXOlDRVdi2k2dsb2JhbABFhTy1KQgiAQEBAQkJFBQEI4I5AiQIARscAgMSEBYWGAMCAQIBEREBBQEiAQwIAQEeh1sBAwycUwkDjCKCc4QtChknDVeIcQEFDJINA5VVjjc+hB8 X-IronPort-AV: E=Sophos;i="4.80,316,1344204000"; d="scan'208";a="153862324" Received: from mail-qc0-f182.google.com ([209.85.216.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Aug 2012 23:41:44 +0200 Received: by qcsg15 with SMTP id g15so3520684qcs.27 for ; Sun, 26 Aug 2012 14:41:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; bh=u57S8FPC15vl+QWPyeF71OnJRdHCAXcgXknGLJKs+IU=; b=krgy//t5jOFgDTc75ScxydFfVDZHgiXQyuqRN+QXam/W5wFVg1RtrcU3P/0HgJ4Wg5 pmZYAI2g5QNVWW04sNnsZmHPioz6Z7XXAruFS/KlHTiNO6ukD+dbwuTLZOup05DR0jqx AiMG3HbdT4lwTDaIqJWgNFppblH6gMKyK8sR2ASGDpufL0TmTLUElMVMRg/08v+mjJeD 6xpGeT6VjK45L83joQJmz9x5MsABmkQBRymo8dN7s5d8gCYp2esR153PPlJ7FnhaHcJu kPeD+4KHneLXQ4pyR5VObYfvtIXuwrAkoxYa4V5oMHBFF98VaDakrwsmZWsVjj9/rw3/ Q6tg== Received: by 10.224.149.130 with SMTP id t2mr20492557qav.0.1346017303338; Sun, 26 Aug 2012 14:41:43 -0700 (PDT) Received: from Hongbos-MacBook-Air.local ([66.250.143.158]) by mx.google.com with ESMTPS id ea5sm11948252qab.2.2012.08.26.14.41.39 (version=SSLv3 cipher=OTHER); Sun, 26 Aug 2012 14:41:42 -0700 (PDT) Message-ID: <503A9815.7000103@gmail.com> Date: Sun, 26 Aug 2012 17:41:41 -0400 From: Hongbo Zhang User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:14.0) Gecko/20120713 Thunderbird/14.0 MIME-Version: 1.0 To: Caml List , Alain Frisch Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] Is there a printer for ocaml's parsetree Hi List, Is there any printer for ocaml's parsetree, I mean when you print the parsetree, the textual output can be fed to the ocaml's compiler again. I took a look at the ocaml's source tree, the built-in printer for ocaml's parsetree seems to be only for debugging purpose. Alain, when you do Ast-Rewriter, how do you visualize the output if you don't have a printer for ocaml's parsetree? Many Thanks