From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pA9H8spL030152
	for <caml-list@sympa-roc.inria.fr>; Wed, 9 Nov 2011 18:08:54 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqsDAKWyuk7RVdgvjWdsb2JhbABCmmuPMQgiAQEBAQkJCwkSBiGBcgEBAQQSAiQIARsdAQMMBgULDQklDwISEQEFARwTAQUCAQEeoh8Ki2GCY4VgPYhwAgUKiXUEiAyMGYZkhmE9hA4
X-IronPort-AV: E=Sophos;i="4.69,484,1315173600"; 
   d="scan'208";a="117925226"
Received: from mail-qw0-f47.google.com ([209.85.216.47])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Nov 2011 18:08:48 +0100
Received: by qabj40 with SMTP id j40so1830970qab.6
        for <caml-list@inria.fr>; Wed, 09 Nov 2011 09:08:47 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        bh=B1PENM+RLc7YvzfsMx6VE6zD/VVuwWWHqvbaF97xLwU=;
        b=ZzB6yO4EA4nxXM14YhUh5vcNagCfk9GsAtOhhx+l+xGWsUZYjt/xKLMz+sD3zzS7Az
         fJGclBBH7IEL6uSwFKewDfokVjjQgCQ9rxCVSvM63TTGpnaXsBXZoN8GygOdCTinriUZ
         f8niVKt1XSMKOsxDWkzykeGFwYolGC1ANi96w=
Received: by 10.224.1.69 with SMTP id 5mr2957576qae.29.1320858527744;
        Wed, 09 Nov 2011 09:08:47 -0800 (PST)
Received: from page.encs.concordia.ca (page.encs.concordia.ca. [132.205.221.212])
        by mx.google.com with ESMTPS id fz9sm5604700qab.13.2011.11.09.09.08.46
        (version=SSLv3 cipher=OTHER);
        Wed, 09 Nov 2011 09:08:47 -0800 (PST)
Message-ID: <4EBAB39D.80601@gmail.com>
Date: Wed, 09 Nov 2011 12:08:45 -0500
From: Vincent Aravantinos <vincent.aravantinos@gmail.com>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.23) Gecko/20110928 Red Hat/3.1.15-1.el6_1 Thunderbird/3.1.15
MIME-Version: 1.0
To: rossberg@mpi-sws.org
CC: caml-list@inria.fr, Cedric Cellier <rixed@happyleptic.org>
References: <CALs4vDb_XVKve3A3Dj5bsy1Ntsk2TnMvC6EPP4+LGd+1vqrNZQ@mail.gmail.com>    <CAPFanBHLH56cUqcJF3XLXDHgLAFxa16ZSPCQfoEh4fTawVuzPg@mail.gmail.com>    <CAH2fdNYYG8bP72HHmR8p6K5OtC6GpX7NTVc3F+ZURtFnrmig7w@mail.gmail.com>    <1320823798.6647.2.camel@Nokia-N900> <4EBA9F1B.3060801@gmail.com>    <4EBAA144.6050701@gmail.com> <f4e01c9eda746094578f79153cdff95b.squirrel@mail.mpi-sws.org>
In-Reply-To: <f4e01c9eda746094578f79153cdff95b.squirrel@mail.mpi-sws.org>
Content-Type: text/plain; charset=ISO-8859-15; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Include question



On 11/09/2011 11:29 AM, rossberg@mpi-sws.org wrote:
> Vincent Aravantinos wrote:
>> This verbosity problem is actually less true since 3.12 with the
>> introduction of "module type of":
>>
>> module A = struct
>>     ...
>> end
>>
>> module Make_B (X: module type of A) = struct
>>     ...
>> end
>>
>> Which is then quite close to the "include" version.
> Except that it defeats the whole point of functorizing, because you won't be
> able to plug in another module than A anymore (unless A defines no abstract
> types, in which case you can get away with it).

Indeed. Stupid idea...