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.1 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE 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 35FC5BBAF for ; Wed, 19 Nov 2008 00:13:27 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUBAI7aIknUGyobkWdsb2JhbACTWAEBAQEJCwoHEQO/HYJ5 X-IronPort-AV: E=Sophos;i="4.33,627,1220220000"; d="scan'208";a="31583523" Received: from smtp1-g19.free.fr ([212.27.42.27]) by mail4-smtp-sop.national.inria.fr with ESMTP; 19 Nov 2008 00:13:27 +0100 Received: from smtp1-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp1-g19.free.fr (Postfix) with ESMTP id 99F331AB2C6; Wed, 19 Nov 2008 00:13:26 +0100 (CET) Received: from [192.168.0.3] (rke75-3-82-229-183-156.fbx.proxad.net [82.229.183.156]) by smtp1-g19.free.fr (Postfix) with ESMTP id 5F9A81AB2B4; Wed, 19 Nov 2008 00:13:26 +0100 (CET) Message-ID: <49234C0E.6050207@frisch.fr> Date: Wed, 19 Nov 2008 00:13:18 +0100 From: Alain Frisch User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.1b2pre) Gecko/20081113 Shredder/3.0b1pre MIME-Version: 1.0 To: Jon Harrop Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Wanted: your feedback on the hierarchy of OCaml Batteries Included References: <1227002178.6170.25.camel@Blefuscu> <200811181817.23216.jon@ffconsultancy.com> <49233CA5.6080100@frisch.fr> <200811182349.17597.jon@ffconsultancy.com> In-Reply-To: <200811182349.17597.jon@ffconsultancy.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; frisch:01 frisch:01 ocaml:01 camlp:01 functor:01 functor:01 wrote:01 caml-list:01 alain:01 alain:01 modules:02 seems:03 module:03 hierarchy:03 hierarchy:03 On 11/19/2008 12:49 AM, Jon Harrop wrote: > Perhaps that could be solved with extensive Camlp4 hacking to rename the > previous modules (even coming from an "include") to avoid the clash? I don't think so. It seems you need type information. > That brings its own problems, of course. You no longer have a real hierarchy > so you cannot do anything at a given depth in the hierarchy, e.g. apply > mid-level module to a functor. Jon, come on. Is it a joke or do you seriously think that not being able to apply a functor to a subtree of the hierarchy matters in any way in this context? -- Alain