Version française
Home     About     Download     Resources     Contact us    
Browse thread
Oddness concerning private variants in 3.10.0
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Chris King <colanderman@g...>
Subject: Re: [Caml-list] Oddness concerning private variants in 3.10.0
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