The [> `A] type has an implicit type variable which must be bound on the
left hand side.  This should work:

  type 'a t = 'a   constraint 'a = [> `A]

Patrick

On Tue, 29 Jan 2002, David Monniaux wrote:

> Why isn't it possible to use module type constraints such as:
> with type t = [> `A] ?
>
>
> David Monniaux            http://www.di.ens.fr/~monniaux
> Laboratoire d'informatique de l'École Normale Supérieure,
> Paris, France
>
> -------------------
> Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
> To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr
>

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr