Hi,
I would like to add one extra, odd, tidbit. On a simple example, 'private'
will only work if a dummy constructor is added to the type. Thus, this will
not work:
module rec Node:
sig
(* ... *)
type (+'a, 'b) t = private 'a constraint 'a = [< super_node_t]
(* ... *)
end =
struct
(* ... *)
type (+'a, 'b) t = 'a constraint 'a = [< super_node_t]
(* ... *)
end =
But this will:
module rec Node:
sig
(* ... *)
type (+'a, 'b) t = private Dummy of 'a constraint 'a = [< super_node_t]
(* ... *)
end =
struct
(* ... *)
type (+'a, 'b) t = Dummy of 'a constraint 'a = [< super_node_t]
(* ... *)
end =
Is this behaviour correct? (I'm running 3.11+dev12)
Cheers,
Dario Teixeira
__________________________________________________________
Not happy with your email address?.
Get the one you really want - millions of new email addresses available now at
Yahoo! http://uk.docs.yahoo.com/ymail/new.html
_______________________________________________
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
