English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Mutually recursive functions in different modules
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-09-18 (14:15)
From: Yitzhak Mandelbaum <yitzhak@r...>
Subject: Re: [Caml-list] Mutually recursive functions in different modules
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