Modules mutuellement recursifs ?

From: Vyskocil Vladimir (vyskocil@math.unice.fr)
Date: Tue Nov 18 1997 - 11:41:05 MET


Date: Tue, 18 Nov 1997 11:41:05 +0100
From: Vyskocil Vladimir <vyskocil@math.unice.fr>
To: Caml list <caml-list@inria.fr>
Subject: Modules mutuellement recursifs ?

Bonjour,

Est t'il possible de compiler des modules qui s'appelent mutuellement
en creant par exemple un module reunion ?

Soit

M1.ml :
let f x = if x = 0 then 0 else M2.g (x - 1)

M2.ml
let g x = if x = 0 then 1 else M1.f (x - 1)

Comment transformer ce petit exemple (en utilisant des foncteurs ?)
pour creer un module M qui donne acces aux fonctions M1.f et M2.g ?
(la solution triviale de tout mettre dans un seul fichier n'est pas
tres satisfaisante :)

                                Merci par avance
 

-- 
Vyskocil Vladimir
vyskocil@math.unice.fr
http://pcmath65.unice.fr/~vyskocil
http://www.inria.fr/safir/WHOSWHO/Vladimir.html



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:12 MET