Hello, I have now side stepped the issue but I wonder. Is it possible to define a type and a module type recursively ?
E.g., something like type 'a t = 'a * (module T) and module type T = sig ... (* mentions 'a t somewhere *) ... end Thanks, Daniel _______________________________________________ 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