On Sat, 30 Aug 2008 12:27:18 +0100, Richard Jones wrote:
>
> val get_domains :
> (_[> `R ] as 'a) Connect.t ->
> is not included in
> val get_domains :
> ([> `R ] as 'a) Connect.t ->
>
> This syntax doesn't appear to be documented in the manual (unless it's
> related to '_a). What does it mean?
It is a weak type as you guessed. To convince you of that, here is
some code:
# let x = ref `X;;
val x : _[> `X ] ref = {contents = `X}
Cheers,
C.
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
