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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 97F0CBBA7 for ; Thu, 9 Feb 2006 15:51:46 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k19EpkJo010941 for ; Thu, 9 Feb 2006 15:51:46 +0100 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 PAA04757 for ; Thu, 9 Feb 2006 15:51:45 +0100 (MET) Received: from [128.93.8.130] (macadam.inria.fr [128.93.8.130]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k19EpjFF010930 for ; Thu, 9 Feb 2006 15:51:45 +0100 Mime-Version: 1.0 (Apple Message framework v746.2) In-Reply-To: <43EB23B1.8070801@barettadeit.com> References: <43E9F1EE.1070502@barettadeit.com> <43EACE5C.4010804@inria.fr> <43EB23B1.8070801@barettadeit.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <800D0E1E-4D64-4815-83C6-CFAA28101238@inria.fr> Content-Transfer-Encoding: 7bit From: Damien Doligez Subject: Re: [Caml-list] Namespace clash Date: Thu, 9 Feb 2006 15:52:07 +0100 To: Ocaml X-Mailer: Apple Mail (2.746.2) X-Miltered: at concorde with ID 43EB5702.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 43EB5701.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; damien:01 damien:01 caml-list:01 baretta:01 mangling:01 ad-hoc:01 camlp:01 syntax:01 camlp:01 alain's:01 -pp:01 ocaml:01 compiler:01 wrote:01 doligez:01 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 On Feb 9, 2006, at 12:12, Alessandro Baretta wrote: > I had not thought about this... Actually, it is not a bad idea, at > least, in my build system. Ideally, the build system would have to > have a way of mangling the library namespace by packaging up > findlib-managed libraries in a single package. Then, it would have > to isse the desired -open directives to an ad-hoc camlp4 syntax > extension. It's a bit of a hack, but it could work. I wonder if it > is general enough a solution to become mainstream, though. It doesn't have to be a camlp4 extension, you could implement Alain's trick with a preprocessor written in Bourne shell. But it doesn't work when the program is already compiled with -pp, since the OCaml compiler doesn't allow for a pipeline of preprocessors. -- Damien