Patrick M Doane <patrick@watson.org> writes:

> 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]

not in the case of the "with type" :

module type Titi =
sig
  type t
end;;

module Blip (T:Titi with type t = 'a constraint 'a = [> `A]) =
struct
end;;

--
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
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