Le mer 18/06/2003 à 12:41, Pietro Abate a écrit :
> my daily question :-))
my daily answer !

maybe I'm wrong (if so, please correct me) but I believe the module 
is built and its signature is inferred, and then this signature is
matched against the one you provide (A with ...) 
so the signature you provide isn't used to infer the types...

furthermore the hidden type constructor A for t1_t is "hidden for ever",
that is, you can't use it even under type constraint : 
'(A 5 : t1_t)' should not be accepted

I don't know what you plan to do with this, but maybe you should look at the
polymorphic variants :

type t1 = [`A]
type t2 = [t1 | `B]
...


Cheers,
damien


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners