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=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 937D1BC69 for ; Mon, 24 Sep 2007 16:03:44 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAL5f90bAXQInemdsb2JhbACOGQIJCg X-IronPort-AV: E=Sophos;i="4.20,292,1186351200"; d="scan'208";a="16697680" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Sep 2007 16:03:43 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8OE3hsC020024 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 24 Sep 2007 16:03:44 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAK5g90bLENaMnmdsb2JhbACOGQIBAQcEBg8Y X-IronPort-AV: E=Sophos;i="4.20,292,1186351200"; d="scan'208";a="3175359" Received: from ipmail01.adl2.internode.on.net ([203.16.214.140]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Sep 2007 16:03:42 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAN9d90Z5LHvc/2dsb2JhbAAM X-IronPort-AV: E=Sophos;i="4.20,292,1186324200"; d="scan'208";a="196746546" Received: from ppp121-44-123-220.lns10.syd6.internode.on.net (HELO [192.168.1.201]) ([121.44.123.220]) by ipmail01.adl2.internode.on.net with ESMTP; 24 Sep 2007 23:33:39 +0930 Subject: Re: [Caml-list] ocamlbuild: args to tags? From: skaller To: Nicolas Pouillard Cc: "jake.donham" , caml-list In-Reply-To: <1190636327-sup-9586@ausone.inria.fr> References: <46F01294.7060806@skydeck.com> <1190636327-sup-9586@ausone.inria.fr> Content-Type: text/plain Date: Tue, 25 Sep 2007 00:03:37 +1000 Message-Id: <1190642617.6025.9.camel@rosella.wigram> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 46F7C3BF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 ocaml:01 syntax:01 syntax:01 dependencies:01 camlp:01 sourceforge:01 wrote:01 abstract:01 preprocessor:01 caml-list:01 semantic:02 modules:02 modules:02 module:03 On Mon, 2007-09-24 at 14:29 +0200, Nicolas Pouillard wrote: > Excerpts from jake.donham's message of Tue Sep 18 20:01:56 +0200 2007: > > Hi, > > > > Is there a way to pass arguments to a preprocessor via the _tags file? > > Yes, but that's not what you want. Moreover this feature is not really > encouraged. Just my 2c .. I think all this stuff is wrong. I think it should be done like this: (* My Ocaml File .. *) (*#Syntax Mycamlp4syn *) (* for compatibility *) #syntax Mycamlp4syn; (* better *) In other words, if you're using a language mycamplp4syn, you should say so IN the file using it .. not on the command line. Ocamlbuild then * finds the dependencies * builds them * applies them to the files using them I think it is wrong software engineering the current way. If you use a module you have to either open it or at least use its name: List.map Just because camlp4 modules are *meta* should not excuse them from this requirement. Command line should be used for performance tuning and debugging, and for mapping abstract resources (like modules and syntaxen) onto the file system .. but not for specifying semantic requirements. -- John Skaller Felix, successor to C++: http://felix.sf.net