From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <colanderman@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 1DF6ABC6B
	for <caml-list@yquem.inria.fr>; Sat,  8 Sep 2007 06:56:31 +0200 (CEST)
Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.178])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l884uTF6011600
	for <caml-list@inria.fr>; Sat, 8 Sep 2007 06:56:30 +0200
Received: by wa-out-1112.google.com with SMTP id m34so905873wag
        for <caml-list@inria.fr>; Fri, 07 Sep 2007 21:56:29 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        bh=vvsyiIVPIb3hsTADrFzdrHwqfVJh4BgfYkTKADrc+ps=;
        b=ji1LjdM1E4FHxeBdEg7Oh51TueZMxRM6ZavHEInLm26UcUdb7sJt0ho/8Z7hHcFGIatv6ikCT3nVHNphDQWX+fzGn17QNgVpgkEBGLZxuAmmy/XCdUahb0HBSNcbZ1ygE3Ib74jYOkJNI6TxdohGW2KA6ePTEp1yxXS/vqVGYMs=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=ZNV075lBKFyNhynkPZ750KwftlFS8m0A56joipTaskc13hfDLy8U7XMTeDosrc0GuKuZ3PXAyFlWl4J9b1kHydLM4PNh9QufR9A6ZBUEu1P5Li/uriPYmGDcE5lIpJe8cR16ET+e3OOug/MhtUeLfeyjCG+D2lu/jfTH9aD7IZ8=
Received: by 10.114.154.1 with SMTP id b1mr246059wae.1189227388755;
        Fri, 07 Sep 2007 21:56:28 -0700 (PDT)
Received: by 10.114.203.16 with HTTP; Fri, 7 Sep 2007 21:56:28 -0700 (PDT)
Message-ID: <875c7e070709072156y1c4ea390i6be890f7e773f0ee@mail.gmail.com>
Date: Sat, 8 Sep 2007 00:56:28 -0400
From: "Chris King" <colanderman@gmail.com>
To: "Jacques GARRIGUE" <garrigue@math.nagoya-u.ac.jp>
Subject: Re: [Caml-list] Oddness concerning private variants in 3.10.0
Cc: caml-list@inria.fr
In-Reply-To: <20070908.090419.2004149852.garrigue@math.nagoya-u.ac.jp>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <875c7e070709071404q641d0ec0rbacbb07763a5a4bb@mail.gmail.com>
	 <20070908.090419.2004149852.garrigue@math.nagoya-u.ac.jp>
X-j-chkmail-Score: MSGID : 46E22B7D.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 46E22B7D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; variants:01 sig:01 struct:01 wrote:01 caml-list:01 compiling:02 garrigue:03 garrigue:03 reproduce:03 module:03 jacques:03 nagoya-u:04 problem:05 problem:05 chris:06 

On 9/7/07, Jacques GARRIGUE <garrigue@math.nagoya-u.ac.jp> wrote:
> From: "Chris King" <colanderman@gmail.com>
> > Compiling this:
> >
> > module A: sig
> >   type t = [ `A | `B ]
> > end = struct
> >   type t = private [> `A ]
> > end
> >
> > results in the error:
>
> It certainly should: here the signature is written first!
> If you write it the other way round, it is accepted without problem.

D'oh!  Braino on my part.  You are right, I did mean the other way around.

> Concerning your first problem, could you submit a bu report, attaching
> relevant information?

Sure... I will try to come up with a smaller program to reproduce it
first though.

- Chris