Beware, though, that recursive modules cannot contain functors. Nor  
can functors be recursive.


On Sep 18, 2007, at 3:53 AM, Jacques Garrigue wrote:

> From: "Arthur Chan" <baguasquirrel@gmail.com>
>> Is it possible to have mutually recursive functions in separate  
>> modules?
>>
>> For example, is it possible for function x in module A to call  
>> function y in
>> module B and vice versa?
>>
>> The reason why I'm asking is because I've written a good bit of my  
>> code with
>> functors, and now I need to make some of the code mutually  
>> recursive, and
>> thus, the mutually recursive functions have to be in separate  
>> modules.
>
> Recursive modules are available. See the "language extensions" section
> of the reference manual.
> (Note that this is about exactly what you asked, i.e. recursive
> modules, not recursion between compilation units.)
>
> Jacques Garrigue
>
> _______________________________________________
> 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

--------------------------------------------------
Yitzhak Mandelbaum
AT&T Labs - Research

http://www.research.att.com/~yitzhak