On 11/09/2011 11:29 AM, rossb...@mpi-sws.org wrote:
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).
Indeed. Stupid idea... -- 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
