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 1B5FEBC6B for ; Sat, 3 Nov 2007 23:47:31 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CANOWLEfBAkMt/2dsb2JhbACQPg X-IronPort-AV: E=Sophos;i="4.21,367,1188770400"; d="scan'208";a="18909458" Received: from vega.fmf.uni-lj.si (HELO postar.fmf.uni-lj.si) ([193.2.67.45]) by mail4-smtp-sop.national.inria.fr with ESMTP; 03 Nov 2007 23:47:30 +0100 Received: from localhost (unknown [192.168.5.1]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id B539F1B7E03; Sat, 3 Nov 2007 23:47:29 +0100 (CET) X-Virus-Scanned: amavisd-new at spam.fmf.uni-lj.si Received: from postar.fmf.uni-lj.si ([192.168.5.5]) by localhost (spam.fmf.uni-lj.si [192.168.5.1]) (amavisd-new, port 10024) with ESMTP id 1BIc7IU88erf; Sat, 3 Nov 2007 23:47:29 +0100 (CET) Received: from [192.168.1.101] (BSN-77-148-136.static.dsl.siol.net [193.77.148.136]) (Authenticated sender: bauer) by postar.fmf.uni-lj.si (Postfix) with ESMTP id 55D0C1B7F60; Sat, 3 Nov 2007 23:47:29 +0100 (CET) Message-ID: <472CFA7C.60901@fmf.uni-lj.si> Date: Sat, 03 Nov 2007 23:47:24 +0100 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 2.0.0.6 (X11/20071022) MIME-Version: 1.0 To: =?ISO-8859-2?Q?Micha=EBl_Le_Barbier?= Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Strategy to avoid name collision in signatures References: <86tzo3nf8f.fsf@Llea.celt.neu> In-Reply-To: <86tzo3nf8f.fsf@Llea.celt.neu> Content-Type: text/plain; charset=ISO-8859-2 Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; andrej:01 andrej:01 orderedtype:01 struct:01 struct:01 orderedtype:01 wrote:01 signatures:01 caml-list:01 module:03 module:03 separating:07 michael:07 bauer:09 bauer:09 Michaël Le Barbier wrote: > include OrderedType.Make(struct ... end) > include FunnyType.Make(struct ... end) Can you give a convincing example that would prevent you from separating these two with tsubmodules, i.e., module AsOrd = OrderedType.Make(struct ... end) module AsFunny = FunnyType.Make(struct ... end) If you really want to "blend" together OrderedType and FunnyType in the same module, then they must be meaningfully related. What example do you have in mind? Andrej