From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2U82u2D022694
	for <caml-list@sympa-roc.inria.fr>; Wed, 30 Mar 2011 10:02:56 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtEBALnikk3RVdi2kGdsb2JhbAClRAgUAQEBAQkJFBQEIaIXilWCIoUhL4hcAQEDBYVlBIU5h02HAYIMOg
X-IronPort-AV: E=Sophos;i="4.63,267,1299452400"; 
   d="scan'208";a="104025275"
Received: from mail-qy0-f182.google.com ([209.85.216.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Mar 2011 10:02:54 +0200
Received: by qyk27 with SMTP id 27so881300qyk.6
        for <caml-list@inria.fr>; Wed, 30 Mar 2011 01:02:53 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:content-type;
        bh=SSCyRIwGansJr3wrFnh7M6spslYengmIP1huKCmqvH8=;
        b=ptWj/O6I8CIcIeO++htKR/9KlacgBT8ymh8asRYyR0FYoZnVsPNK64ifa7ieP3hdiw
         vKgkqooPwXj6/OJhU5vhx0Ie9+aScrwJ4CGg/tFOiVVRDr9stWr0qjU6SU0fYn2HXqO5
         Dm7WKoTJuPu658GeV8yl26idX6mo+g45NATUo=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :content-type;
        b=IJPPEJpLIypDKt/wJjS8RW0goTgNi8yhcBobprgwdntT5gUOktUXHmz+RV6/MILm6y
         Tr0j8qSzuaBAAy5X1lgvrKEvrimJrLSUdU1H1wlHBqKi/YoxPJvFaiM0Doz8pVlFl8gn
         Rz3UfSC0CLVArylFCyjpSHTeD7SUvHrK5j+MU=
MIME-Version: 1.0
Received: by 10.229.37.79 with SMTP id w15mr688347qcd.180.1301472173141; Wed,
 30 Mar 2011 01:02:53 -0700 (PDT)
Received: by 10.229.38.68 with HTTP; Wed, 30 Mar 2011 01:02:53 -0700 (PDT)
In-Reply-To: <A69BE0AE-C87C-405A-AB39-FCD7C22ECF58@gmail.com>
References: <A69BE0AE-C87C-405A-AB39-FCD7C22ECF58@gmail.com>
Date: Wed, 30 Mar 2011 12:02:53 +0400
Message-ID: <AANLkTimSETCHe2WHMYVtgrcd_vGoH3bnWuVf_-7aMZxB@mail.gmail.com>
From: Dmitry Bely <dmitry.bely@gmail.com>
To: caml-list <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] first class modules: differences in 3.12 vs 3.13?

On Wed, Mar 30, 2011 at 11:57 AM, Joel Reymont <joelr1@gmail.com> 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)

- Dmitry Bely