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 q1MGIWhl007313
	for <caml-list@sympa-roc.inria.fr>; Wed, 22 Feb 2012 17:18:32 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApwBACYURU/RVdI2kGdsb2JhbABDhSitDwgiAQEBAQkJDRsEI4FzAQEBBBICDx0BGx0BAwwGBQsNAgImAgIhAQERAQUBHAYTGweiLQqLJkyCcYUtP4hzAgULgSSHUFiCchovBAUKAwMHAwIFAh0CAwMChRZqD4IXgRYEiE+MaYcXhACDFj2EIYE1CQ
X-IronPort-AV: E=Sophos;i="4.73,464,1325458800"; 
   d="scan'208";a="145472653"
Received: from mail-pz0-f54.google.com ([209.85.210.54])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Feb 2012 17:18:26 +0100
Received: by daec6 with SMTP id c6so230388dae.27
        for <caml-list@inria.fr>; Wed, 22 Feb 2012 08:18:25 -0800 (PST)
Received-SPF: pass (google.com: domain of milanst@gmail.com designates 10.68.234.71 as permitted sender) client-ip=10.68.234.71;
Authentication-Results: mr.google.com; spf=pass (google.com: domain of milanst@gmail.com designates 10.68.234.71 as permitted sender) smtp.mail=milanst@gmail.com; dkim=pass header.i=milanst@gmail.com
Received: from mr.google.com ([10.68.234.71])
        by 10.68.234.71 with SMTP id uc7mr6124857pbc.97.1329927505497 (num_hops = 1);
        Wed, 22 Feb 2012 08:18:25 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=1BSuV4LrjBgjXrJryfMkY0Pl0E3JQHdrJcj8gNmaFNo=;
        b=S8AC6gtOaSBTW+bnasofgX68yLBiNuCCZeo3pXM/1xmUq4q5IIyYA0C4yqXq8knhD6
         QitA7QVQ+Gn7xIl5+Ca3SG9DOobiJXqF3A6+zNIer+96XvmIR46H5vige4JnE9P+9Q9c
         3UKoH9yD6ZbT5+npCjrb7IzLICKJDiwaDky5A=
MIME-Version: 1.0
Received: by 10.68.234.71 with SMTP id uc7mr5093483pbc.97.1329927505379; Wed,
 22 Feb 2012 08:18:25 -0800 (PST)
Received: by 10.68.237.4 with HTTP; Wed, 22 Feb 2012 08:18:25 -0800 (PST)
In-Reply-To: <CAMfPyLAW_TO5A7c3HSRyxipMWFJs-pNE4rdjjRpKk4rOQi76pA@mail.gmail.com>
References: <CAMu2m2L+JU2QHTAB=XuBoq8D4G_hg9NuKEW31rizyPB2+CvDVg@mail.gmail.com>
	<CAMu2m2+cyrU1N_iiOS1MjxncP00zQJ2by-y_JFDAnV7K1Yp_Yw@mail.gmail.com>
	<CAMfPyLAW_TO5A7c3HSRyxipMWFJs-pNE4rdjjRpKk4rOQi76pA@mail.gmail.com>
Date: Wed, 22 Feb 2012 11:18:25 -0500
Message-ID: <CAKR7PS8zcVqBsCvpTmNKUi1jLo6NeJh3mu5XRb-Bi7_2SBXpSg@mail.gmail.com>
From: =?UTF-8?Q?Milan_Stanojevi=C4=87?= <milanst@gmail.com>
To: "Hezekiah M. Carty" <hez@0ok.org>
Cc: Ashish Agarwal <agarwal1975@gmail.com>, Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] Re: "module type of" on sub-module of functor result

On Tue, Feb 21, 2012 at 3:32 PM, Hezekiah M. Carty <hez@0ok.org> wrote:
> On Tue, Feb 21, 2012 at 2:37 PM, Ashish Agarwal <agarwal1975@gmail.com> wrote:
>> I must've accidentally deleted part of my email before hitting send. The
>> point was to make the first code sample compile after removing the commented
>> line. But that is not allowed; I get a syntax error:
>>
>> $ ocamlfind ocamlc -c -package batteries a.ml
>> File "a.ml", line 6, characters 38-39:
>> Error: Syntax error: 'end' expected
>> File "a.ml", line 4, characters 16-19:
>> Error: This 'sig' might be unmatched
>>
>> I'm wondering if there is a better solution than my second code sample.
>>

I would consider this a bug. I think than any module expression than
can be used with "include" should be usable with "include module type
of"