Vincent Aravantinos wrote: > This verbosity problem is actually less true since 3.12 with the > introduction of "module type of": > > module A = struct > ... > end > > module Make_B (X: module type of A) = struct > ... > end > > Which is then quite close to the "include" version.
Except that it defeats the whole point of functorizing, because you won't be able to plug in another module than A anymore (unless A defines no abstract types, in which case you can get away with it). /Andreas -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs