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