A minor annoyance in OCaml is that although you can (and must) put each top-level module into its own file, there is no corresponding mechanism for defining module types on their own: you always have to put a "module type" definition inside another module, which complicates scoping, and with standard tools adds an extra level of indentation to the signature definition.
However, with 3.12 there is solution of sorts: write the signature definition in foo.mli without an accompanying foo.ml, and then refer to the signature as "module type of Foo". Is this horrible style? Are there some pitfalls I should be aware of? Or are there better solutions to my desire to avoid nested scoping? Top-level functors would also be nice to have... :) Lauri Alanko l...@iki.fi _______________________________________________ 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
