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