From: Markus M. <ma...@oe...> - 2004-08-13 23:13:19
|
On Sat, 14 Aug 2004, Bardur Arantsson wrote: > I'll look into it, but I was under the impression that you > cannot inherit implementation (which is quite important > for formatters) between modules...? Sure you can: module Foo = struct ... end module Bar = struct include Foo end In extreme cases (though that's very seldom) you could even supply 2nd-order functors: you pass the argument of your module another module. The result of this application can then e.g. be included again in another module, etc. You can almost always avoid objects. With recursive modules you can even get open recursion working for you. Using clever tricks even across file boundaries: just functorize the two modules, which should be mutually recursive, and tie the recursive knot elsewhere. Regards, Markus -- Markus Mottl http://www.oefai.at/~markus ma...@oe... |