Version française
Home     About     Download     Resources     Contact us    
Browse thread
Troublesome nodes
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Dario Teixeira <darioteixeira@y...>
Subject: Re: [Caml-list] Troublesome nodes
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