Version française
Home     About     Download     Resources     Contact us    
Browse thread
Modules mutuellement recursifs ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Vyskocil Vladimir <vyskocil@m...>
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