]> > Is there any efficiency difference between: > module Foo = Make (Bar) (Baz) > and > module Both = struct module Bar = Bar module Baz = Baz end > module Foo = Make (Both) > In other words, is it better to coalesce structures into a single > functor application rather than to apply multiple functors? Do I > pay more indirection costs in the first case? Thanks. Actually, you pay one more indirection in the second case (Make(Both)). - Xavier Leroy ------------------- 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