From: Jon Harrop <jon@ffconsultancy.com>
> On Wednesday 25 April 2007 14:24, Craig Falls wrote:
> > The following code blows the stack in ocamlc and ocamlopt 3.09.3:
> >
> > module Foo : sig
> >    type 'a t = private 'a constraint 'a = [< `foo ]
> >  end = struct
> >    type 'a t = 'a constraint 'a = [< `foo ]
> >  end
> 
> This appears to have been fixed in 3.10.

Thanks for checking.

By the way, I wonder what is the intent of the above definition.
In a private definition, the row variable is not free, so using a
constraint does not help in any way. Writing
  type t = private [< `Foo]
would be just as expressive.

Jacques Garrigue