From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2U8QBex027084 for ; Wed, 30 Mar 2011 10:26:11 +0200 X-IronPort-AV: E=Sophos;i="4.63,267,1299452400"; d="scan'208";a="79460049" Received: from chercheurs2-211.saclay.inria.fr (HELO alcazar) ([193.55.250.211]) by mail3-relais-sop.national.inria.fr with ESMTP; 30 Mar 2011 10:26:06 +0200 Date: Wed, 30 Mar 2011 10:27:43 +0200 From: Maxence Guesdon To: caml-list@inria.fr Message-ID: <20110330102743.67835804@alcazar> In-Reply-To: References: Organization: INRIA X-Mailer: Claws Mail 3.7.8 (GTK+ 2.24.3; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p2U8QBex027084 Subject: Re: [Caml-list] first class modules: differences in 3.12 vs 3.13? On Wed, 30 Mar 2011 12:02:53 +0400 Dmitry Bely wrote: > On Wed, Mar 30, 2011 at 11:57 AM, Joel Reymont wrote: > > I get an error on this with 3.12 but no error with 3.13.0+dev2 (2010-10-22). > > > > let _ = Simple.main (module Client) (module Server) (module Config) > > > > Why? I thought 3.12 supported first-class modules. > > I believe module types are a must: > > let _ = Simple.main (module Client : CLIENT) (module Server : SERVER) > (module Config : CONFIG) In revision 10738, the implicit-unpack branch was merged to the trunk. I think this allows let _ = Simple.main (module Client) (module Server) (module Config) instead of let _ = Simple.main (module Client : CLIENT) (module Server : SERVER) (module Config : CONFIG) and that it explains the difference. -- Maxence Guesdon http://yquem.inria.fr/~guesdon/ Service Expérimentation et Développements https://sed-roc.inria.fr/ INRIA Paris-Rocquencourt http://www.inria.fr/rocquencourt/