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 nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 6C3E4BB83 for ; Thu, 20 Jul 2006 10:57:16 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k6K8vFm0003193 for ; Thu, 20 Jul 2006 10:57:15 +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 KAA31805 for ; Thu, 20 Jul 2006 10:57:15 +0200 (MET DST) Received: from m14s26.vip-server.net (m14s26.vip-server.net [193.138.181.188]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k6K8vAAX003271 for ; Thu, 20 Jul 2006 10:57:14 +0200 Received: from [?^?????????????$IPv6:::1] (localhost [127.0.0.1]) by m14s26.vip-server.net (Postfix) with ESMTP id 7E2DC89039; Thu, 20 Jul 2006 10:47:01 +0200 (CEST) In-Reply-To: <20060720062911.GA14278@aquarium.takhisis.invalid> References: <51E3580C-02A1-4344-A5AA-862B580015F1@cs.cornell.edu> <1153372578.18872.13.camel@rosella.wigram> <20060720062911.GA14278@aquarium.takhisis.invalid> Mime-Version: 1.0 (Apple Message framework v752.2) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <3AED09B0-691E-4738-9AEC-112601E7FE00@gaillourdet.net> Cc: caml-list@inria.fr Content-Transfer-Encoding: 7bit From: Jean-Marie Gaillourdet Subject: Re: On language extensions (was Re: [Caml-list] global record) Date: Thu, 20 Jul 2006 10:57:46 +0200 To: Stefano Zacchiroli X-Pgp-Agent: GPGMail 1.1.2 (Tiger) X-Mailer: Apple Mail (2.752.2) X-Miltered: at nez-perce with ID 44BF456B.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 44BF4566.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; hash:01 zacchiroli:01 locality:01 syntax:01 clashes:01 camlp:01 flags:01 makefile:01 syntax:01 ocaml:01 ocaml:01 wrote:01 caml-list:01 declarations:02 declaration:02 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 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi all, On 20.07.2006, at 08:29, Stefano Zacchiroli wrote: > Fully agreed. Me myself try to enforce locality of syntax > extensions to > avoid possible clashes. Unfortunately handling that in large > project is > really painful, since you end up in having to differentiate "clusters" > of files which need to be built with different set of camlp4 flags, > and > you need to do that in Makefile. The OCamlMakefile in godi supports syntax extension declarations in the first line of ocaml source. Those declaration are wrapped in OCaml comments. Then make takes care that every single source file is compiled with the appropriate syntax extensions. - -- Jean-Marie -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (Darwin) iD8DBQFEv0WONIUNP/I5YOgRAlGIAJ9Fr+vKiTbXCA0AMwvWOOG+wv7j+ACfQOEO O00L8arLwjNmvXRxp76r4Ic= =EkZi -----END PGP SIGNATURE-----