Typage des modules

[Daniel Bonniot <dbonniot@ens-lyon.fr>]

Bonjour,

Comment resoudre le probleme suivant ?
Le module A declare un type a, le module B renvoie une valeur de type a
et A utilise B dans son implementation :

(* a.mli *)
type a
val v:a

(* a.ml *)
type a = { x: int}
let v = B.f {x=3}


(* b.mli *)
val f : A.a-> A.a

(* b.ml *)
let f x =x


Voici le resultat des compilations:
moo>ls
a.ml   a.mli  b.ml   b.mli
moo>ocamlc -c a.mli
moo>ocamlc -c b.mli
moo>ocamlc -c a.ml 
File "a.ml", line 2, characters 12-17:
This expression has type a but is here used with type A.a
moo>

Cette erreur est logique etant donne le systeme de typage des modules,
mais comment ecrire ce genre de dependances ?

Daniel Bonniot