From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 55EA2BC6C for ; Wed, 22 Aug 2007 20:11:40 +0200 (CEST) Received: from py-out-1112.google.com (py-out-1112.google.com [64.233.166.183]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7MDlRJo011588 for ; Wed, 22 Aug 2007 15:47:29 +0200 Received: by py-out-1112.google.com with SMTP id u52so320114pyb for ; Wed, 22 Aug 2007 06:47:25 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=J8qeVzJXVLTPh9qow59va67Devcq0erD3U5pTkHPGrhgmNfEedL8+/bKEFPppODcCWkduc1Pqp73gbH8wL2QclO/lao0L8Nz3X6xZYr7jhiYK/5pjDVs0OkUYZhlXVUX5eaG3fyguaF90nO+/Iz6oZmVOnxj6c0iVjmi9kgCdWU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=uLb3TkPJxrjib8M2AeF9fxQSa7FfAEOgVfseFNiBD34cT+k9+jRn3lqykcqYZMtqRhySYWLVenrTDktzUNzlHuXvy0PocD/RhEUK1z457JxhARhX1n8XBK0ubeaoaEU5tbJMqcgV9uvZBbd4lp8quB5iKGmCIet7ipODTvqz1L4= Received: by 10.65.96.6 with SMTP id y6mr1017325qbl.1187790444136; Wed, 22 Aug 2007 06:47:24 -0700 (PDT) Received: by 10.64.148.3 with HTTP; Wed, 22 Aug 2007 06:47:24 -0700 (PDT) Message-ID: <6f9f8f4a0708220647n432fe076x7b7634ea0ec50941@mail.gmail.com> Date: Wed, 22 Aug 2007 15:47:24 +0200 From: "Loup Vaillant" To: "Caml mailing list" Subject: Re: [Caml-list] How can I generate an AST? In-Reply-To: <20070822103226.GA12907@yquem.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <6f9f8f4a0708191039o2119f94bm10959175cc887eef@mail.gmail.com> <20070819181634.GA797@yquem.inria.fr> <6f9f8f4a0708200122k710b2f3dnd723a7244140575e@mail.gmail.com> <20070820111350.GA22843@yquem.inria.fr> <6f9f8f4a0708200624x1b09dc40u2d5fa76b4a70faf7@mail.gmail.com> <20070820154525.GA13963@yquem.inria.fr> <6f9f8f4a0708220222q5ea56138u8b4c85dd4c35c56e@mail.gmail.com> <20070822103226.GA12907@yquem.inria.fr> X-j-chkmail-Score: MSGID : 46CC3E6F.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46CC3E6F.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; rauglaudre:01 rauglaudre:01 0200,:01 ocaml:01 parsetree:01 mli:01 parsetree:01 cmi:01 dependencies:01 impl:01 intf:01 cvs:01 camlp:01 ocaml:01 compiler:01 (Woops, did not use the list to reply) Hi, 2007/8/20, Daniel de Rauglaudre : > Hi, > > On Mon, Aug 20, 2007 at 03:24:50PM +0200, Loup Vaillant wrote: > > > I have still one problem, though : how should I access this code? It > > is not part of the standard library, so I can't just "open Config;;". > > I can't hard-copy this code, either, that is too ugly. Maybe there is > > a way to install a "development package" of Ocaml so I can link it? > > [...] > > A new installed directory, named, e.g. "syntaxtree" would be great, > containing "parsetree.mli", "parsetree.cmi" and all its dependencies, > as well as this "pconfig.ml" and its object file or a subpart of it, > containing at least these "ast_impl_magic_number" and > "ast_intf_magic_number". That would be great. It would really help third parties to add any fancy preprocessor they like, without worrying too much about the AST implementation details. Could we expect this to appear in a future release, or in CVS, even? I wonder : if you expose the AST in an accessible library, will it be considered part of the standard (and as such an additional burden)? Or could it be subject to changes like camlp4 (risking a schism)? > I can do it in the ocaml compiler if I have the permission. > > Xavier ? please ;-( Loup