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 pA9GU3fp029088
	for <caml-list@sympa-roc.inria.fr>; Wed, 9 Nov 2011 17:30:03 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AjACAE+puk6LEwExe2dsb2JhbABCqh4iAQEWJgUggXIBAQEEMgENAQE3AQ8FBhguVwYkrFuEEwGPDgeJf5QpkXM
X-IronPort-AV: E=Sophos;i="4.69,484,1315173600"; 
   d="scan'208";a="117919532"
Received: from hera.mpi-sb.mpg.de ([139.19.1.49])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 09 Nov 2011 17:30:02 +0100
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
	d=mpi-sb.mpg.de; s=mail200803; h=Message-ID:In-Reply-To:
	References:Date:Subject:From:To:Cc:MIME-Version:Content-Type:
	Content-Transfer-Encoding; bh=RzIdFksIFB2cRvaw0tDSRzSpKv7/+bK8Nk
	Nq8ekDTi8=; b=KVm5MAtduyzmBRb8SNaMt8M30iT7CnImI0vP9ugC2q9yoBDT4z
	O0OxocBXOGwbEv/PvCCOXgABQwrXd0lyjuoeq2Tj1d0FoAQG1THsLkoSU9IfyVk3
	TVigRstlbk5f1+1ks4S3Z0hRg/fQK0BXHVMkWoIB7rTVopkR2A2bLWc/0=
Received: from maniac.mpi-klsb.mpg.de ([139.19.1.26]:37982)
	by hera.mpi-sb.mpg.de (envelope-from <rossberg@mpi-sws.org>) 
	with esmtp (Exim 4.69) id 1ROB2C-0006wu-MU; Wed, 09 Nov 2011 17:30:01 +0100
Received: from local
	by maniac.mpi-klsb.mpg.de (envelope-from <rossberg@mpi-sws.org>) 
	with local (Exim 4.69) id 1ROB2C-0000BM-0o; Wed, 09 Nov 2011 17:29:56 +0100
Received: from 74.125.57.233
        (SquirrelMail authenticated user rossberg)
        by mail.mpi-sws.org with HTTP;
        Wed, 9 Nov 2011 17:29:56 +0100 (CET)
Message-ID: <f4e01c9eda746094578f79153cdff95b.squirrel@mail.mpi-sws.org>
In-Reply-To: <4EBAA144.6050701@gmail.com>
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>
Date: Wed, 9 Nov 2011 17:29:56 +0100 (CET)
From: rossberg@mpi-sws.org
To: "Vincent Aravantinos" <vincent.aravantinos@gmail.com>
Cc: caml-list@inria.fr, "Cedric Cellier" <rixed@happyleptic.org>
User-Agent: SquirrelMail/1.4.15
MIME-Version: 1.0
Content-Type: text/plain;charset=iso-8859-15
Content-Transfer-Encoding: 8bit
X-Priority: 3 (Normal)
Importance: Normal
Subject: Re: [Caml-list] Include question

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).

/Andreas